hail
hobbes
Our great sponsors
| hail | hobbes | |
|---|---|---|
| - | 4 | |
| 77 | 1,154 | |
| - | 0.2% | |
| 0.0 | 3.7 | |
| over 3 years ago | 3 months ago | |
| Haskell | C | |
| Apache License 2.0 | Apache License 2.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
hail
We haven't tracked posts mentioning hail yet.
Tracking mentions began in Dec 2020.
hobbes
- Hobbes: Comprehensions
-
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).
What are some alternatives?
sshd-lint - Checks a sshd_config file for adherence to security best practices
dream-html - Generate HTML markup from your OCaml Dream backend server
nix-deploy - Deploy software or an entire NixOS system configuration to another NixOS system
peridot - A fast functional language based on two level type theory
date-cache - A fast logging system for Haskell
sexp - S-expression swiss knife
pid1 - Do signal handling and orphan reaping for Unix PID1 init processes
hobbes - A cross-platform file activity monitor
hdaemonize-buildfix - hdaemonize is now maintained by Lana Black. See https://github.com/greydot/hdaemonize
selinux - Haskell bindings for the SELinux API
bench - Command-line benchmark tool
interprocess - Portable interprocess communication (IPC) in Haskell