Generic representation and manipulation of abstract syntax
☆27Mar 21, 2026Updated 3 weeks ago
Alternatives and similar repositories for syntactic
Users that are interested in syntactic 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 command-line tool for live monitoring☆26Feb 21, 2026Updated last month
- Deep embedding of imperative programs with code generation☆23May 26, 2022Updated 3 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- a parallel, safe, iterative list operation language for systems programming☆16Jul 9, 2020Updated 5 years ago
- Haskell to D3.js binding by deep EDSL approach.☆23Sep 20, 2014Updated 11 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.
- Resource-AWare Feldspar☆38May 27, 2022Updated 3 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 years ago
- Distributed systems execution emulation☆18Nov 28, 2018Updated 7 years ago
- An approach to managing composable effects, ala mtl/transformers/extensible-effects/Eff☆24Mar 22, 2018Updated 8 years ago
- Invertible parsing for S-expressions☆34Feb 4, 2026Updated 2 months ago
- Auto-parallelizing Pure Functional Language☆27Apr 29, 2019Updated 6 years ago
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Nov 4, 2022Updated 3 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- haskell library for monad transformers, like mtl's ReaderT/StateT, but more than one contained value/type☆17Mar 3, 2022Updated 4 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- ☆13Feb 2, 2017Updated 9 years ago
- Sum and Product types and such☆29Apr 27, 2020Updated 5 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- Typesafe Off-Heap data structures for GHC Haskell☆14Nov 10, 2017Updated 8 years ago
- Backpack examples repository☆14Aug 18, 2017Updated 8 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Jan 28, 2018Updated 8 years ago
- Servant dhall bindings☆19Dec 1, 2020Updated 5 years ago
- Web front UI for interactive Haskell projects☆34May 27, 2020Updated 5 years ago
- FEECa: Finite Element Exterior Calculus in Haskell☆34Jan 17, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An attempt to reimagine knowledge interaction.☆18Sep 27, 2020Updated 5 years ago
- haskell memory☆49Aug 14, 2023Updated 2 years ago
- A tool for translating imperative programs to CSP.☆13Feb 7, 2017Updated 9 years ago
- Robust prettyprinter for output of auto-generated Show instances☆17Dec 13, 2019Updated 6 years ago
- ☆13Feb 12, 2025Updated last year
- Fast ByteString Builder☆21Feb 28, 2025Updated last year
- Type-safe library for generating haskell source code☆28Jan 28, 2018Updated 8 years ago
- A .NET Bridge for Haskell☆24Aug 26, 2016Updated 9 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆24Mar 30, 2011Updated 15 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Haskell implementation of a nix binary cache and client.☆13Jan 4, 2018Updated 8 years ago
- Building self-contained (offline-only) Haskell program tarballs; only Stack+GHC needed☆10Jun 8, 2017Updated 8 years ago
- FEAT☆25May 26, 2018Updated 7 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16Mar 31, 2026Updated 2 weeks ago
- Project set up for playing around with mobile haskell☆14May 8, 2018Updated 7 years ago