Connecting Haskell projects, mentors, and learners!
☆17Apr 2, 2018Updated 7 years ago
Alternatives and similar repositories for haskell-projects
Users that are interested in haskell-projects are comparing it to the libraries listed below
Sorting:
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 7 years ago
- Blockchain Technology for the Working Mathematician☆24Jun 23, 2017Updated 8 years ago
- A simple forum software☆16May 27, 2018Updated 7 years ago
- ☆20Apr 11, 2018Updated 7 years ago
- Utility monad stack to be used in servant☆46Mar 28, 2017Updated 8 years ago
- Clear My Record is a project to assist people the process of expunging their criminal convictions.☆10Nov 5, 2018Updated 7 years ago
- Moot is a CFP and event management system!☆66Oct 28, 2018Updated 7 years ago
- A web framework that integrates Servant, EKG, fast-logger, wai-cli… | now on https://codeberg.org/valpackett/magicbane☆118Oct 16, 2022Updated 3 years ago
- Code auditing mode for Emacs☆35Feb 22, 2019Updated 7 years ago
- Haskell + Azure DevOps Demo☆30Nov 7, 2020Updated 5 years ago
- Simple recipes for lazy programmers.☆37Oct 8, 2020Updated 5 years ago
- An experimental rust zksnarks compiler with embeeded bellman-bn128 prover☆41May 29, 2021Updated 4 years ago
- A collection of simple building blocks for a fully-fledged Haskell application☆132Jul 17, 2013Updated 12 years ago
- Reverse proxy that handles authentication☆37Sep 9, 2018Updated 7 years ago
- gRPC over HTTP/2 for Haskell, client and server☆39Jun 28, 2024Updated last year
- Flappy Bird Haskell Implementation☆33Feb 15, 2018Updated 8 years ago
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 5 months ago
- SageMath implementation of the Isogeny-Based PKE FESTA☆10Aug 18, 2023Updated 2 years ago
- A coroutine runtime for native luasocket code☆10Jan 16, 2025Updated last year
- A platform for storing large semantic networks on MongoDB☆22Jun 20, 2011Updated 14 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- This RocketchatApp validates uploaded images against the Microsoft PhotoDNA cloud service and quarantines those identified as child abuse…☆12Nov 17, 2025Updated 3 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Web application to quickly and easily log your weightlifting sessions☆39Apr 28, 2016Updated 9 years ago
- Continuously varying values, made easy :)☆42Oct 21, 2019Updated 6 years ago
- 📚 A softer alternative to Haddock☆106Jan 27, 2020Updated 6 years ago
- ☆10Jun 14, 2020Updated 5 years ago
- Materials for the virtual NIMBLE workshop, May 26-28, 2021. For logistical information, please look below the file listing.☆14May 28, 2021Updated 4 years ago
- Rigorous computation of the endomorphism ring of a Jacobian☆11Jul 31, 2025Updated 7 months ago
- ☆10May 2, 2022Updated 3 years ago
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Tomatoes or something☆13Apr 7, 2018Updated 7 years ago
- ☆11Aug 15, 2023Updated 2 years ago
- This project is a conversion of the source code from VHDL BY EXAMPLE by Blaine C. Readler, and some slightly modfied examples from the C…☆10Sep 4, 2017Updated 8 years ago
- ☆10Mar 2, 2021Updated 5 years ago
- A RWS like monad without the slow writer stuff☆12Jun 17, 2023Updated 2 years ago
- Magic Wormhole for Haskell☆11Apr 23, 2024Updated last year
- A graduate course on distributed systems☆11Jan 6, 2024Updated 2 years ago
- An attempt at writing a Lattice Boltzmann CFD simulator in Rust☆10Apr 29, 2019Updated 6 years ago