hobbes

A language and an embedded JIT compiler (by morganstanley)

Hobbes Alternatives

Similar projects and alternatives to hobbes

  1. Protobuf

    194 hobbes VS Protobuf

    Protocol Buffers - Google's data interchange format

  2. CodeRabbit

    CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

    CodeRabbit logo
  3. rescript

    106 hobbes VS rescript

    ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

  4. coalton

    88 hobbes VS coalton

    Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

  5. reason

    53 hobbes VS reason

    Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

  6. dream-html

    Type-safe markup rendering, form validation, and routing for OCaml Dream web framework

  7. fslang-design

    RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas

  8. peridot

    13 hobbes VS peridot

    Discontinued A fast functional language based on two level type theory

  9. InfluxDB

    InfluxDB high-performance time series database. Collect, organize, and act on massive volumes of high-resolution data to power real-time intelligent systems.

    InfluxDB logo
  10. sexp

    3 hobbes VS sexp

    S-expression swiss knife

  11. ppx_deriving

    Type-driven code generation for OCaml

  12. base

    5 hobbes VS base

    Standard library for OCaml (by janestreet)

  13. hail

    0 hobbes VS hail

    Discontinued A service for pull-based continuous deployment based on hydra. (by james-preston)

  14. flare-timing

    Scoring for free flight competitions.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better hobbes alternative or higher similarity.

hobbes discussion

Log in or Post with

hobbes reviews and mentions

Posts with mentions or reviews of hobbes. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-04-25.
  • Hobbes: Comprehensions
    1 project | news.ycombinator.com | 22 Feb 2024
  • My Thoughts on OCaml
    11 projects | news.ycombinator.com | 25 Apr 2023
    https://github.com/morganstanley/hobbes

    Things like structural equality and ordering are user functions here rather than magic internal definitions (e.g. equality is defined as a type class, and type class instances can deconstruct algebraic types at compile time to decide how to implement instances). But evaluation is eager by default, so it's pretty easy to reason about performance. And data structures can be persisted to files and/or shared transparently in memory with C/C++ programs without translation, also very convenient for the places where this was used. Actually we built some very big and complicated time series databases with it, used in both pre and post trade settings where ~15% of daily US equity trades happen. So I think these observations are useful and have passed through some pretty significant real tests.

  • C++ source code generation (focus on financial market data)
    2 projects | /r/cpp | 5 Sep 2022
    Have a look at Hobbes from Morgan Stanley
  • Peridot: A functional language based on two-level type theory
    2 projects | news.ycombinator.com | 10 May 2022
    https://github.com/morganstanley/hobbes

    This approach has several benefits, but there's a lot of appeal also to the way they're doing it, to have the same PL across stages (and then maybe have more than just two stages).

  • A note from our sponsor - SaaSHub
    www.saashub.com | 27 Apr 2025
    SaaSHub helps you find the best software and product alternatives Learn more →

Stats

Basic hobbes repo stats
4
1,175
5.7
4 days ago

morganstanley/hobbes is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of hobbes is C.


Sponsored
CodeRabbit: AI Code Reviews for Developers
Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.
coderabbit.ai

Did you know that C is
the 6th most popular programming language
based on number of references?