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
Sorting:
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 4 months ago
- Self-hosting compiler for the Grace programming language☆40Updated 11 months ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- A general purpose relational language☆19Updated 5 years ago
- Just a little toy language to learn about register-based VMs.☆21Updated 12 years ago
- Compiler Optimizations Playground☆27Updated 4 years ago
- The Egel Programming Language☆84Updated this week
- A statically-typed compiled language defined by a simple grammar☆24Updated 2 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 11 months ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆30Updated last week
- Slides from a talk "Graph-Based Intermediate Representations: An Overview and Perspectives"☆21Updated last year
- Jacy programming language☆13Updated 3 years ago
- ☆23Updated 3 years ago
- ☆27Updated last year
- The Silk Programming Language☆79Updated 3 years ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆11Updated 2 years ago
- Park programming language☆18Updated 4 years ago
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆18Updated last year
- An esoteric RPN golfing language☆23Updated 2 years ago
- Glide programming language☆20Updated 2 years ago
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 4 years ago
- Statically typed general purpose programming language☆1Updated last year
- A newborn programming language for extensible software☆16Updated 3 years ago
- An menu/quick reference for Programming Language concepts☆20Updated last year
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM☆16Updated last month
- Memory Management ToolKit☆35Updated 2 weeks ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆16Updated last year
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago