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)
Bream is a subset/dialect of Scheme that is compiled to run on an alternative platform. More details & initial sources will follow soon.
brainf//k art experiment
Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
Tools for finding and analyzing Busy Beaver programs for Turing machines
This is a novel way to improve coding style of your project by adopting lambda expression and callback function.
Python modules and tools for C64 cross-development and hacking.
Modular tool for creating D64 (c64 floppy) disk images
Development of the CafeOBJ interpreter
An interpreter for a minimal but Turing-complete stack based 'concatenative' language.
I was bored when I made this. I will not update it, ever.
A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮
A functional concatenative language implemented in Linux/AMD64 machine code and self-modifying perl
The Math of Card Shufflig
Carrot is a simple string-based esolang whose memory is on a tape of tapes
Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.
An esoteric language based on overlapping tree-like structures
Implementation of a space-efficient lambda calculus with gradual set-theoretic types.
The haskell code for Cathoristic Logic
The extremely portable, extremely extensible line editor
cc64 is a small-C compiler written in Forth, hosted on the Commodore C64, Plus4 and C16 with 64k, and on the Commander X16. It is targeting the 6502 CPU.
The Conforming Concurrent Befunge–98 Interpreter.
C compiler writtern in haskell
Specification of the Cedille Core language
Casual experiments with cellular automata
Formalisation of a capability machine and principles for reasoning about security properties
Design digital circuits in C. Simulate really fast with a regular compiler.
A [ functional stack ] based language.
A checkbox based race
Where programming meets haiku! CherryBlossom is a language where you write code using haiku.
Talking about classical logic and abstract algebra in Haskell
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.