The source code for the "Build a Blockchain in Haskell" workshop given at Lambda Conf 2018
☆17Jun 5, 2018Updated 7 years ago
Alternatives and similar repositories for haskell-blockchain-workshop
Users that are interested in haskell-blockchain-workshop are comparing it to the libraries listed below
Sorting:
- LambdaConf 2018 workshop on building Telegram bots in Haskell.☆24Sep 15, 2019Updated 6 years ago
- Slides and projects for LambdaConf 2018 Workshop☆16Jun 3, 2018Updated 7 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Apr 19, 2019Updated 6 years ago
- Generic blockchain implementation in Haskell.☆27Nov 12, 2017Updated 8 years ago
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- Deep embedding of imperative programs with code generation☆23May 26, 2022Updated 3 years ago
- A type-safe parser, printer, and ADT for URLs and URIs.☆26Apr 28, 2022Updated 3 years ago
- Quick example of Eta on Android☆24May 24, 2017Updated 8 years ago
- Program imperatively using PureScript, State monad and lenses☆25Sep 9, 2018Updated 7 years ago
- Memoization monad transformer☆30May 7, 2024Updated last year
- Reasonable Haskell default import☆27Sep 12, 2022Updated 3 years ago
- ☆29Oct 23, 2019Updated 6 years ago
- Library for dealing with foreign data (JavaScript objects) in PureScript☆64Apr 27, 2022Updated 3 years ago
- Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.☆67Oct 2, 2022Updated 3 years ago
- Schnorr Protocol for Non-interactive Zero-Knowledge Proofs☆76Feb 10, 2020Updated 6 years ago
- Get all your structure and rip it apart.☆33Oct 21, 2018Updated 7 years ago
- Arithmetic circuits for zero knowledge proof systems☆83Apr 16, 2024Updated last year
- Type-Level Routing for PureScript☆41Jun 22, 2020Updated 5 years ago
- Quake 3 map viewer written in Haskell☆35Apr 18, 2017Updated 8 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Mar 19, 2016Updated 9 years ago
- deep learning course materials☆15Jun 24, 2020Updated 5 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 7 years ago
- Nehe Tutorials in Clojure using Penumbra☆29Sep 21, 2010Updated 15 years ago
- A titanium mobile app for iPhone and android to display current local weather.☆19Jun 11, 2013Updated 12 years ago
- Navier-Stokes implementation for Processing based on Jos Stam work☆13Feb 1, 2019Updated 7 years ago
- A CHIP-8 Emulator written in Haskell☆38Oct 5, 2017Updated 8 years ago
- Zero-Knowledge SNARKs from Linear-Size Universal and Updatable Structured Reference Strings☆48Apr 5, 2020Updated 5 years ago
- A Haskell to Coq compiler that represents effectful programs with the free monad☆45May 31, 2022Updated 3 years ago
- A convenient DSL for describing web routes☆42Nov 21, 2020Updated 5 years ago
- Sample titanium app which used google text to speech☆15Apr 30, 2011Updated 14 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- Type definitions and low level interface implementations for the W3C WebSocket API☆11Apr 27, 2022Updated 3 years ago
- Functor products, coproducts, and composition☆13Apr 27, 2022Updated 3 years ago
- Autonomous pursuit-evasion for swarms of ground robots. Built on ROS.☆11Dec 5, 2018Updated 7 years ago
- Preview the JS code generated by an Elm program☆10Oct 8, 2016Updated 9 years ago
- sliding fast fourier transform using haskell streaming☆13Feb 19, 2019Updated 7 years ago
- Low-level Haskell bindings to GLFW☆14Oct 13, 2025Updated 4 months ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago