Haskell implementation of the categorical abstract machine
☆14Apr 27, 2017Updated 9 years ago
Alternatives and similar repositories for cam
Users that are interested in cam are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Jun 12, 2019Updated 7 years ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 13 years ago
- An implementation of GraphQL in Haskell.☆21Jun 17, 2017Updated 9 years ago
- 🎨 Drawing images with lambda calculus☆12Aug 27, 2026Updated 2 months ago
- Shell.☆14May 8, 2017Updated 9 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆14Jan 12, 2018Updated 8 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated 2 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 2017Updated 9 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 8 years ago
- Quark - the editor the world doesn't need☆16Jan 8, 2024Updated 2 years ago
- A collection of Edward Kmett's packages in a single repository☆17Mar 14, 2021Updated 5 years ago
- AVL+ tree☆12Feb 11, 2020Updated 6 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 8 years ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 14 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.
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 8 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 9 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 7 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- A visualiser for lambda terms as rooted maps.☆13Dec 17, 2021Updated 4 years ago
- Haskell bindings to the sundown markdown library☆12Mar 29, 2019Updated 7 years ago
- Dependent Lens FRP and concurrent model in Agda☆12Sep 19, 2026Updated last month
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 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.
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 6 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 12 years ago
- Slides & demos for talks I do☆59Oct 3, 2025Updated last year
- operating system but in effekt (poc)☆18Sep 16, 2026Updated last month
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Aug 11, 2017Updated 9 years ago
- Static code analysis using graph-theoretic techniques☆27May 29, 2022Updated 4 years ago
- An untyped lambda calculus machine designed in FPGA.☆17Sep 22, 2018Updated 8 years ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Aug 13, 2020Updated 6 years ago
- ListT done right☆16Oct 11, 2023Updated 3 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.
- Compiler for the Rum language☆26Oct 2, 2019Updated 7 years ago
- Tensors of statically known size☆10Jan 10, 2023Updated 3 years ago
- Pure Haskell arbitrary length FFT library☆13Mar 5, 2020Updated 6 years ago
- Speculate laws about Haskell functions☆32Jan 30, 2025Updated last year
- ☆29Oct 23, 2019Updated 7 years ago
- Modern Haskell binding to the Notmuch mail indexer☆14Jun 4, 2025Updated last year
- https://www.gnu.org/software/mit-scheme/☆10Jun 15, 2012Updated 14 years ago
Are these results useful?