edwinb / Protocols
A DSL for describing and implementing communication protocols
☆83Updated 10 years ago
Alternatives and similar repositories for Protocols:
Users that are interested in Protocols are comparing it to the libraries listed below
- A proper network library for Idris, now that I know what I'm doing.☆58Updated 8 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Idris LLVM codegen factored out☆78Updated 7 years ago
- Drafts, notes and resources for adding linear typing to GHC.☆77Updated 4 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- Implementation of cryptographic primitives using Idris☆121Updated 6 years ago
- A hip inductive theorem prover!☆89Updated 3 years ago
- A port of QuickCheck to Idris☆57Updated 7 years ago
- DEPRECATED (Use: https://github.com/llvm-hs/llvm-hs-kaleidoscope )☆37Updated 7 years ago
- Various data structures for use in the Idris Language.☆95Updated 4 years ago
- Hopefully verifiable code generation in GHC☆94Updated 7 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆48Updated 2 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- Fork of official GHC repository.☆44Updated last year
- Distributed programming language that desugars to Morte☆92Updated 2 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 7 years ago
- A simple Idris program to blink the LED on an Arduino☆57Updated 3 years ago
- GNU bash backend for Idris☆53Updated 6 years ago
- Github project where I track everything related to my thesis☆26Updated 8 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- Recursion schemes for Idris☆64Updated 6 years ago
- Probabilistic computation in Idris☆34Updated 5 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 6 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- An experimental native Haskell graph database☆61Updated 6 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆72Updated 5 years ago