☆22Jun 25, 2015Updated 11 years ago
Alternatives and similar repositories for MiniFeldspar
Users that are interested in MiniFeldspar 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 generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Jan 31, 2026Updated 9 months ago
- A simple ML dialect☆10Jan 2, 2017Updated 9 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Simple adjunctions☆45Jan 10, 2026Updated 9 months ago
- Practical type inference for arbitrary-rank types☆11May 25, 2019Updated 7 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.
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆21Sep 20, 2026Updated last month
- Desugaring HSE AST☆10May 10, 2013Updated 13 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- Lens Proposal for a Haskell-like Language☆14Jul 13, 2012Updated 14 years ago
- Very simple job scheduler for Haskell☆10Aug 23, 2012Updated 14 years ago
- A Logic Framework in Scala☆15Aug 13, 2015Updated 11 years ago
- An implementation of structural subtyping of records and functions☆13Jul 14, 2018Updated 8 years ago
- Scala/Spark reference implementation of the Teckel v3.0 specification — declarative YAML ETL pipelines on Apache Spark.☆12Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A DSL for Linear Temporal Logic + Interface with Z3 for solving☆11Mar 12, 2015Updated 11 years ago
- Staged multi-result supercompilation (a model in Agda)☆12May 2, 2018Updated 8 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 8 years ago
- Mixfix add-on for Scala parser combinators☆11Jan 19, 2012Updated 14 years ago
- Netlist and Verilog Haskell Package☆13Oct 6, 2019Updated 7 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 5 years ago
- Haskell suite library for package management and integration with Cabal☆20May 2, 2018Updated 8 years ago
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆73Feb 5, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Types for the least and greatest fixed points of functors.☆15Oct 11, 2026Updated 3 weeks ago
- Unfoldable functors☆16Oct 18, 2026Updated 2 weeks ago
- Idris YAML lib☆10Jan 25, 2018Updated 8 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 7 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 3 years ago
- ☆14Feb 15, 2017Updated 9 years ago
- Extensible protocols for Scala☆13Jul 8, 2016Updated 10 years ago
- ☆12Dec 11, 2014Updated 11 years ago
- Probability distributions in Elm-lang☆14Oct 31, 2015Updated 11 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.
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Sep 10, 2026Updated last month
- It's a blog. Insert clever Haskell type signature here.☆24Feb 22, 2017Updated 9 years ago
- Some scripts for analyzing IMP programs with the Z3 automatic theorem prover, originally written for my Compose 2016 talk.☆15Feb 9, 2016Updated 10 years ago
- Implementation of Univalence in Cubical Sets☆145Jul 19, 2015Updated 11 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆125Jan 29, 2022Updated 4 years ago
- Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)☆163Mar 23, 2021Updated 5 years ago
- Types and classes for defining JSON schemas.☆23Oct 3, 2018Updated 8 years ago