chris-taylor / SICP-in-HaskellView external linksLinks
☆49Jan 6, 2013Updated 13 years ago
Alternatives and similar repositories for SICP-in-Haskell
Users that are interested in SICP-in-Haskell are comparing it to the libraries listed below
Sorting:
- Algorithms from AIMA in Haskell☆336Aug 7, 2017Updated 8 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆89Jun 12, 2017Updated 8 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Jan 6, 2026Updated last month
- sicp solution of lisp korea group☆43Jan 24, 2012Updated 14 years ago
- Haskell subset compiled to the Beam machine.☆42Sep 1, 2014Updated 11 years ago
- S-expression-based syntax alternative for Haskell.☆22Jan 14, 2014Updated 12 years ago
- Mathematica Notebooks☆14Jun 16, 2013Updated 12 years ago
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆49Dec 3, 2022Updated 3 years ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 10 years ago
- OCaml backend for Agda☆39Oct 4, 2018Updated 7 years ago
- Yes, really!☆11May 8, 2015Updated 10 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- scraps and bits and bobs☆13Jul 28, 2022Updated 3 years ago
- Frege Interpreter☆15Jun 13, 2020Updated 5 years ago
- Arch Linux chroot for Chrome OS☆10Apr 18, 2014Updated 11 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- YesQL-style SQL database abstraction.☆27Sep 3, 2020Updated 5 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆128Feb 5, 2013Updated 13 years ago
- A Turing complete language 😉☆42Oct 3, 2020Updated 5 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- A tiny scheme interpreter in Haskell☆24Jul 14, 2019Updated 6 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- CSS parser and renderer.☆16Aug 19, 2020Updated 5 years ago
- A hands-on introduction to Support Vector Machines using Mathematica (c)☆13Sep 2, 2018Updated 7 years ago
- Tutorial for LiquidHaskell☆81Sep 30, 2024Updated last year
- Learn You a Lambda, a Haskell Tutorial☆47Dec 17, 2016Updated 9 years ago
- Exercism exercises in Racket.☆46Updated this week
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 10 years ago
- A scientific computing library for Rust.☆37Aug 4, 2014Updated 11 years ago
- Pure Type Systems for Functional Programming☆11Jun 11, 2014Updated 11 years ago
- Parsing for the pipes ecosystem☆29Apr 8, 2023Updated 2 years ago
- A DSL for generating GR(1) problems☆12Jul 27, 2021Updated 4 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Apr 26, 2019Updated 6 years ago
- HaXe mode for Emacs based on Fundamental Major Mode☆13May 25, 2015Updated 10 years ago
- A practical application launcher for impractical people☆12Dec 21, 2023Updated 2 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Mar 7, 2013Updated 12 years ago
- Erlang flavored by Some ML☆36Jan 14, 2012Updated 14 years ago