dwarfmaster Goto Github PK
Name: Luc Chabassier
Type: User
Company: École Normale Supérieure
Blog: https://dwarfmaster.net
Name: Luc Chabassier
Type: User
Company: École Normale Supérieure
Blog: https://dwarfmaster.net
Solving the 2-SAT problem.
Implementation of a single camera based obstacle detection algorithm.
Some patch for abook colors. Cloned from https://gitorious.org/abook/abook/source/51847f5bee592bd07abbda526993f08da93fd355:
A clone a abook http://abook.sourceforge.net/ with the extend_index patch.
A library to work with abook addressbooks.
Abstract interpretation for a small subset of C
Arcan - [Display Server, Multimedia Framework, Game Engine] -> "Desktop Engine"
Utilities to use arkenfox/user.js in NixOS
Portage vers linux du jeu astropong, jeu de pong à plusieurs balles.
The public release of the Babel2 framework, a framework for Fluid Construction Grammar, multi-agent experiments and Incremental Recruitment Language.
A common list of schemes for base16-builders
Tommorow scheme for base16
Implementation of the blossom algorithm
Simplify boxplot drawing in LaTeX.
Brainfuck executer
Un cadavre exquis en réseau, basé sur le modèle client-serveur.
Ce jeu vous met dans la peau d'une cellule cancéreuse qui cherche à se faire des camarades.
Code latex de ma carte de visite.
Experiments with category theory in LambdaPi
New heuristic for MiniSAT, specific for solving HIPP problems
CLI program compatible with newbeuter RSS aggregator.
A coq plugin to deal with commutative diagrams
All my config files and scripts to help the managing.
A simple contact manager written in gawk compatible with abook adressbook files.
Nix package of coq HoTT library
Interactive theorem proving with Coq in vim.
Execute custom command at notify events.
Syntax file for cubicle sources
My CV
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.