☆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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Algorithms from AIMA in Haskell☆335Aug 7, 2017Updated 8 years ago
- sicp solution of lisp korea group☆43Jan 24, 2012Updated 14 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 2 months ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros☆18Mar 7, 2013Updated 13 years ago
- Haskell subset compiled to the Beam machine.☆42Sep 1, 2014Updated 11 years ago
- Arch Linux chroot for Chrome OS☆10Apr 18, 2014Updated 11 years ago
- KU Leuven Haskell Compiler☆15Aug 16, 2021Updated 4 years ago
- nominal sets in haskell☆19Nov 18, 2018Updated 7 years ago
- Implementation of Dynamic Time Warping in Haskell☆18Jan 25, 2023Updated 3 years ago
- Functional Lenses in C++☆21Jul 31, 2011Updated 14 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆129Feb 5, 2013Updated 13 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated 2 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Mock++: A Portable Mocking Framework for C++11☆18Jul 26, 2020Updated 5 years ago
- Learn You a Lambda, a Haskell Tutorial☆47Dec 17, 2016Updated 9 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- Tutorial for LiquidHaskell☆82Sep 30, 2024Updated last year
- Jhc: Haskell Compiler☆39Aug 31, 2015Updated 10 years ago
- A basic Parsec-like monadic parser combinator library implementation in Racket.☆49Dec 3, 2022Updated 3 years ago
- An implementation of wxAsteroids in javascript using UHC (Utrecht Haskell Compiler)☆12Dec 1, 2014Updated 11 years ago
- Working through Type-Driven Development with Idris☆26Sep 7, 2016Updated 9 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Apr 20, 2015Updated 10 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Simple virtual machine for a stack-based assembler language.☆21Oct 15, 2017Updated 8 years ago
- A tiny scheme interpreter in Haskell☆24Jul 14, 2019Updated 6 years ago
- A practical application launcher for impractical people☆12Dec 21, 2023Updated 2 years ago
- Timing attack resistant type systems☆24May 13, 2015Updated 10 years ago
- Constraint-based generics☆50Jan 6, 2026Updated 2 months ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Apr 26, 2019Updated 6 years ago
- S-expression-based syntax alternative for Haskell.☆22Jan 14, 2014Updated 12 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- [UNMAINTAINED] The Concurrent Schemer☆120Sep 25, 2015Updated 10 years ago
- SML implementation of System T from PFPL.☆11Jun 28, 2017Updated 8 years ago
- Yes, really!☆11May 8, 2015Updated 10 years ago
- A Turing complete language 😉☆42Oct 3, 2020Updated 5 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago