morganstanley / hobbes
A language and an embedded JIT compiler
☆1,169Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for hobbes
- Open-source implementation of the K programming language☆1,364Updated last year
- Multi-Language Platform for Dynamic Programming Languages☆635Updated 2 years ago
- Implementations of various type systems in OCaml.☆1,540Updated 9 years ago
- Functional language with intensional polymorphism and first-class staging.☆925Updated 3 weeks ago
- The Felix Programming Language☆806Updated 2 months ago
- Haskell Research Compiler☆818Updated 2 years ago
- A library for incremental computations☆876Updated this week
- High-performance, Reliable, and Parallel APL☆714Updated this week
- A parser generator for visibly pushdown languages.☆746Updated last year
- An open-source interpreter for the K5 programming language.☆592Updated last year
- Programming Languages Zoo☆1,461Updated 5 months ago
- Statically typed functional programming language implementation with Go and LLVM☆749Updated 4 years ago
- A drop-anywhere C++ REPL☆838Updated 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…☆540Updated 2 months ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,044Updated 7 years ago
- Lisp-flavoured C☆1,029Updated last month
- The MLton repository☆959Updated 3 weeks ago
- A functional programming language with static memory management☆841Updated this week
- A statically typed concatenative systems programming language.☆1,103Updated last year
- You might not need your garbage collector☆536Updated 4 years ago
- Modern low-level programming language☆772Updated 6 months ago
- Structured concurrency in C☆1,682Updated 7 months ago
- The Hindley Milner Type Inference Algorithm☆365Updated 7 years ago
- The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture☆532Updated 2 years ago
- Experimental wrapper over LLVM for generating and compiling code at run-time.☆381Updated 4 years ago
- Functional programming style pattern-matching library for C++☆1,283Updated 3 years ago
- Cliff Click Language Hacking☆276Updated 3 weeks ago
- Koka language compiler and interpreter☆3,314Updated 2 weeks ago
- 🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C☆1,600Updated 2 years ago
- A data-parallel functional programming language☆2,409Updated this week