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
- ☆14Jan 12, 2018Updated 8 years ago
- Coq proof for the paper "Compiling a Fifty Year Journey"☆13Aug 22, 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.
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated 2 years ago
- Shell.☆14May 8, 2017Updated 9 years ago
- A collection of Edward Kmett's packages in a single repository☆17Mar 14, 2021Updated 5 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
- Simple extensible product☆36Dec 1, 2020Updated 5 years ago
- A haskell wrapper for neo4j's Cypher REST API.☆20Jul 31, 2012Updated 14 years ago
- Haskell bindings to the sundown markdown library☆12Mar 29, 2019Updated 7 years ago
- A demo of Functional Reactive Programming in Purescript☆11May 17, 2018Updated 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.
- Example repository setup that deploys GHCJS programs to GitHub Pages☆23Mar 15, 2019Updated 7 years ago
- A tutorial on writing a concurrency testing tool in Haskell☆12Nov 5, 2017Updated 8 years ago
- A type theory based theorem proving library☆12Apr 29, 2010Updated 16 years ago
- Monad transformers for combining local and global state with backtracking/backjumping/continuations☆19Jul 23, 2016Updated 10 years ago
- Modern Haskell binding to the Notmuch mail indexer☆14Jun 4, 2025Updated last year
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 7 years ago
- A small in-terminal dungeon crawler written in Haskell☆11Aug 29, 2018Updated 8 years ago
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 4 years ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- 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.
- Data store(s) for purescript applications. Use your own DSL to update the global state.☆19Oct 7, 2018Updated 8 years ago
- Pretty printer for Nix .drv files.☆15Mar 30, 2018Updated 8 years ago
- Modern library for working with URIs☆70Sep 29, 2026Updated 3 weeks ago
- Type-safe effectful state machines in Haskell☆96Sep 13, 2020Updated 6 years ago
- A testing framework for Standard ML.☆13Dec 29, 2025Updated 9 months ago
- Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992☆33Aug 13, 2020Updated 6 years ago
- Pure Haskell arbitrary length FFT library☆13Mar 5, 2020Updated 6 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Slides & demos for talks I do☆59Oct 3, 2025Updated last year
- 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.
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Edit is a monad for rewriting things.☆23Sep 9, 2020Updated 6 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 4 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 12 years ago
- The Event type, extracted from purescript-behaviors☆22Dec 26, 2020Updated 5 years ago
- Automated Testing and Package Uploading☆12Oct 3, 2018Updated 8 years ago
- Proclaim and encourage a stress-free environment in your open source project.☆12Aug 20, 2016Updated 10 years ago