morganstanley / hobbesLinks
A language and an embedded JIT compiler
☆1,183Updated 2 months ago
Alternatives and similar repositories for hobbes
Users that are interested in hobbes are comparing it to the libraries listed below
Sorting:
- Functional language with intensional polymorphism and first-class staging.☆936Updated last month
- Open-source implementation of the K programming language☆1,387Updated 2 years ago
- A parser generator for visibly pushdown languages.☆793Updated 3 months ago
- Haskell Research Compiler☆819Updated 2 years ago
- Multi-Language Platform for Dynamic Programming Languages☆636Updated 3 years ago
- A library for incremental computations☆925Updated last month
- Implementations of various type systems in OCaml.☆1,583Updated 9 years ago
- High-performance, Reliable, and Parallel APL☆756Updated 3 weeks ago
- Bloomberg's distributed RDBMS☆1,446Updated this week
- Programming Languages Zoo☆1,509Updated last year
- An open-source interpreter for the K5 programming language.☆604Updated last year
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,057Updated 8 years ago
- A programming language with static memory management based on λ-calculus☆1,002Updated this week
- Functional data structures in C++☆567Updated 5 years ago
- A drop-anywhere C++ REPL☆839Updated 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 10 months ago
- Postmodern immutable and persistent data structures for C++ — value semantics at scale☆2,585Updated 10 months ago
- The MLton repository☆1,018Updated 3 weeks ago
- The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture☆545Updated 2 years ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,290Updated 2 months ago
- The Mercury logic programming system.☆958Updated this week
- The Felix Programming Language☆815Updated 9 months ago
- lamdu - towards the next generation IDE☆1,872Updated 2 months ago
- Functional programming with fewer indirections☆765Updated 4 years ago
- Libhandler implements algebraic effects and handlers in portable C99. Monads for free in C.☆199Updated 4 years ago
- Functional programming style pattern-matching library for C++☆1,299Updated 3 years ago
- A statically typed concatenative systems programming language.☆1,123Updated 2 years ago
- RaptorJIT: A dynamic language for system programming (LuaJIT fork)☆852Updated 11 months ago
- The Hindley Milner Type Inference Algorithm☆373Updated 8 years ago
- k crash course☆200Updated 2 years ago