daeken / RenrakuOSLinks
Managed research kernel
☆43Updated 15 years ago
Alternatives and similar repositories for RenrakuOS
Users that are interested in RenrakuOS are comparing it to the libraries listed below
Sorting:
- Runtime support for LLVM's GC Statepoints☆43Updated 5 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 4 months ago
- Coq library for verified low-level programming☆60Updated 8 years ago
- Compiler and tools for the L programming language☆72Updated last year
- Attribute grammar Based Language Extensions for C☆41Updated last month
- ☆57Updated 8 years ago
- CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…☆55Updated 3 years ago
- A general-purpose language inspired by Scheme and Rust and Haskell and ML and cetera☆21Updated 3 years ago
- Normalization by evaluation for Martin-Löf Type Theory with dependent records☆98Updated 3 years ago
- Pillar compiler, Pillar runtime, garbage collector.☆23Updated 2 years ago
- An idris backend compiling to chez scheme☆47Updated 7 years ago
- Abstract binding tree code generator☆37Updated 8 years ago
- A simple interpreter featuring a tracing JIT☆16Updated 14 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- The Pascal-F Verifier☆50Updated 8 years ago
- A meta tracing JIT for x86 and interpreters written in C/C++☆36Updated 8 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Updated 3 years ago
- A Lisp-flavored Assembler for the x86, x86-64, ARM, and MIPS architectures☆16Updated 6 years ago
- Macros have types!☆131Updated 2 years ago
- Pawns functional/imperative programming language compiler etc☆10Updated 4 months ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- ALLVM Tools☆56Updated 3 years ago
- Self-hosting compiler for the Grace programming language☆41Updated last year
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- GPU Accelerated, Distributed, Actor Model Language (WIP)☆30Updated 2 years ago
- Dependently-typed row-polymorphic programming language, evolved from minitt-rs☆99Updated 4 years ago
- A VM-based runtime environment for functional programming languages☆48Updated 8 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆75Updated 8 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- ☆90Updated 3 years ago