just to keep a version of my code as I attempt to learn haskell.
☆23May 3, 2016Updated 9 years ago
Alternatives and similar repositories for haskellprojects
Users that are interested in haskellprojects are comparing it to the libraries listed below
Sorting:
- just an example of how simple ADTs should have JSON serialization and deserialization automatically derived☆12Jan 22, 2017Updated 9 years ago
- Algebraic UI's in Purescript☆15Dec 4, 2020Updated 5 years ago
- A simple console debugger for PureScript functions☆22Oct 17, 2018Updated 7 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- Source Layouting Engine☆11Mar 7, 2021Updated 4 years ago
- A DSL for generating GR(1) problems☆12Jul 27, 2021Updated 4 years ago
- A simple and elegant ray tracer.☆14Jun 17, 2024Updated last year
- Parser and type analysis for the Go programming language☆12Aug 3, 2023Updated 2 years ago
- Generic implementation of different CFA families based on monadic decomposition☆23Jan 16, 2013Updated 13 years ago
- x86-64 assembly as a Haskell EDSL☆36Sep 16, 2010Updated 15 years ago
- ☆10Jan 24, 2016Updated 10 years ago
- Fully proved small C functions (examples for verification course).☆17Jun 26, 2017Updated 8 years ago
- A toolkit for creating REST services with Node and PureScript☆32Jan 26, 2017Updated 9 years ago
- PureScript compiler written in PureScript (On hold / inactive)☆61Nov 2, 2014Updated 11 years ago
- An editor for interactively building natural deduction proofs☆20Sep 24, 2018Updated 7 years ago
- Object algebras vs. free monads, or type classes vs. ADTs☆17Jun 9, 2017Updated 8 years ago
- A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad☆14May 20, 2017Updated 8 years ago
- A simple Prolog interpreter☆42Jan 14, 2022Updated 4 years ago
- Materials for my LambdaConf 2015 Workshop☆17May 22, 2015Updated 10 years ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- Lambda calculus at the type level.☆20Jul 22, 2017Updated 8 years ago
- A functional reactive GUI for John Conway's Game of Life.☆25Jun 20, 2016Updated 9 years ago
- Beginner friendly demo of a blog comments app☆20Aug 9, 2017Updated 8 years ago
- Hakyll wrapper for the Elm (http://elm-lang.org) compiler☆15Sep 2, 2014Updated 11 years ago
- A language-integrated proof assistant, for and in Racket☆39Aug 26, 2016Updated 9 years ago
- ☆21May 9, 2017Updated 8 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- Fun, interesting, and thought-provoking examples of relational Scheme interpreters at work☆14Mar 6, 2015Updated 10 years ago
- A native PureScript virtual DOM implementation.☆49Apr 23, 2017Updated 8 years ago
- A Dependently Typed Programming Language☆26Jul 24, 2020Updated 5 years ago
- A compiler for Coq☆26Feb 22, 2013Updated 13 years ago
- A library for working with the PureScript functional core.☆24Jun 9, 2020Updated 5 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Jan 11, 2016Updated 10 years ago
- The Scotch programming language☆44Oct 1, 2012Updated 13 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- A Prelude with names from category theory☆51Sep 5, 2016Updated 9 years ago
- Tuple data type and utility functions☆26Sep 17, 2022Updated 3 years ago
- An "extensible coeffect" system built out of comonads and Day convolution.☆36Aug 16, 2020Updated 5 years ago