hermetique Goto Github PK
Name: Le Garage Hermétique
Type: Organization
Bio: Forks for the fork-improverished! (Zero forks + account deleted = oh no, it's gone)
Name: Le Garage Hermétique
Type: Organization
Bio: Forks for the fork-improverished! (Zero forks + account deleted = oh no, it's gone)
Lambda calculus with Church encoding in C
Formal proof with the Coq theorem prover that elements of some equivalence classes defined over a formal language of interactions describing the behavior of distributed systems have the same semantics.
compile your own functional language
pikhq coreutils (take two)
A parser based on the ALL(*) algorithm, implemented and verified in Coq.
65816 Emulator from Scratch
A REPL for C
A Racket language which pushes the limits of the module system.
Generate dense random crosswords
A primitive bare-metal Scheme for the 65c02
A simple ML-like programming language with subtyping and full type inference.
A Redex model for The Essence of Compiling with Continuations.
Repeat from the sign
A compiler for a strongly typed, haskell-like functional language
new generation language
Tree-Based Esoteric Programming Language
A trivial Datalog with top-down and bottom up evaluation written in Javascript to learn how Datalog evaluation works.
A Datalog-Based Static Program Analyzer
Disassembler for 6502 processors
Oberon-07 compiler for DCPU-16
Roguelike about dying
Two different defunctinoalizing transformations from PCF to SML
A Dependently Typed Esolang
Specification and web-based interpreter for a code golfing language based on Desmos
Diagramming Prototype
random made-up(?) word generator
A formalization of the algebraic structure of dioid and associated lemmas (including the Nerode lemma).
A terrible programming language.
Statically Tracing 6502 Disassembler
6502 disassembler
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.