Precise description and operational execution of exotic contracts.
☆36May 7, 2018Updated 7 years ago
Alternatives and similar repositories for Netrium
Users that are interested in Netrium are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Haskell DSL for Generating Dockerfiles☆10Apr 25, 2025Updated 10 months ago
- 📚 - Resources for Machine Learning and Haskell☆23Nov 14, 2017Updated 8 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml☆15Feb 27, 2024Updated 2 years ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- Painless general-purpose sampling.☆24Nov 9, 2024Updated last year
- Sample ppx to demo making, testing, and packaging a simple ppx rewriter☆19May 11, 2019Updated 6 years ago
- A Datalog implementation with an OCaml inspired module system☆42Updated this week
- Musical noteheads shaped like animals☆14Jun 25, 2018Updated 7 years ago
- A work-in-progress OCaml client for Sentry☆27Aug 12, 2022Updated 3 years ago
- A F# functional wrapper over CNTK's .Net API (inspired by Keras but with function composition as the primary modeling metaphor)☆14Mar 22, 2021Updated 5 years ago
- ☆18May 21, 2019Updated 6 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- ETH contracts for NMR and staking☆11Jan 24, 2023Updated 3 years ago
- Generate recurring dates.☆17Jan 15, 2024Updated 2 years ago
- ☆16Nov 2, 2018Updated 7 years ago
- A Genetic Algorithm library in Haskell☆20Nov 11, 2018Updated 7 years ago
- give your flask application a setting similar to django INSTALLED_APPS, but with more features☆16Dec 3, 2024Updated last year
- A program and library for prototyping and debugging PyTorch models in Haskell☆15Aug 11, 2023Updated 2 years ago
- First class patterns and pattern matching, using type families☆18Nov 6, 2020Updated 5 years ago
- A basic WEB chat based on Haskell, HTMX and Tailwindcss☆11Sep 27, 2022Updated 3 years ago
- Kleene algebra modulo theories☆27Nov 21, 2022Updated 3 years ago
- Go and Java implementations of LRMP - light weight reliable multicast protocol☆11Sep 27, 2018Updated 7 years ago
- 👃 Mock your records of functions with ease☆14Feb 13, 2020Updated 6 years ago
- ☆29Feb 12, 2022Updated 4 years ago
- Python WASI build.☆10Jan 3, 2024Updated 2 years ago
- AWS CDK to create a CloudFront distribution with a request Lambda to allow single use signed URL file downloads. Each file is tracked by …☆17Jan 11, 2022Updated 4 years ago
- Automation for releasing haskell packages☆19May 22, 2023Updated 2 years ago
- Python API for Treasury Direct☆19Nov 16, 2023Updated 2 years ago
- Example projects for purescript-elmish☆16Jun 7, 2024Updated last year
- Akka Cluster for Value-at-Risk calculation☆14May 2, 2014Updated 11 years ago
- FP Complete's Haskell Homepage☆14Mar 17, 2020Updated 6 years ago
- Git mergetool leveraging code formatters.☆39Jun 2, 2025Updated 9 months ago
- Golang syscall firehose (programmatic strace/dtruss)☆13Nov 26, 2020Updated 5 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- Eject from an ActiveRecord model to a Sorbet T::Struct, or buckle back in.☆11Jun 29, 2025Updated 8 months ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- Simple string substitution for Haskell.☆15May 8, 2018Updated 7 years ago
- Weak Reference class that allows a referenced object to be garbage-collected.☆19Updated this week