np Goto Github PK
Name: Nicolas Pouillard
Type: User
Bio: «Type Theory Hacker»
Location: Angers, France
Nicolas Pouillard's Projects
2048
The 2048 game as a puerly functional program in Haskell
agda
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
agda-1
Agda is a dependently typed programming language / interactive theorem prover.
agda-git-experiment
darcs-bridge experiment with Agda repository
agda-parametricity
Deriving parametricity results in Agda: "theorems for free"
agda-pkg
A simple tool to emulate packages in Agda
agda-prelude
Programming library for Agda
airtame-nixos
Nix package for AIRTAME (binary version)
alot
commandline MUA using notmuch and urwid
ansible
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications— automate in a language that approaches plain English, using SSH, with no agents to install on remote systems.
aprolog
αProlog
atom
The hackable editor
attempt
Error handling using extensible exceptions outside the IO monad.
bashing-twitter
Twitter tools written in bash
bips
Bitcoin Improvement Proposals
bitcoin
Bitcoin integration/staging tree
bitcore-docker
A small and lightweight Docker image of Bitcore Wallet Service
blackarch-site
Blackarch Linux website
blinkstick-python
BlinkStick Python interface to control devices connected to the computer
blogination
Very simple blog software
bound
Combinators for manipulating locally-nameless generalized de Bruijn terms
brainwallet.github.io
Brainwallet site
btcd-in-a-box
Your favorite alternative full node Bitcoin implementation...dockerized!
camllexer
An independant OCaml lexer, extracted from OCaml/Camlp4
chatgpt-shell-cli
Simple shell script to use OpenAI's ChatGPT and DALL-E from the terminal. No Python or JS required.
clash-compiler
CAES Language for Synchronous Hardware
cmdcheck
Simple test framework to record and check command behaviors
codec-mbox
An Haskell library to read and write mailboxes in mbox format
colout
Color Up Arbitrary Command Ouput
configifier
parser for config files, shell variables, command line args.
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.