nicodelpiano/chatbot

Chatbot

Language: Python - Size: 49.8 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

nicodelpiano/aoe2de-match-finder

AOE2 Definitive Edition Match Finder

Language: Go - Size: 34.2 KB - Last synced at: about 1 year ago - Pushed at: almost 4 years ago - Stars: 5 - Forks: 0

nicodelpiano/stlcnat-exhaustivity-checker

An exhaustivity checker for a small STLC+Nats language written in Haskell

Language: Haskell - Size: 148 KB - Last synced at: almost 2 years ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

nicodelpiano/STLC-Parser

Simply Typed Lambda Calculus Parser written in Haskell.

Language: Haskell - Size: 219 KB - Last synced at: almost 2 years ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

nicodelpiano/scalaz Fork of scalaz/scalaz

An extension to the core Scala library for functional programming.

Language: Scala - Size: 93 MB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

nicodelpiano/serverless-image-resizing Fork of t3chnoboy/serverless-image-resizing

CloudFormation template to resize images on-the-fly using Amazon API Gateway, AWS Lambda, and Amazon S3.

Language: JavaScript - Size: 81.5 MB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

nicodelpiano/scalaz-parsers Fork of spartanz/parserz

A purely-functional library for creating both parsers, pretty-printers, and grammar definitions from a single, type-safe specification of a grammar

Language: Scala - Size: 11.7 KB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

nicodelpiano/scalafix Fork of scalacenter/scalafix

Refactoring and linting tool for Scala

Language: Scala - Size: 4.16 MB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

nicodelpiano/scalaz-zio Fork of zio/zio

ZIO — A principled, powerful, standalone effect data type for any Scala project.

Language: Scala - Size: 1.67 MB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0

nicodelpiano/scala Fork of scala/scala

The Scala programming language

Language: Scala - Size: 92.6 MB - Last synced at: almost 2 years ago - Pushed at: about 7 years ago - Stars: 0 - Forks: 0

nicodelpiano/purescript Fork of purescript/purescript

A small strongly typed language that compiles to Javascript

Language: Haskell - Size: 5.46 MB - Last synced at: almost 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

nicodelpiano/omnifood-site

Omnifood site

Language: HTML - Size: 6.91 MB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

nicodelpiano/monadic-eval

Un evaluador monádico simple.

Language: Haskell - Size: 277 KB - Last synced at: almost 2 years ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

nicodelpiano/nicodelpiano.github.io

Nicodelpiano's Blog

Language: Ruby - Size: 684 KB - Last synced at: almost 2 years ago - Pushed at: almost 10 years ago - Stars: 0 - Forks: 0

nicodelpiano/NachOS

An implementation of the NachOS operating system. This is the final project of the Operating Systems II class at FCEIA - UNR.

Language: C++ - Size: 695 KB - Last synced at: almost 2 years ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0

nicodelpiano/node-web-server

Language: JavaScript - Size: 1.95 KB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

nicodelpiano/prism-tests Fork of prismmodelchecker/prism-tests

The PRISM regression test suite: a collection of probabilistic model checking tasks that PRISM can perform, along with their expected result/output.

Language: Perl6 - Size: 1.09 MB - Last synced at: almost 2 years ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

nicodelpiano/prism-svn Fork of prismmodelchecker/prism-svn

Mirror of PRISM subversion trunk

Language: Java - Size: 33 MB - Last synced at: almost 2 years ago - Pushed at: almost 9 years ago - Stars: 0 - Forks: 0

nicodelpiano/indecision-app

Indecision App - A small React application

Language: JavaScript - Size: 409 KB - Last synced at: almost 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

nicodelpiano/Mini-Haskore

A small Haskell DSL for composing MIDI files.

Language: Haskell - Size: 176 KB - Last synced at: almost 2 years ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 0

nicodelpiano/LiveFDisk

A bootable program written in assembler that uses BIOS functions to write on screen and read disk sectors.

Size: 191 KB - Last synced at: almost 2 years ago - Pushed at: over 11 years ago - Stars: 0 - Forks: 0

nicodelpiano/kaleidoscope Fork of sdiehl/kaleidoscope

Haskell LLVM JIT Compiler Tutorial

Language: Haskell - Size: 458 KB - Last synced at: almost 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

nicodelpiano/bda-clases

Archivos fuente látex de mis presentaciones para la materia Bases de Datos Avanzadas

Language: TeX - Size: 7.92 MB - Last synced at: almost 2 years ago - Pushed at: about 10 years ago - Stars: 0 - Forks: 0

nicodelpiano/climapp

A simple Android application that shows the weather of a given city around the world.

Language: Java - Size: 130 KB - Last synced at: almost 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

nicodelpiano/astar-algorithm

A* search algorithm written in Prolog.

Language: Prolog - Size: 97.7 KB - Last synced at: almost 2 years ago - Pushed at: over 10 years ago - Stars: 0 - Forks: 3

nicodelpiano/sistemas-operativos

Trabajos prácticos y final de la materia Sistemas Operativos I.

Language: C - Size: 191 KB - Last synced at: almost 2 years ago - Pushed at: over 10 years ago - Stars: 1 - Forks: 0

nicodelpiano/coq

Trabajos prácticos de la materia Construcción Formal de Programas en Teoría de Tipos.

