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:
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- Haskell In New Clothes☆110Updated 4 years ago
- Éole, a Lévy-optimal lambda calculus evaluator without oracle☆112Updated 5 years ago
- a pragmatic point-free theorem prover assistant☆141Updated last year
- An automatic declarative ASCIInema recorder☆45Updated 2 months ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- Reference counting with linear types☆31Updated last year
- 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
- Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)☆69Updated 4 months ago
- Finite state machines as graphs☆60Updated 5 years ago
- The theory of groups☆80Updated last year
- Symbolic formula representation and solver interaction library☆166Updated 2 weeks ago
- A typed, polyglot, functional language☆204Updated this week
- Job descriptions for hiring☆27Updated last year
- A visualization of key structures in abstract algebra.☆156Updated 5 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 3 months ago
- Functional teaching language for use in a discrete mathematics course☆169Updated last month
- A λ-calculus grammar/interpretor written using LALRPOP and `λ!`.☆85Updated last year
- Simple, elegant, profunctorial, applicative validation for product types!☆19Updated 3 years ago
- Build terminal applications using functional reactive programming (FRP) with Reflex FRP.☆145Updated 8 months ago
- A Haskell IDE for Visual Studio Code.☆26Updated last month
- Lecture notes for teaching Haskell to those who want to read it☆55Updated 3 years ago
- outline & examples for my ZuriHac 2020 talk, Languages All the Way Down☆20Updated 5 years ago
- I wanted to make a nicer sticker for Munihac, then things got out of hand.☆150Updated 6 months ago
- Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"☆114Updated 6 years ago
- theseus, functional programming language with fully reversible computation☆124Updated 6 years ago
- Specification of the Formality proof and programming language☆41Updated 2 years ago
- You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?☆34Updated 4 years ago