norswap / uraniumLinks
Semantic analysis framework
☆15Updated 3 years ago
Alternatives and similar repositories for uranium
Users that are interested in uranium are comparing it to the libraries listed below
Sorting:
- Self-hosting compiler for the Grace programming language☆41Updated last year
- A programming language where the syntax and semantics are mutable at runtime☆168Updated 13 years ago
- Just a little toy language to learn about register-based VMs.☆22Updated 13 years ago
- The Egel Programming Language☆84Updated 4 months ago
- Simple conservative GC using mimalloc☆41Updated 2 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 8 months ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated last year
- A Java parser combinator library written with an unmatched feature set.☆128Updated 3 years ago
- Frost is a powerful, general purpose, multi-paradigm programming language☆38Updated 3 years ago
- siko☆14Updated last year
- Scribe Reference Compiler☆22Updated last month
- The Whiley Compiler (WyC)☆224Updated 2 years ago
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆124Updated 3 years ago
- The Evi programming language☆16Updated 3 years ago
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆33Updated 5 years ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Updated 3 years ago
- An experimental programming language that's made to be powerful, productive, and predictable☆143Updated 6 months ago
- The fluffy programming language main repository☆25Updated 12 years ago
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- Lovable memory-safe systems language with a pretty fast compiler☆14Updated this week
- Jacy programming language☆13Updated 3 years ago
- Mirror of https://codeberg.org/tjammer/schmu☆26Updated last week
- Plasma Programming Language☆166Updated 5 months ago
- The Fuzion Language Implementation☆56Updated this week
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- A website for the #proglangdesign community on freenode☆112Updated last week
- The compiler and standard distribution for the C∀ programming language☆82Updated this week
- Paka language☆161Updated 2 years ago
- lambda calculus interpreter☆44Updated 4 years ago
- ☆26Updated last year