Distributed Protocol Combinators
☆14Apr 11, 2021Updated 5 years ago
Alternatives and similar repositories for dpc
Users that are interested in dpc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 7 years ago
- Support for servant requests and responses via the 'streaming' library☆13Apr 19, 2019Updated 7 years ago
- ☆15Dec 28, 2020Updated 5 years ago
- A very simple interface for incremental computation using STM in Haskell.☆13Feb 25, 2026Updated 8 months ago
- Writing multicore programs with Reason☆15Dec 22, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A minimalistic blockchain consensus implemented and verified in Coq☆113Apr 13, 2020Updated 6 years ago
- Write yourself a typed functional language☆65Oct 11, 2018Updated 8 years ago
- Applicative Folds, in the style of Gabriel Gonzalez' foldl library☆14Mar 21, 2019Updated 7 years ago
- A performance comparison between TS and JS☆17Feb 24, 2024Updated 2 years ago
- A Purescript data type for untagged unions☆52Dec 10, 2022Updated 3 years ago
- A comprehensive and practical tutorial for people to learn Purescript without any prior experience with functional programming☆14Mar 22, 2021Updated 5 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- Playing with Haskell effect systems☆13Dec 24, 2019Updated 6 years ago
- Proofs of properties of CBC Casper☆36Oct 7, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- "Preload" Haskell packages to override them☆12Dec 3, 2018Updated 7 years ago
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 4 years ago
- Superseded by the core team project Unison Share (https://github.com/unisonweb/share)☆22Nov 25, 2020Updated 5 years ago
- Implementation of tuples as a flat heterogeneous array, for FFI☆15Apr 15, 2024Updated 2 years ago
- A parser for PureScript's corefn JSON representation.☆14Feb 9, 2019Updated 7 years ago
- A 64bit-TinyRAM simulator in Go☆13Oct 18, 2018Updated 8 years ago
- Tool for automatically inferring inductive invariants of distributed protocols.☆23Jan 19, 2026Updated 9 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Feb 18, 2021Updated 5 years ago
- The R2D3 Robotics simulation project. R2D3 is a Free, Cross Platform, Generic Robotic Manipulator Simulator and Development Environment b…☆13Oct 31, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A simple type-safe query EDSL☆15Jan 9, 2019Updated 7 years ago
- Interact with a JSON-serialized API defined by a GADT in your reflex-dom application☆21Oct 14, 2026Updated 2 weeks ago
- KVyper: Semantics of Vyper in K☆41Aug 12, 2018Updated 8 years ago
- ☆30Oct 8, 2016Updated 10 years ago
- Bring fusion to everyone☆15Feb 6, 2020Updated 6 years ago
- My Idris2 solutions/attempts for Advent of Code 2020☆17Dec 16, 2020Updated 5 years ago
- Read Typescript source and write Purescript types☆16Oct 8, 2019Updated 7 years ago
- A simple, purely-functional programming language☆25Jun 11, 2022Updated 4 years ago
- A new way of editing code☆13Oct 3, 2013Updated 13 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Haskell fan fiction for ReasonML☆20Dec 30, 2018Updated 7 years ago
- A collection of Notes on GHC☆71Apr 14, 2019Updated 7 years ago
- Purescript community project ideas. a.k.a. What Purescript needs to take over the world☆17Feb 12, 2021Updated 5 years ago
- Miniature Haskell interactive environment for my kids to play around with☆13Aug 28, 2018Updated 8 years ago
- a framework for developing and performing audio-reactive visuals in p5.js, built on Electron.☆12May 6, 2021Updated 5 years ago
- A curated list of awesome Concur resources and related projects.☆10Dec 1, 2020Updated 5 years ago
- (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…☆33Jun 22, 2022Updated 4 years ago