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)
A wiki for collaborative work on totally legitimate "category theory"
A subset of javascript implemented in that subset of javascript. Yes, it can run itself.
Tiny, single file, scalable key value store based on HAMTs
A tiny game I wrote to illustrate how easy it is to write a game from scratch in JavaScript
A teeny language with nats, lists and pattern matching, static and dynamic semantics and a proof of progress and preservation.
A toy language based on rewriting using code from Baader and Nipkow.
Tiny Lua Dungeone and Roguelike Engine
Commodore 64 Basic interpreter for DOS (from http://webspace.webring.com/people/iu/um_3776/tok64/)
ZIP files containing C++, Java, Assembler, and other listings from some of the programming tutorials I wrote and published roughly between 1980 and 2001
A visual programming language, evaluated as a cellular automaton
A two-dimensional parser combinator library.
The test program of a Haxe macro of building types with the Befunge interpreter.
Implementation of Tree esoteric programming language
A revival of the TREE-META compiler-compiler.
三角棋遊戲
Sin, cos, tan, asin... polyfills for when cross browser consistency is desired.
Simple framework for making 2D games
A text adventure engine written in C
A unified engine for building text adventures and MUDs with batteries included.
Reason about Term Rewriting Systems
[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.
An esoteric ASCII Animation turtle graphics language designed for code golfing challenges.
An equational theorem prover based on Knuth-Bendix completion
Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
A general-purpose type theory and proof checker generator.
Actively maintained fork of Peter Miller's UCSD P-System tools - Virtual machine
Actively maintained fork of Peter Miller's UCSD P-System tools - Cross-compiler
End-to-end static analysis for extract GUI information and check them against Datalog-flavour spec
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.