umd-cmsc330 / fall2022Links
☆30Updated 2 years ago
Alternatives and similar repositories for fall2022
Users that are interested in fall2022 are comparing it to the libraries listed below
Sorting:
- A complete collection of my undergraduate notes☆34Updated 3 years ago
- A garden of small programming language implementations 🪴☆311Updated last week
- Simple expression transformer that is not Coq.☆264Updated 2 years ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆68Updated 2 years ago
- A functional programming language with shell scripting capabilities☆131Updated last month
- 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/☆21Updated 4 months ago
- Amethyst is a systems language aimed at being simple, small, portable, and safe.☆43Updated last year
- A series of down-to-earth articles on implementing type inference☆166Updated 5 years ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆257Updated last year
- A language with dependent data and codata types☆125Updated this week
- An example on how to write an incremental, concurrent, fault-tolerant compiler☆63Updated 7 months ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- Staged compilation with dependent types☆187Updated last week
- ☆19Updated 4 years ago
- The Ribbon compiler, interpreter and runtime. An embeddable programming language, offering performance without sacrificing safety or usab…☆21Updated 3 weeks ago
- A collection of programming languages and type systems.☆33Updated 9 months ago
- The LLVM tutorial using OCaml☆34Updated 2 years ago
- deployment for smlhelp page☆43Updated 7 months ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Updated last year
- A WIP little dependently-typed systems language☆41Updated last year
- a proof-of-concept programming language based on call-by-push-value☆61Updated 3 weeks ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust☆137Updated 4 months ago
- Statically typed, high-level functional programming language.☆17Updated 4 years ago
- Implementation of the Delta Language☆13Updated last year
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆30Updated 2 weeks ago
- A fancy diagnostics library that allows your compilers to exit with grace☆88Updated last month
- Fir programming language☆91Updated this week
- An experimental programming language☆98Updated last week