morganstanley / hobbes
A language and an embedded JIT compiler
☆1,168Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for hobbes
- Open-source implementation of the K programming language☆1,364Updated last year
- Functional language with intensional polymorphism and first-class staging.☆923Updated 2 weeks ago
- Haskell Research Compiler☆817Updated 2 years ago
- A parser generator for visibly pushdown languages.☆746Updated 11 months ago
- The Felix Programming Language☆805Updated last month
- Multi-Language Platform for Dynamic Programming Languages☆634Updated 2 years ago
- Implementations of various type systems in OCaml.☆1,540Updated 9 years ago
- High-performance, Reliable, and Parallel APL☆713Updated this week
- An open-source interpreter for the K5 programming language.☆591Updated last year
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,043Updated 7 years ago
- A functional programming language with static memory management☆841Updated this week
- Programming Languages Zoo☆1,460Updated 4 months ago
- A statically typed concatenative systems programming language.☆1,101Updated last year
- 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…☆539Updated 2 months ago
- A drop-anywhere C++ REPL☆838Updated last year
- A safe, easy systems language☆1,900Updated 2 months ago
- The MLton repository☆956Updated last week
- You might not need your garbage collector☆535Updated 4 years ago
- Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …☆2,382Updated last month
- A library for incremental computations☆875Updated last month
- The Mercury logic programming system.☆907Updated this week
- Dafny is a verification-aware programming language☆2,912Updated this week
- Statically typed functional programming language implementation with Go and LLVM☆747Updated 4 years ago
- Lisp-flavoured C☆1,027Updated 2 weeks ago
- J engine source mirror☆661Updated this week
- Functional programming with fewer indirections☆761Updated 4 years ago
- The Ur/Web programming language☆807Updated 5 months ago
- Structured concurrency in C☆1,681Updated 7 months ago
- Factor programming language☆1,648Updated this week