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
- Self-hosting compiler for the Grace programming language☆39Updated 9 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated 2 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago
- Simple conservative GC using mimalloc☆39Updated 2 years ago
- Just a little toy language to learn about register-based VMs.☆21Updated 12 years ago
- siko☆14Updated last year
- Statically typed general purpose programming language☆1Updated 11 months ago
- ☆27Updated last year
- The Egel Programming Language☆84Updated last week
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- A general purpose statically-typed concatenative programming language.☆53Updated last year
- SPSC: A Small Positive Supercompiler☆34Updated 10 months ago
- COOL (Classroom Object Oriented Language) compiler with LLVM backend☆34Updated 5 years ago
- Frost is a powerful, general purpose, multi-paradigm programming language☆38Updated 3 years ago
- A WIP little dependently-typed systems language☆41Updated 7 months ago
- A cross-platform implementation of the Immix Garbage Collector☆77Updated 10 years ago
- Compiler Optimizations Playground☆27Updated 4 years ago
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 years ago
- Modernized Sisal Interpreter☆28Updated 6 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 3 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Updated 9 months ago
- An esoteric RPN golfing language☆23Updated 2 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆30Updated 5 years ago
- Compiler for the Vale programming language - http://vale.dev/☆31Updated 9 months ago
- My branch of the Cyclone programming language☆19Updated 13 years ago
- egg is a flexible, high-performance e-graph library☆11Updated 11 months ago
- A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology☆21Updated 4 years ago
- Jacy programming language☆13Updated 2 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"☆38Updated 3 months ago