Risto-Stevcev / haskell-church-encodingsView external linksLinks
Church encodings written in Haskell
☆25Nov 17, 2019Updated 6 years ago
Alternatives and similar repositories for haskell-church-encodings
Users that are interested in haskell-church-encodings are comparing it to the libraries listed below
Sorting:
- A compiler for a simple language using llvm☆37Jun 14, 2023Updated 2 years ago
- Launch and manage your Tmux sessions from Dhall files.☆17Nov 30, 2020Updated 5 years ago
- Simple C Haskell Compiler☆22Feb 5, 2026Updated last week
- ⚖️ Trial Data Type☆21Jun 13, 2025Updated 8 months ago
- Just a place to throw general notes that don't belong to any particular library☆21Oct 25, 2014Updated 11 years ago
- Bind The Gap: FP digital magazine☆21Jan 11, 2021Updated 5 years ago
- a cute and simple golden test runner for CLI applications☆46Jul 24, 2025Updated 6 months ago
- A standard stack for PureScript☆24Jul 5, 2019Updated 6 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Mar 3, 2023Updated 2 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆34Jan 20, 2026Updated 3 weeks ago
- Material for Haskell training☆37Jan 23, 2023Updated 3 years ago
- Strategy game in Haskell (PRs: )☆50Feb 6, 2020Updated 6 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- Haskell library for emojis☆30Jun 18, 2024Updated last year
- Quake 3 map viewer in Haskell using GPipe☆31Sep 25, 2017Updated 8 years ago
- Projects to get started with Clash☆32Jan 14, 2026Updated last month
- small programming language. pls be gentle.☆39Feb 3, 2026Updated 2 weeks ago
- Values with two possibilities☆27Sep 17, 2022Updated 3 years ago
- Symbol manipulation☆37Apr 17, 2023Updated 2 years ago
- A type class which captures stack-safe monadic tail recursion☆38May 17, 2022Updated 3 years ago
- Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).☆35Jan 7, 2026Updated last month
- Python client for Radarly API☆10Aug 3, 2023Updated 2 years ago
- ☆41Apr 29, 2020Updated 5 years ago
- Custom otelcol-contrib with exporter to telegram. And handler for loguru☆14Apr 8, 2025Updated 10 months ago
- Gnome extension to quickly set pipewire's samplerate and buffer size☆16Dec 28, 2025Updated last month
- ☆15Sep 19, 2021Updated 4 years ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆43Updated this week
- Applicative-style validation☆45Apr 27, 2022Updated 3 years ago
- Split integers into digits, blazingly fast☆14Dec 28, 2025Updated last month
- A basic WEB chat based on Haskell, HTMX and Tailwindcss☆11Sep 27, 2022Updated 3 years ago
- Upload packages or documentation to a hackage server☆11Jul 18, 2022Updated 3 years ago
- GHC plugin for hlint☆11Oct 4, 2023Updated 2 years ago
- Raspberry pi internet radio and mp3 player with bluetooth.☆10Apr 30, 2020Updated 5 years ago
- Dhall types and default values for the alacritty terminal emulator☆12May 9, 2021Updated 4 years ago
- Handle POSIX cron schedules.☆13Jan 14, 2026Updated last month
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 3 years ago
- Haskell bindings to the Polar query engine and Oso authorization library☆12Feb 15, 2022Updated 4 years ago
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 2 months ago
- GHCJS binding for three.js☆10Nov 23, 2017Updated 8 years ago