A reference sheet for the basics of the mind-expanding Haskell language ^_^
☆40Apr 5, 2020Updated 6 years ago
Alternatives and similar repositories for HaskellCheatSheet
Users that are interested in HaskellCheatSheet are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Reference sheet for the Coq language.☆17Sep 16, 2020Updated 5 years ago
- ☆21Aug 30, 2023Updated 2 years ago
- Base16 themes for the SuperCollider IDE (scide)☆15Feb 6, 2026Updated 6 months ago
- ☆13Aug 1, 2026Updated last week
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A library for creating and managing windows in DOS, written in ASM☆12Apr 23, 2023Updated 3 years ago
- Exploration of primes, factorization and number theory through haskell☆10Oct 10, 2016Updated 9 years ago
- Simplify extended Emacs unit test framework☆13May 16, 2026Updated 2 months ago
- Regionalized Value State Dependence Graph written in Rust☆12Nov 17, 2019Updated 6 years ago
- a forth☆12Feb 9, 2025Updated last year
- A temporary branch of Solo5 (http://github.com/Solo5/solo5) that contains "nabla-run", a seccomp-based tender for Solo5. We are working o…☆12Nov 30, 2018Updated 7 years ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 3 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 8 years ago
- Get/show dad jokes in Emacs☆10Sep 28, 2017Updated 8 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 2 years ago
- Simple task runner☆13Jan 10, 2026Updated 7 months ago
- Mirror of my Go Kyber implementation.☆16May 30, 2018Updated 8 years ago
- Learn Elm with its compiler as a copilot!☆13May 2, 2025Updated last year
- Edit document as other format, in Emacs, using Pandoc☆16Feb 21, 2022Updated 4 years ago
- GameKernel is a command-driven "kernel" of game functionality. Its goal is to be a fast, portable, and language-friendly.☆10Mar 10, 2021Updated 5 years 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 10 years ago
- Learn me a Haskell, finally. (And you can too!)☆48Sep 4, 2024Updated last year
- Daemons insipred by The Golden Compas☆13May 14, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Shamir secret sharing in Haskell.☆15Oct 16, 2017Updated 8 years ago
- Demo of the use of shared_ptr☆10May 3, 2023Updated 3 years ago
- Interface Repository for omniORB, a CORBA ORB for C++ and Python.☆11May 15, 2024Updated 2 years ago
- superfast navigation and remote control for Emacs source code buffers (based on Emacs occur-mode)☆14May 9, 2022Updated 4 years ago
- A set of threading macro's for our favorite operating system☆15Mar 29, 2022Updated 4 years ago
- UbiGraph Server is a system for visualizing dynamic graphs☆12May 10, 2018Updated 8 years ago
- GHC + Cabal docker image☆12Feb 1, 2022Updated 4 years ago
- Collection of Cryptographically Secure PseudoRandom Number Generators written in pure Rust☆11Jun 29, 2026Updated last month
- All known Common Lisp games on github☆12Jan 29, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A tool for flashing BL602 boards, work in progress☆14Dec 6, 2020Updated 5 years ago
- Prose Markup Language☆10Mar 31, 2023Updated 3 years ago
- Major mode for editing elisp docstrings☆12Mar 13, 2017Updated 9 years ago
- ☆12Sep 27, 2020Updated 5 years ago
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- ☆12Sep 23, 2021Updated 4 years ago
- Making VSCode extensions ON-THE-FLY, without the ceremony of creating a new node project!☆15Feb 21, 2023Updated 3 years ago