morganstanley / hobbesLinks
A language and an embedded JIT compiler
☆1,182Updated 2 months ago
Alternatives and similar repositories for hobbes
Users that are interested in hobbes are comparing it to the libraries listed below
Sorting:
- Open-source implementation of the K programming language☆1,390Updated 2 years ago
- Kerf (Kerf1) is a columnar tick database and time-series language for Linux/OSX/BSD/iOS/Android. It is written in C and natively speaks J…☆545Updated 9 months ago
- Haskell Research Compiler☆819Updated 2 years ago
- A parser generator for visibly pushdown languages.☆791Updated 3 months ago
- An open-source interpreter for the K5 programming language.☆605Updated last year
- Implementations of various type systems in OCaml.☆1,582Updated 9 years ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,055Updated 8 years ago
- Postmodern immutable and persistent data structures for C++ — value semantics at scale☆2,576Updated 9 months ago
- A library for incremental computations☆919Updated 3 weeks ago
- High-performance, Reliable, and Parallel APL☆751Updated this week
- Programming Languages Zoo☆1,503Updated last year
- Functional language with intensional polymorphism and first-class staging.☆935Updated 3 weeks ago
- A programming language with static memory management based on λ-calculus☆1,004Updated this week
- Multi-Language Platform for Dynamic Programming Languages☆636Updated 2 years ago
- The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture☆545Updated 2 years ago
- A drop-anywhere C++ REPL☆839Updated 2 years ago
- The Hindley Milner Type Inference Algorithm☆373Updated 8 years ago
- A statically typed concatenative systems programming language.☆1,122Updated 2 years ago
- RaptorJIT: A dynamic language for system programming (LuaJIT fork)☆849Updated 10 months ago
- Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …☆2,510Updated 2 weeks ago
- Functional data structures in C++☆566Updated 5 years ago
- an incremental approach to compiler construction☆937Updated 5 years ago
- The Felix Programming Language☆814Updated 9 months ago
- Irmin is a distributed database that follows the same design principles as Git☆1,883Updated last week
- A superoptimizer for LLVM IR☆2,252Updated 10 months ago
- A memory allocator that automatically reduces the memory footprint of C/C++ applications.☆1,816Updated 11 months ago
- A data-parallel functional programming language☆2,536Updated this week
- Persistent immutable data structures for C++☆284Updated 8 years ago
- C to Rust translator☆2,170Updated 6 years ago
- Structured concurrency in C☆1,880Updated last year