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
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- The Egel Programming Language☆84Updated 3 weeks ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated 3 months ago
- Self-hosting compiler for the Grace programming language☆40Updated 10 months ago
- Statically typed general purpose programming language☆1Updated last year
- Compiler for the Vale programming language - http://vale.dev/☆31Updated 10 months ago
- An imperative, statically but weakly typed systems programming language with manual memory management.☆13Updated last year
- Park programming language☆18Updated 3 years ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆11Updated 2 years ago
- ☆27Updated last year
- Compiler and tools for the L programming language☆72Updated 11 months ago
- Just a little toy language to learn about register-based VMs.☆21Updated 12 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 10 months ago
- An LLVM compiler for an ML-like language (written in Rust)☆60Updated 3 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆35Updated 11 months ago
- siko☆14Updated last year
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆39Updated 4 months ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆29Updated last year
- ☆23Updated 3 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 3 years ago
- Memory Management ToolKit☆34Updated this week
- A general purpose relational language☆20Updated 5 years ago
- A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines☆36Updated 5 years ago
- L42 main project☆26Updated 5 months ago
- Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.☆37Updated 4 years ago
- Compiler Optimizations Playground☆27Updated 4 years ago
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated last week
- egg is a flexible, high-performance e-graph library☆11Updated last year