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 11 months ago
- Compositional, streaming I/O library (unfinished)☆13Sep 7, 2015Updated 10 years ago
- Media processing pipeline proof of concept using bucklescript and serverless☆12May 16, 2018Updated 7 years ago
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Jun 24, 2020Updated 5 years ago
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆21Mar 6, 2019Updated 7 years ago
- FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml☆16Feb 27, 2024Updated 2 years ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- A small package that demonstrates how to use LiquidHaskell as a GHC plugin☆24Jan 16, 2026Updated 2 months ago
- Painless general-purpose sampling.☆24Nov 9, 2024Updated last year
- 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
- http://devblog.supportbee.com/2011/11/25/identity-map-for-backbone-js-models/☆23Feb 21, 2017Updated 9 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Monadic Constraint Programming framework☆28May 9, 2018Updated 7 years ago
- Generate recurring dates.☆17Jan 15, 2024Updated 2 years ago
- A Genetic Algorithm library in Haskell☆20Nov 11, 2018Updated 7 years ago
- ☆16Nov 2, 2018Updated 7 years ago
- 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
- Type-safe PostgreSQL client code generator☆49Apr 4, 2026Updated last week
- 👃 Mock your records of functions with ease☆14Feb 13, 2020Updated 6 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- ☆29Feb 12, 2022Updated 4 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- High level, generic library for interrogative user interfaces in Haskell☆41Jun 18, 2021Updated 4 years ago
- Handle pattern with servant to build flexible web-apps in Haskell☆16Nov 22, 2022Updated 3 years ago
- Automation for releasing haskell packages☆19May 22, 2023Updated 2 years ago
- A fluent API generator☆26Jan 26, 2026Updated 2 months ago
- OPSIIE (OPSIE) is an advanced Self-Centered Intelligence (SCI) prototype that represents a new paradigm in AI-human interaction.☆24Oct 26, 2025Updated 5 months ago
- Example projects for purescript-elmish☆16Jun 7, 2024Updated last year
- Akka Cluster for Value-at-Risk calculation☆14May 2, 2014Updated 11 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- FP Complete's Haskell Homepage☆14Mar 17, 2020Updated 6 years ago
- Golang syscall firehose (programmatic strace/dtruss)☆13Nov 26, 2020Updated 5 years ago
- Emmett WebAPI starter repository with PostgreSQL☆14Mar 3, 2026Updated last month
- Haskell embedding of PlusCal☆62May 21, 2022Updated 3 years ago
- Last Writer Slicing: data provenance tracking for concurrent program debugging & analysis☆13Nov 14, 2014Updated 11 years ago
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- Minimalistic and an easy to use template for a miso project configured to be able to be compiled with both ghc and ghcjs☆12Oct 2, 2019Updated 6 years ago