gelisam Goto Github PK
Name: Samuel Gélineau
Type: User
Company: well.co
Bio: Haskeller
Twitter: haskell_cat
Location: Montréal
Blog: gelisam.com
Name: Samuel Gélineau
Type: User
Company: well.co
Bio: Haskeller
Twitter: haskell_cat
Location: Montréal
Blog: gelisam.com
Flexible persistence for Haskell data types primarily based on event logging and checkpoints
Spineless containers which are fast to read but inefficient to update
a parody of Tiny Glade with inference rules instead of castles
A DSL in which composition and application are unified.
a series of ambitious experiments in the functional language / proof assistant Agda.
My entry for the 2017 xkcd game jam
demonstrating how to use hint to dynamically modify the game world of an apecs-based game
simple PHP script for forwarding Asana notifications to Google Apps Script
A logical authorization system
Repository for the Beluga language
A textbook on informal homotopy type theory
Combinators for manipulating locally-nameless generalized de Bruijn terms
Utility for creating .hsc files from C API header files
A tool to fill in the version ranges in a cabal file.
logic programing
FRP interface to system time.
do-notation for Category and "Arrow without arr"
Binary serialisation in the CBOR format
a twelf-like type-checker supporting recursive signatures
Using Haskell's type system to guarantee commutativity.
Experimental open nets of services, inspired by open petri nets
An API for Divisible and Decidable which looks like pattern-matching.
Demonstrating comonad transformers.
A powerful but simple library for measuring the performance of Haskell code.
A game about clicking and not clicking on plants.
Active streaming declarative programmers. See who's online at the following URL:
Declaratively draw architecture diagrams
Demonstrating that you don't need to install ghc in order to use the hint library.
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.