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:
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- The theory of groups☆80Updated last year
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- Haskell In New Clothes☆110Updated 5 years ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- Accessing Agda's interaction mode via command line & external tactic for Agda.☆26Updated 4 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 3 months ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 5 years ago
- Functional teaching language for use in a discrete mathematics course☆170Updated 2 months ago
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- A small and expressive dependently typed language☆130Updated 5 years ago
- A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.☆32Updated 5 years ago
- An automatic declarative ASCIInema recorder☆46Updated 3 months ago
- A Haskell IDE for Visual Studio Code.☆26Updated 2 weeks ago
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- A Turing complete language 😉☆42Updated 4 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆113Updated 5 years ago
- Build terminal applications using functional reactive programming (FRP) with Reflex FRP.☆146Updated last week
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆34Updated 4 years ago
- The Haskell Phrasebook: a quick intro to Haskell via small annotated example programs☆218Updated 3 years ago
- ⚖️ Trial Data Type☆21Updated 2 months ago
- A tiny neural network 🧠☆127Updated 7 years ago
- I wanted to make a nicer sticker for Munihac, then things got out of hand.☆151Updated 7 months ago
- A continuation of Stephen Diehl's Write You a Haskell☆161Updated 4 years ago
- A bittorrent client, for learning purposes☆108Updated 5 years ago
- A beginner's guide to Haskell optimization☆64Updated 7 years ago
- Efficient implementation of the implicit treap data structure☆62Updated 4 years ago
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 4 years ago
- ☆90Updated 3 years ago