np Goto Github PK
Name: Nicolas Pouillard
Type: User
Bio: «Type Theory Hacker»
Location: Angers, France
Name: Nicolas Pouillard
Type: User
Bio: «Type Theory Hacker»
Location: Angers, France
The 2048 game as a puerly functional program in Haskell
Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list
Agda is a dependently typed programming language / interactive theorem prover.
darcs-bridge experiment with Agda repository
Deriving parametricity results in Agda: "theorems for free"
A simple tool to emulate packages in Agda
Programming library for Agda
Nix package for AIRTAME (binary version)
commandline MUA using notmuch and urwid
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.
αProlog
The hackable editor
Error handling using extensible exceptions outside the IO monad.
Twitter tools written in bash
Bitcoin Improvement Proposals
Bitcoin integration/staging tree
A small and lightweight Docker image of Bitcore Wallet Service
Blackarch Linux website
BlinkStick Python interface to control devices connected to the computer
Very simple blog software
Combinators for manipulating locally-nameless generalized de Bruijn terms
Brainwallet site
Your favorite alternative full node Bitcoin implementation...dockerized!
An independant OCaml lexer, extracted from OCaml/Camlp4
Simple shell script to use OpenAI's ChatGPT and DALL-E from the terminal. No Python or JS required.
CAES Language for Synchronous Hardware
Simple test framework to record and check command behaviors
An Haskell library to read and write mailboxes in mbox format
Color Up Arbitrary Command Ouput
parser for config files, shell variables, command line args.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.