Ideal Hash Array Mapped Tries: an Erlang functional datatype
☆18Nov 15, 2013Updated 12 years ago
Alternatives and similar repositories for hamt
Users that are interested in hamt are comparing it to the libraries listed below
Sorting:
- Generic embedded distributed request rate limiting service for erlang applications☆10Mar 7, 2016Updated 9 years ago
- Futures implemented in Erlang☆57Jul 29, 2013Updated 12 years ago
- Scalable reliable delivery protocol for Lasp.☆22Oct 13, 2021Updated 4 years ago
- Open Tracing Toolkit for ERlang☆24Jun 22, 2018Updated 7 years ago
- ☆10Feb 16, 2017Updated 9 years ago
- Multi Dimensional Identity Protocol (MDIP) reference implementation☆14Updated this week
- ☆17Mar 28, 2025Updated 11 months ago
- Add custom services to your Linux system.☆11Dec 17, 2025Updated 2 months ago
- Emacs major mode for editing J code.☆49Oct 3, 2025Updated 5 months ago
- Module for working with linear algebra in Elixir.☆15Jan 3, 2017Updated 9 years ago
- Fast case-insensitive validation and conversion between ISO Alpha-2, Alpha-3, and Numeric Codes.☆12Sep 7, 2017Updated 8 years ago
- Infrastructure to run programs written in high-level languages on top of the Database Stream Processor (DBSP) runtime.☆16Jun 17, 2022Updated 3 years ago
- 💧 MAIL: Система доставки повідомлень☆29Jan 27, 2026Updated last month
- OCaml library for forking child processes to perform work on multiple cores☆17Sep 9, 2019Updated 6 years ago
- Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)☆13Dec 27, 2016Updated 9 years ago
- ChatGPT solutions for the MLE interview☆14Dec 9, 2022Updated 3 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 9 years ago
- My attempt to write a sandboxing library for clojure to allow secure execution of untrusted code☆41Apr 2, 2011Updated 14 years ago
- MiniMonkey is a tiny message routing system aimed for embedded systems. Especially the broker is programmatically provisioned.☆12Jan 27, 2021Updated 5 years ago
- ☆10Mar 21, 2023Updated 2 years ago
- Top 9 private leaderboard & Top 17 public leaderboard☆10Dec 1, 2022Updated 3 years ago
- Deriving morphisms for OCaml data structures☆10Aug 28, 2019Updated 6 years ago
- (DEPRECATED) Documentation generation for OCaml☆13Jul 16, 2018Updated 7 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- An interface between Clojure and Mathematica☆10Mar 17, 2015Updated 10 years ago
- A tiny object wrapper around the DOM, targeted at replacing the core of the manipulations found inside jQuery.☆54Apr 29, 2014Updated 11 years ago
- API for bestchange.ru☆10Jan 24, 2020Updated 6 years ago
- A rpc client library for the Transmission bittorrent client written in OCaml.☆10Jan 27, 2018Updated 8 years ago
- Parsers for Prolog, Datomic, and various other Datalog varieties.☆12Aug 19, 2017Updated 8 years ago
- Sample code in MMIX assembly language☆12Jan 25, 2022Updated 4 years ago
- ClojureScript functional reactive programming library.☆49Jun 7, 2013Updated 12 years ago
- Ship C library with Zig-based NIF for Elixir☆15Oct 26, 2025Updated 4 months ago
- Ulrich Newmerkel's library for reified if, as a prolog pack☆11Aug 11, 2020Updated 5 years ago
- An audio server, programming language, and IDE for sound synthesis and algorithmic composition.☆14Feb 2, 2017Updated 9 years ago
- MacOS port of Intel Wireless Linux (IWL) Driver☆12Dec 27, 2018Updated 7 years ago
- Official code for the paper: Robust Human Detection under Visual Degradation via Thermal and mmWave Radar Fusion☆12Jul 4, 2023Updated 2 years ago
- ☆11Dec 27, 2023Updated 2 years ago
- A Cowboy based Folsom HTTP Wrapper.☆37May 29, 2015Updated 10 years ago
- LMDB-based RDF Quadstore implemented in Swift☆14Oct 29, 2024Updated last year