Cracking the Coding Interview 6th Ed. Haskell Solutions
☆21Jun 15, 2022Updated 3 years ago
Alternatives and similar repositories for CtCI-6th-Edition-Haskell
Users that are interested in CtCI-6th-Edition-Haskell are comparing it to the libraries listed below
Sorting:
- ☆12Dec 28, 2020Updated 5 years ago
- Elements of Group Theory☆16Oct 18, 2020Updated 5 years ago
- An implementation of algebraic graphs in PureScript☆19Jan 22, 2023Updated 3 years ago
- ☆18Jul 24, 2025Updated 7 months ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 6 years ago
- Project code from Learning ClojureScript☆21May 7, 2018Updated 7 years ago
- A tiny EDSL for making slides in PureScript☆26Apr 27, 2017Updated 8 years ago
- Developing an E-commerce Backend with Go: My First Project☆10Mar 27, 2024Updated last year
- Generic programming using an approach inspired by GHC.Generics☆41Mar 25, 2021Updated 4 years ago
- 2D-платформер на Python (библиотека Pygame) на русском и английском языках с сюжетом, открытым миром, сохранениями и несколькими концовка…☆11Dec 10, 2023Updated 2 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- Mobile app for kemsu☆23Jan 27, 2025Updated last year
- Comprehensive framework to build network actors and distributed applications☆44Mar 14, 2019Updated 6 years ago
- Prolog HTTPS Servers☆39Feb 11, 2018Updated 8 years ago
- xmonad in Coq☆46Jul 9, 2012Updated 13 years ago
- Constraint-based generics☆50Jan 6, 2026Updated 2 months ago
- Where I try code from Haskell (etc) books, articles, etc.☆36Jul 21, 2025Updated 7 months ago
- Type-Level Routing for PureScript☆41Jun 22, 2020Updated 5 years ago
- Translation from FOL to LTL+Past and LTL, via separation of LTL+Past☆10May 22, 2024Updated last year
- ☆10Feb 3, 2020Updated 6 years ago
- Algebra of Programming in Agda: Dependent Types for Relational Program Derivation☆85Jul 11, 2016Updated 9 years ago
- Learning Scala Programming, published by Packt☆11Jan 30, 2023Updated 3 years ago
- coursework from classes at UW☆12May 14, 2019Updated 6 years ago
- Emits code crossreference data for Haskell sources.☆102Feb 14, 2025Updated last year
- Monorepo for a multi-player game engine, and game examples☆42Feb 13, 2022Updated 4 years ago
- Generate realistic looking fake data☆47May 7, 2021Updated 4 years ago
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 4 years ago
- A raytracer written in Haskell☆10Aug 26, 2015Updated 10 years ago
- Phylogenetic Application written in OCaml and C☆19Jan 29, 2020Updated 6 years ago
- Desktop Tamagotchi 🐱☆11Nov 9, 2025Updated 4 months ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Google Calendar API v3. Haskell implementation☆12Sep 27, 2014Updated 11 years ago
- Yet another parser for the ABC Notation☆11Dec 8, 2025Updated 3 months ago
- ☆11Jul 20, 2016Updated 9 years ago
- A production landing page for Alrayada company☆10Nov 21, 2024Updated last year
- Ludum Dare #37☆14May 24, 2021Updated 4 years ago
- Flutter Gantt chart UI library☆11Mar 9, 2023Updated 3 years ago
- Orchestrator managing Erlang containers and routing Erlang Distribution through itself.☆13Dec 19, 2025Updated 2 months ago