Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Hobbes Alternatives
Similar projects and alternatives to hobbes
-
-
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
-
reason
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
-
coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
-
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
-
-
fslang-design
RFCs and docs related to the F# language design process, see https://github.com/fsharp/fslang-suggestions to submit ideas
-
-
hail
Discontinued A service for pull-based continuous deployment based on hydra. (by james-preston)
hobbes reviews and mentions
-
My Thoughts on OCaml
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)
Have a look at Hobbes from Morgan Stanley
-
Peridot: A functional language based on two-level type theory
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 - InfluxDB
www.influxdata.com | 28 Mar 2024
Stats
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.