brendanzab/language-garden

A garden of small programming language implementations 🪴

OCamlNixLeanOtherdependent-typesprogramming-languagescompilersl-systemselaborationcompilationtypechecking
This is stars and forks stats for /brendanzab/language-garden repository. As of 28 Mar, 2024 this repository has 108 stars and 2 forks.

Language garden 🌱 Some toy programming language implementations, mostly implemented in OCaml. These projects are mostly my attempt to understand different techniques and approaches to implementing programming languages. Perhaps from these seedlings something new and interesting might germinate? Implementations Elaboration Elaboration is an approach to implementing language front-ends where a complicated, user friendly surface language is type checked and lowered to a simpler, typed core language....
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
W4118/f22-tester-hmwk1PerlPythonOther0040
MakieOrg/Makie.jlJuliaJavaScriptGLSL2.1k+52470
feathr-ai/feathrScalaJavaPython1.9k02530
zjpedu/Computer-Systems-LabsCOther190580
tauri-apps/create-tauri-appRustShellJavaScript7350640
apihero-run/jsonhero-webTypeScriptMDXOther8.1k+33390+4
klembot/twinejsTypeScriptCSSOther1.6k02550
misenhower/splatoon3.inkVueJavaScriptOther1910180
hexops/mach-gpuZigOther1170100
hpjansson/chafaCC++M42.3k0510