tonyfloatersu / solution-haskell-craft-of-FPView external linksLinks
My solution to ‘Haskell: The Craft of Functional Programming (3rd Edition)’
☆14Aug 11, 2017Updated 8 years ago
Alternatives and similar repositories for solution-haskell-craft-of-FP
Users that are interested in solution-haskell-craft-of-FP are comparing it to the libraries listed below
Sorting:
- xmonad in Coq☆46Jul 9, 2012Updated 13 years ago
- SIGPLAN website☆13Feb 11, 2026Updated last week
- Java Wrapper for Intel's librdrand Library.☆10Apr 24, 2017Updated 8 years ago
- A simple LED sequencer based Graduation Cap☆13Jul 16, 2022Updated 3 years ago
- ☆17Dec 29, 2012Updated 13 years ago
- A dumb little utility to streamline the use of ssh-agent with PIV-enabled YubiKeys on OS X.☆12Dec 3, 2020Updated 5 years ago
- Import SRFI metadata into the Scheme API☆11Jan 19, 2026Updated 3 weeks ago
- rust wrapper for libyubihsm☆13Updated this week
- Copy Neo4j data to Azure Cosmos DB☆13Nov 25, 2021Updated 4 years ago
- MyAnimeList.net command-line client.☆14Feb 21, 2015Updated 10 years ago
- Assembly/Shellcode☆14Oct 28, 2014Updated 11 years ago
- A 2D side-scrolling platformer written in Python using cocos2d, pyglet, and pymunk.☆17Nov 23, 2011Updated 14 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 2 weeks ago
- Implementation of Kuznechik cipher Russian standard GOST R 3412-2015 - 128 bit block size / 256 bit key - 8,16, 32, 64, 128-bit x86 versi…☆10Jun 27, 2016Updated 9 years ago
- Writeup that goes along with this:☆41Jan 18, 2018Updated 8 years ago
- Interface Repository for omniORB, a CORBA ORB for C++ and Python.☆11May 15, 2024Updated last year
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Remake of the classical game Sokoban in Elm☆11Dec 28, 2016Updated 9 years ago
- Conference on Homotopy Type Theory 2023☆13Jan 24, 2024Updated 2 years ago
- LaTeX-style unicode input for Visual Studio Code☆11Mar 28, 2024Updated last year
- Physics, if you already knew physics. Open source Physics book Obsidian vault.☆14Nov 18, 2022Updated 3 years ago
- My WIP Lisp implementation, used to try out ideas and better understand the design decisions involved in creating languages.☆12Aug 8, 2017Updated 8 years ago
- Curso Docker Deep Dive @ Neotech☆13May 22, 2020Updated 5 years ago
- Qt client for Lichat☆12Feb 6, 2022Updated 4 years ago
- Shamir secret sharing in Haskell.☆15Oct 16, 2017Updated 8 years ago
- Lilith is an open-source programming language written in C.☆12Feb 8, 2025Updated last year
- Temporal Pathway Synthesizer☆17Jun 28, 2024Updated last year
- Minimal, efficient proof language☆14May 28, 2019Updated 6 years ago
- Artificial Neural Network implementation in Common Lisp☆10Mar 3, 2019Updated 6 years ago
- Tina, a programming language with typed algebraic effects and handlers.☆13Aug 13, 2021Updated 4 years ago
- Telegram Bot that imitates @lerax (@ryukinix) behavior, 'cause he is a legend.☆11Jul 23, 2020Updated 5 years ago
- This is the implementation of word aligner using Hidden Markov Model☆10Jun 24, 2019Updated 6 years ago
- Rocqet proof language☆28Aug 11, 2025Updated 6 months ago
- Listener for PostgreSQL notifications that dispatch via command execution☆14Sep 27, 2022Updated 3 years ago
- Squares for Lisp Game Jam 2018☆20Oct 14, 2019Updated 6 years ago
- Course: Netfilter/Iptables☆10Feb 11, 2019Updated 7 years ago
- Operating Systems Laboratory - Minix☆10Oct 12, 2015Updated 10 years ago
- Handle pattern with servant to build flexible web-apps in Haskell☆16Nov 22, 2022Updated 3 years ago
- A WIP decompilation of Mega Man X4 for the PS1.☆22Aug 25, 2025Updated 5 months ago