Alternatives and similar repositories for hobbes:

Users that are interested in hobbes are comparing it to the libraries listed below

• mrakgr / The-Spiral-Language
  Functional language with intensional polymorphism and first-class staging.
  ☆929Updated 3 weeks ago
• zetavm / zetavm
  Multi-Language Platform for Dynamic Programming Languages
  ☆634Updated 2 years ago
• kevinlawler / kona
  Open-source implementation of the K programming language
  ☆1,367Updated last year
• kevinlawler / kerf1
  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 4 months ago
• ianh / owl
  A parser generator for visibly pushdown languages.
  ☆750Updated last week
• IntelLabs / flrc
  Haskell Research Compiler
  ☆817Updated 2 years ago
• Co-dfns / Co-dfns
  High-performance, Reliable, and Parallel APL
  ☆724Updated 3 weeks ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,553Updated 9 years ago
• vekatze / neut
  A functional programming language with static memory management
  ☆839Updated last month
• sustrik / libdill
  Structured concurrency in C
  ☆1,831Updated 9 months ago
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,467Updated 6 months ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,050Updated 7 years ago
• jameysharp / corrode
  C to Rust translator
  ☆2,163Updated 5 years ago
• JohnEarnest / ok
  An open-source interpreter for the K5 programming language.
  ☆597Updated last year
• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆365Updated 8 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆453Updated this week
• inspector-repl / inspector
  A drop-anywhere C++ REPL
  ☆838Updated last year
• empirical-soft / empirical-lang
  A language for time-series analysis
  ☆167Updated 3 years ago
• zetzit / zz
  🍺🐙 ZetZ a zymbolic verifier and tranzpiler to bare metal C
  ☆1,599Updated 2 years ago
• janestreet / incremental
  A library for incremental computations
  ☆889Updated last month
• BitFunnel / NativeJIT
  A C++ expression -> x64 JIT
  ☆1,142Updated 4 years ago
• rhysd / gocaml
  Statically typed functional programming language implementation with Go and LLVM
  ☆749Updated 4 years ago
• doctorn / micro-mitten
  You might not need your garbage collector
  ☆540Updated 4 years ago
• ChrisPenner / rasa
  Extremely modular text editor built in Haskell
  ☆617Updated 4 years ago
• concurrencykit / ck
  Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the …
  ☆2,428Updated this week
• bloomberg / comdb2
  Bloomberg's distributed RDBMS
  ☆1,407Updated this week
• felix-lang / felix
  The Felix Programming Language
  ☆809Updated 3 months ago
• eudoxia0 / magma
  Extending C with cmacro
  ☆333Updated 4 years ago
• oridb / mc
  Myrddin Compiler
  ☆391Updated 2 years ago