morganstanley / hobbesLinks
A language and an embedded JIT compiler
☆1,182Updated 5 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,394Updated 2 years ago
- Functional language with intensional polymorphism and first-class staging.☆939Updated this week
- A parser generator for visibly pushdown languages.☆797Updated 5 months ago
- Multi-Language Platform for Dynamic Programming Languages☆639Updated 3 years ago
- A library for incremental computations☆932Updated last month
- Haskell Research Compiler☆819Updated 2 years ago
- An open-source interpreter for the K5 programming language.☆610Updated last year
- Implementations of various type systems in OCaml.☆1,586Updated 10 years ago
- High-performance, Reliable, and Parallel APL☆766Updated this week
- 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…☆546Updated last year
- The Felix Programming Language☆816Updated last year
- Programming Languages Zoo☆1,521Updated last year
- A drop-anywhere C++ REPL☆841Updated last month
- Bloomberg's distributed RDBMS☆1,463Updated this week
- Functional data structures in C++☆566Updated 5 years ago
- The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture☆549Updated 3 years ago
- an incremental approach to compiler construction☆943Updated 5 years ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,302Updated 5 months ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,054Updated 8 years ago
- J engine source mirror☆705Updated this week
- The Hindley Milner Type Inference Algorithm☆374Updated 8 years ago
- A statically typed concatenative systems programming language.☆1,134Updated 2 years ago
- Irmin is a distributed database that follows the same design principles as Git☆1,897Updated this week
- A programming language with static memory management based on λ-calculus☆1,005Updated last week
- Persistent immutable data structures for C++☆283Updated 9 years ago
- A C++ expression -> x64 JIT☆1,253Updated 5 years ago
- Lisp-flavoured C☆1,040Updated 5 months ago
- Postmodern immutable and persistent data structures for C++ — value semantics at scale☆2,607Updated 2 weeks ago
- Functional programming style pattern-matching library for C++☆1,301Updated 3 years ago
- Prototype smart text editor☆1,061Updated 6 months ago