playXE / migcLinks
Simple conservative GC using mimalloc
☆40Updated 2 years ago
Alternatives and similar repositories for migc
Users that are interested in migc are comparing it to the libraries listed below
Sorting:
- ☆38Updated 4 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Updated last year
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆35Updated 8 years ago
- ☆16Updated 3 years ago
- A WIP little dependently-typed systems language☆41Updated 10 months ago
- The Egel Programming Language☆84Updated 3 weeks ago
- Tracing JIT compiler and runtime for a subset of the JVM☆24Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 5 months ago
- A high-level programming language☆39Updated 5 months ago
- ☆26Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated last month
- Semantic analysis framework☆14Updated 3 years ago
- Hindley–Milner Type inferencing in C☆48Updated 2 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Updated 3 years ago
- ☆19Updated last year
- A toy programming language.☆40Updated last year
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago
- j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …☆45Updated 3 weeks ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- Sruth Lùbach: A toy optimization engine☆23Updated 4 years ago
- siko☆14Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Reference-counted Shared Pointer for Zig☆30Updated last year
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆68Updated 3 years ago
- A term rewriting system for experimental programming language development.☆44Updated last week
- Changes and Pinafore projects. Pull requests not accepted.☆33Updated 2 weeks ago
- A general purpose statically-typed concatenative programming language.☆54Updated 2 years ago
- Simple scheme bytecode VM☆29Updated 3 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago