ā13Mar 30, 2022Updated 4 years ago
Alternatives and similar repositories for acme-pcf-specification
Users that are interested in acme-pcf-specification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- š§ Liquid Haskell integration for Cabal and Stackā25May 30, 2019Updated 7 years ago
- A terminal UI for inspecting steps taken by a rewriting process. Useful for the optimization phase of a compiler, or even evaluators of sā¦ā22Oct 28, 2019Updated 6 years ago
- Closure calculus implementationā12Jun 25, 2019Updated 7 years ago
- Small implementation of OutsideIn(X) type checking algorithmā32Apr 13, 2015Updated 11 years ago
- A Pandoc filter that identifies Haskell code in Markdown, executes the code in GHCI and embeds the results in the returned Markdown.ā14Jul 11, 2019Updated 7 years 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.
- Show, plot and compare benchmark resultsā16May 14, 2026Updated 5 months ago
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskellā17Apr 13, 2019Updated 7 years ago
- Automatic type class law checking.ā24May 2, 2026Updated 5 months ago
- Use GHC's Memory Allocator from Cā12Feb 22, 2020Updated 6 years ago
- ā20Aug 23, 2025Updated last year
- High level AWS CloudFormation language and compilerā15Feb 28, 2019Updated 7 years ago
- Cabal-fmt vim plugin for formatting Cabal package filesā15Jun 30, 2020Updated 6 years ago
- Read and write images as massiv arraysā14Oct 23, 2021Updated 4 years ago
- An implementation of the OutsideIn(X) constraint-based type inference engine "as seen in GHC"ā17Jan 26, 2018Updated 8 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer ā¢ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Hackager tool for releasing Haskell packages to Hackageā34Oct 6, 2026Updated last week
- Haskell to Quil quantum instruction set compilerā11Jun 6, 2018Updated 8 years ago
- A thread-safe hash table in Haskellā15Feb 28, 2020Updated 6 years ago
- Manually constructed STG programs compiled with the standard GHC codegen backend.ā25Jan 10, 2021Updated 5 years ago
- Ask for solutions.ā19Aug 5, 2019Updated 7 years ago
- CLI tool for Hackageā27Aug 23, 2026Updated last month
- A library of assemblers and disassemblers derived from LLVM TableGen dataā26Oct 12, 2026Updated last week
- A Unison implementation of the game 2048 that uses the terminal as the user interface.ā15Feb 8, 2021Updated 5 years ago
- Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheckā37Jul 11, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient ā¢ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)ā12Mar 9, 2019Updated 7 years ago
- Classical Logic in Haskellā23Nov 19, 2025Updated 11 months ago
- typesafe implementation of tensor algebra in Haskellā13Feb 27, 2021Updated 5 years ago
- Label dependent dependent session typesā16May 2, 2024Updated 2 years ago
- Haskell port of the Tensor Algebra COmpilerā16Nov 18, 2019Updated 6 years ago
- ā12Feb 11, 2019Updated 7 years ago
- Simple C Haskell Compilerā22Feb 5, 2026Updated 8 months ago
- An append only list in a compact regionā25Sep 6, 2018Updated 8 years ago
- ā23May 22, 2020Updated 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.
- Example-based Haskell Documentation Engineā59Jun 16, 2019Updated 7 years ago
- ā23Jul 1, 2024Updated 2 years ago
- Simple, elegant, profunctorial, applicative validation for product types!ā18Aug 25, 2021Updated 5 years ago
- Monoidal stack machineā10Nov 25, 2018Updated 7 years ago
- Type-level assertion operatorsā16Mar 20, 2018Updated 8 years ago
- "Preload" Haskell packages to override themā12Dec 3, 2018Updated 7 years ago
- ZuriHac 2020 GHC typechecker plugins projectā19Aug 15, 2021Updated 5 years ago