norswap / uranium
Semantic analysis framework
☆14Updated 2 years ago
Alternatives and similar repositories for uranium:
Users that are interested in uranium are comparing it to the libraries listed below
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated last month
- Statically typed general purpose programming languageUpdated 10 months ago
- Simple conservative GC using mimalloc☆39Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 8 months ago
- Jacy programming language☆13Updated 2 years ago
- Compiler for the Vale programming language - http://vale.dev/☆31Updated 7 months ago
- siko☆14Updated last year
- The Egel Programming Language☆84Updated last month
- ☆27Updated last year
- Just a little toy language to learn about register-based VMs.☆21Updated 12 years ago
- An imperative, statically but weakly typed systems programming language with manual memory management.☆13Updated last year
- A toy programming language.☆38Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- L42 main project☆26Updated 3 months ago
- egg is a flexible, high-performance e-graph library☆11Updated 10 months ago
- ☆29Updated 4 months ago
- Compiler Optimizations Playground☆27Updated 3 years ago
- Self-hosting compiler for the Grace programming language☆39Updated 8 months ago
- An esoteric RPN golfing language☆23Updated 2 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆36Updated 2 months ago
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆34Updated 4 years ago
- SPSC: A Small Positive Supercompiler☆34Updated 8 months ago
- Pluggable implementation of Immix garbage collector.☆50Updated 7 years ago
- an expressive and efficient programming language for WebAssembly☆42Updated 5 months ago
- A systems programming language☆32Updated this week
- 🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.☆43Updated 3 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- Frost is a powerful, general purpose, multi-paradigm programming language☆38Updated 2 years ago
- Compiler for my language 'Speedie'. Beta-state. Has a great future ahead for it.☆22Updated this week
- a concurrent compiled programming language☆15Updated 2 years ago