PaulGustafson / dccLinks
Maximally decentralized cryptocurrency
☆20Updated 5 years ago
Alternatives and similar repositories for dcc
Users that are interested in dcc are comparing it to the libraries listed below
Sorting:
- Haskell In New Clothes☆110Updated 5 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 5 years ago
- The theory of groups☆81Updated 2 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 6 years ago
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 3 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆28Updated 3 months ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 5 years ago
- Job descriptions for hiring☆27Updated 2 years ago
- Get a Brain☆24Updated 6 years ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 4 years ago
- A typed, polyglot, functional language☆211Updated last week
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆85Updated 9 months ago
- A Turing complete language 😉☆42Updated 5 years ago
- A small and expressive dependently typed language☆130Updated 5 years ago
- An upcoming operating system built on Type-Theory☆43Updated 5 years ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆35Updated 4 years ago
- Specification of the Formality proof and programming language☆41Updated 3 years ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 5 months ago
- An automatic declarative ASCIInema recorder☆46Updated 2 months ago
- Build terminal applications using functional reactive programming (FRP) with Reflex FRP.☆152Updated last month
- Reference counting with linear types☆32Updated 2 months ago
- a pragmatic point-free theorem prover assistant☆143Updated 4 months ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 2 weeks ago
- A bittorrent client, for learning purposes☆108Updated 6 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 4 years ago
- Efficient implementation of the implicit treap data structure☆63Updated 4 years ago
- Get a GUI fast in any language under the sea!☆47Updated 3 years ago
- Cap'n Proto for Haskell☆94Updated 2 years ago
- Text generation language☆34Updated 4 months ago