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
- Microemacs (aka uemacs) v2.0 text editor by Dave Conroy from 1985. Updated to compile on Windows and Linux.☆16Sep 15, 2022Updated 3 years ago
- ☆21Aug 30, 2023Updated 3 years ago
- BASIC Compiler in FORTRAN IV from University of Gießen☆14Jul 2, 2023Updated 3 years ago
- Base16 themes for the SuperCollider IDE (scide)☆15Feb 6, 2026Updated 6 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆13Updated this week
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 years ago
- 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
- Interactively evaluate regions, preceding variable definitions and quoted sexpressions☆10Dec 29, 2017Updated 8 years 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
- 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.
- Java Wrapper for Intel's librdrand Library.☆10Apr 24, 2017Updated 9 years ago
- Lifting Reduction Semantics through Syntactic Sugar☆13May 13, 2018Updated 8 years ago
- Python object inspector for Emacs☆13Feb 16, 2023Updated 3 years ago
- Lazy forms in Common Lisp☆11Aug 31, 2020Updated 6 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 2 years ago
- Learn Elm with its compiler as a copilot!☆13May 2, 2025Updated last year
- 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
- Daemons insipred by The Golden Compas☆13May 14, 2024Updated 2 years ago
- Shamir secret sharing in Haskell.☆15Oct 16, 2017Updated 8 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.
- 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
- ☆15Oct 21, 2020Updated 5 years ago
- Preview anything at point.☆11Jun 19, 2026Updated 2 months ago
- A set of threading macro's for our favorite operating system☆15Mar 29, 2022Updated 4 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 2 months ago
- All known Common Lisp games on github☆12Jan 29, 2019Updated 7 years ago
- The complete collection of accessor functions and patterns to access the elements in a compound type specifier☆13Dec 3, 2019Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A tool for flashing BL602 boards, work in progress☆14Dec 6, 2020Updated 5 years ago
- FOCAL interpreter in lex/yacc/c, which runs all of the classic Digital (DEC) FOCAL programs like Lunar Lander and Hamurabi.☆18May 26, 2026Updated 3 months ago
- Finite field polynomial arithmetic based on fast Fourier transforms☆19Nov 15, 2020Updated 5 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
- This project is to contain a listing of common theorems in elementary category theory.☆76Apr 29, 2020Updated 6 years ago