Le Garage Hermétique's repositories
6502-C-Compiler
A bison and lex generated C compiler for the 6502 (bare bones and incomplete)
Artemis
Artemis is my project to create portable Oberon-07 modules that can be used in POSIX and Oberon System.
ATOM
The ATOM Programming Language
bike
Bike game
booleanium
An experimental QBF solver
Carrot-ympbyc
Purely functional lisp featuring: default currying, left-associative s-expression, lazy evaluation, static type system, and statically determined multimethods.
ccsubbox
Soundness proof for System CC_<:□
diamond-lang
A prototype programming language with polymorphic reachability types that track freshness, sharing and separation.
elfe
Interactive Theorem Proving for students
esolangs
esolang implementations in rust
fhtagn
Literate testing for command-line programs
Formally-Verified-MultiObjective-Optimisation
Attempt to formalise this nice paper in semiring setting https://web.math.pmf.unizg.hr/glasnik/forthcoming/pGM6287.pdf
Fountain-expts
Fountain CSL grammar experiments
fpl
FPL - the "Formal Proving Language" is a project to create a universal, human-readable language to formulate mathematical definitions, theorems, and proofs.
Game-Dangerous
A 3D game engine written in Haskell and OpenGL Shading Language. The goal is to make a 3D tribute to ZZT, including a game creation system.
gregr-experiments
a steady descent into madness
grin
A grep program configured the way I like it.
helma
🔧 🎨 HelMA - Haskellish Esoteric Little Minimal Automaton for Esoteric Languages implemented in Haskell
lambda-egglog
Exploring egraphs as ground completion with an eye towards lambdas and theories
lean-matroids
Matroids in Lean
neverflow
Set of macros that guard against buffer overflows. Based on C99 VLA feature.
nnoq
not noq
oriel
An interpreter for the 1991 Oriel scripting language
plg
Prolog inspired programming language
project-macktentooger
poͬjcͤt aͫkͨeͭnoͭgͦrͤ —a fnͧ hͭnͥg iͫssͧnͥg Uncͥdͦe oͨbͫnͥnͥg hͨrͣcͣeͭsͬ
purescript-lua
Purescript compiler back-end for Lua
rhokell
rho calculus + haskell thrown into the mixer
termlisp
A lisp dialect based on pattern matching and term rewriting
Trilangle
A 2-D programming language inspired by Hexagony
z80retro-lib
Port / Fork of NABU-LIB by DJ Sures to support cross complining nabu-games on the Z80_Retro.