☆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 5 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
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆21Feb 15, 2026Updated 5 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.
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- An implementation of structural subtyping of records and functions☆13Jul 14, 2018Updated 8 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- A Logic Framework in Scala☆15Aug 13, 2015Updated 10 years ago
- A library for developing languages with scoped binders (like forall or lambda).☆28Aug 21, 2018Updated 7 years ago
- Haskell suite library for package management and integration with Cabal☆20May 2, 2018Updated 8 years ago
- Types for the least and greatest fixed points of functors.☆15Apr 27, 2022Updated 4 years ago
- λλλλ Lennart Augustsson's λ-calculus cooked four ways☆29Jul 22, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Higher kinded data in Scala☆21Mar 23, 2025Updated last year
- Ministg is an interpreter for a high-level, small-step, operational semantics for the STG machine.☆73Feb 5, 2020Updated 6 years ago
- 👹 A library for hierarchical names and lexical scoping☆28Jun 19, 2026Updated last month
- Unfoldable functors☆16Apr 27, 2022Updated 4 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- TIFMO: Textual Inference Forward-chaining MOdule☆12Apr 25, 2014Updated 12 years ago
- Extensible protocols for Scala☆13Jul 8, 2016Updated 10 years ago
- Code for "Staged Generic Programming" (ICFP 2017)☆28Sep 2, 2023Updated 2 years ago
- Playing with https://github.com/ekmett/machines☆51Jul 2, 2017Updated 9 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.
- Probability distributions in Elm-lang☆14Oct 31, 2015Updated 10 years ago
- Collection of errata for book Aarne Ranta, Implementing Programming Languages☆12Nov 13, 2025Updated 8 months ago
- A SuperCompiler for Martin-Löf's Type Theory☆125Jan 29, 2022Updated 4 years ago
- Implementation of Univalence in Cubical Sets☆145Jul 19, 2015Updated 11 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆226Aug 20, 2018Updated 7 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
- It's a blog. Insert clever Haskell type signature here.☆24Feb 22, 2017Updated 9 years ago
- various predicates for ichiban/prolog☆16Sep 25, 2022Updated 3 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆379May 14, 2023Updated 3 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.
- This is the compiler for the Feldspar Language.☆23Jun 25, 2020Updated 6 years ago
- Bidirectional programming in Haskell with monadic profunctors☆49May 17, 2022Updated 4 years ago
- Type level lists, pairs, sums, their operations, and their properties.☆24Oct 16, 2018Updated 7 years ago
- DEFUNCT: use https://bitbucket.org/ermine-language/ermine-scala ; see README☆20May 2, 2015Updated 11 years ago
- Attempt to understand Percy Liang's Dependency-based Compositional Semantics by implementing it in Python☆10Mar 10, 2013Updated 13 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
- Types and classes for defining JSON schemas.☆23Oct 3, 2018Updated 7 years ago