PaulGustafson / dccLinks
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
Sorting:
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- A logical authorization system☆51Updated 3 years ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 4 years ago
- Reference counting with linear types☆31Updated 11 months ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Pure haskell encoding of MLIR for printing, parsing, and mutating MLIR within haskell☆16Updated 4 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated last month
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- Tensors in Haskell☆40Updated 4 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆68Updated last month
- Efficient implementation of the implicit treap data structure☆62Updated 3 years ago
- Haskell In New Clothes☆110Updated 4 years ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆34Updated 3 years ago
- A Haskell IDE for Visual Studio Code.☆26Updated 2 months ago
- Đ (Edh) - The next-big-things ought to happen with Haskell not C/C++☆28Updated last year
- A structured concurrency library☆85Updated 3 months ago
- A pleasant PostgreSQL database layer for Haskell☆42Updated 2 weeks ago
- A JSON schema language☆26Updated last month
- Stroll: an experimental build system☆40Updated 2 years ago
- Type-Level Programming in Rust☆27Updated 3 years ago
- Get a Brain☆24Updated 5 years ago
- ☆88Updated 3 years ago
- Haskell code complexity and quality measurement☆61Updated 2 years ago
- Automatic piecewise-mutable references for your types☆42Updated 4 years ago
- A Haskell front-end framework☆38Updated 5 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- Ties the knot on data structures that reference each other by unique keys☆47Updated 10 months ago
- A monad, perhaps.☆32Updated 5 years ago