☆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 3 months ago
- Class of data structures that can be unfolded.☆22Jan 6, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 12 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 3 months ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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
- 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
- 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Apr 20, 2015Updated 10 years ago
- Simple virtual machine for a stack-based assembler language.☆21Oct 15, 2017Updated 8 years ago
- The snake game.☆18Sep 20, 2015Updated 10 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☆51Jan 6, 2026Updated 3 months ago
- Idris Lib to interact with the DOM and Browser API for the JavaScript backend☆40Jan 15, 2018Updated 8 years ago
- S-expression-based syntax alternative for Haskell.☆22Jan 14, 2014Updated 12 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- 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