Language: Coq - Size: 270 KB - Last synced at: almost 2 years ago - Pushed at: about 9 years ago - Stars: 1 - Forks: 0

nicodelpiano/golang-primeros-pasos Fork of thewildcast/golang-primeros-pasos

Language: Go - Size: 115 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 2 - Forks: 0

nicodelpiano/fpmortals

Code and exercises from the book Functional Programming for Mortals

Language: Scala - Size: 1.95 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/Cryptopals

Cryptopals solutions (see challenge sets at https://cryptopals.com)

Size: 2.93 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 3

nicodelpiano/demo_system Fork of sasa1977/demo_system

Size: 269 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/buffalo Fork of gobuffalo/buffalo

Rapid Web Development w/ Go

Size: 14.8 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

nicodelpiano/gatsby-es Fork of gatsbyjs/gatsby-es

Gatsby documentation in Spanish

Size: 219 MB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/goblueprints Fork of matryer/goblueprints

Source code for Go Programming Blueprints

Size: 14.6 MB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

nicodelpiano/react-insta-stories Fork of mohitk05/react-insta-stories

A React component for Instagram like stories

Language: JavaScript - Size: 1.44 MB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/coding-interview-university Fork of jwasham/coding-interview-university

A complete computer science study plan to become a software engineer.

Size: 8.94 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/gatsby Fork of gatsbyjs/gatsby

Build blazing fast, modern apps and websites with React

Size: 621 MB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/heroku-deploy Fork of AkhileshNS/heroku-deploy

A simple github action that dynamically deploys an app to heroku

Size: 78.1 KB - Last synced at: almost 2 years ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

nicodelpiano/next.js Fork of vercel/next.js

The React Framework

Size: 35.6 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

nicodelpiano/react-guitar Fork of 4lejandrito/react-guitar

A beautiful and flexible guitar component for React. ⚛️ 🎸

Size: 4.18 MB - Last synced at: almost 2 years ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 0

nicodelpiano/react-native-lightbox Fork of oblador/react-native-lightbox

Images etc in Full Screen Lightbox Popovers for React Native

Language: JavaScript - Size: 314 KB - Last synced at: almost 2 years ago - Pushed at: about 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/react-native-tab-view Fork of satya164/react-native-tab-view

A cross-platform Tab View component for React Native

Language: JavaScript - Size: 5.31 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/react-native-dynamic-cropper Fork of Rob117/react-native-dynamic-cropper

This is a dynamic cropper for React Native that allows fine-grained image-crop control

Language: Objective-C - Size: 2.04 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/react-native-snap-carousel Fork of meliorence/react-native-snap-carousel

Swiper/carousel component for React Native with previews, multiple layouts, parallax images, performant handling of huge numbers of items, and RTL support. Compatible with Android & iOS.

Language: JavaScript - Size: 838 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/soundboard Fork of jgalat/soundboard

A soundboard built with React Native. This is a work in progress.

Language: JavaScript - Size: 103 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/react-native-share Fork of react-native-share/react-native-share

Social share, sending simple data to other apps.

Language: Java - Size: 1.54 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/You-Dont-Know-JS Fork of getify/You-Dont-Know-JS

A book series on JavaScript. @YDKJS on twitter.

Size: 6.95 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/yapli

Yet another PCF language implementation

Language: Scala - Size: 1000 Bytes - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/active-elastic-job Fork of active-elastic-job/active-elastic-job

Run Rails background jobs or periodic tasks (cron jobs) in Amazon Elastic Beanstalk worker environments. No need for customised container commands.

Language: Ruby - Size: 367 KB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

nicodelpiano/yt-spotify-tmux-control

Add Spotify and Youtube control within Tmux

Language: AppleScript - Size: 50.8 KB - Last synced at: almost 2 years ago - Pushed at: almost 6 years ago - Stars: 2 - Forks: 0

nicodelpiano/workout-tracker

Workout tracker

Language: TypeScript - Size: 195 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

nicodelpiano/aoe2techtree Fork of SiegeEngineers/aoe2techtree

Age of Empires II Tech Tree

Size: 23 MB - Last synced at: almost 2 years ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

nicodelpiano/bigcorp-chart

Display an organization structure

Language: JavaScript - Size: 2.11 MB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

nicodelpiano/aoc

My solutions to Advent of Code https://adventofcode.com

Language: TypeScript - Size: 60.5 KB - Last synced at: almost 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

nicodelpiano/monkey

The Monkey programming language written in Go

Language: Go - Size: 25.4 KB - Last synced at: almost 2 years ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

nicodelpiano/sorting-algorithms-visualizer

Sorting Algorithms Visualizer

Language: JavaScript - Size: 1.19 MB - Last synced at: almost 2 years ago - Pushed at: over 3 years ago - Stars: 9 - Forks: 10

nicodelpiano/coverage

An exhaustivity checker DSL written in Haskell.

Language: Haskell - Size: 73.2 KB - Last synced at: 13 days ago - Pushed at: over 9 years ago - Stars: 2 - Forks: 0

nicodelpiano/numeric-ranges

DSL written in Haskell that provides a set of tools for working with both open and closed numeric intervals.

Language: Haskell - Size: 11.7 KB - Last synced at: 12 days ago - Pushed at: over 9 years ago - Stars: 1 - Forks: 1