PaulGustafson / dcc
Maximally decentralized cryptocurrency
☆20Updated 4 years ago
Alternatives and similar repositories for dcc:
Users that are interested in dcc are comparing it to the libraries listed below
- Reference counting with linear types☆31Updated 7 months ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated this week
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated 4 months ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- A general purpose relational language☆20Updated 5 years ago
- ☆53Updated 4 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 4 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last year
- ⚡️Efficient implementation of Map with types as keys☆101Updated last year
- 🔫 GitHub application to suggest hints☆26Updated 4 years ago
- ☆89Updated 3 years ago
- A logical authorization system☆50Updated 3 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 3 years ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 4 years ago
- A pleasant PostgreSQL database layer for Haskell☆42Updated 4 months ago
- A structured concurrency library☆85Updated this week
- Ties the knot on data structures that reference each other by unique keys☆47Updated 7 months ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde☆24Updated 3 years ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆34Updated 3 years ago
- Wrap up Haskell tools☆15Updated 3 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆55Updated 2 years ago
- An automatic declarative ASCIInema recorder☆42Updated last year
- All the byte bashing you didn't know you wanted in Haskell.☆21Updated 3 years ago
- A structural editor for JSON values☆77Updated 2 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Pittsburgh Functional Programming Book Club featuring Category Theory for Programmers by Bartosz Milewski☆26Updated 2 years ago
- simple chan based stream programming with arrow interface (Chan + Arrow = Churro)☆32Updated 2 years ago