Strict Haskell-like programming language that compiles to LLVM
☆71Oct 31, 2019Updated 6 years ago
Alternatives and similar repositories for amy
Users that are interested in amy are comparing it to the libraries listed below
Sorting:
- Austin's supercompiler work☆21Nov 17, 2019Updated 6 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Oct 8, 2017Updated 8 years ago
- Map lazy functional language constructs to LLVM IR☆52Jun 21, 2019Updated 6 years ago
- Omit fields for instance deriving☆37Jun 5, 2020Updated 5 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- Algebraic Effects in Haskell using Implicit Parameters☆47Aug 16, 2020Updated 5 years ago
- The GHC Wiki (kept for archiving purposes, please use version at https://gitlab.haskell.org/ghc/ghc/wikis/)☆12Mar 9, 2019Updated 6 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆36Oct 25, 2024Updated last year
- A package exposing a function for generating catamorphisms.☆29Apr 15, 2018Updated 7 years ago
- Compositional type checking for a Hindley-Milner type system☆11Mar 28, 2017Updated 8 years ago
- Map and Set over contiguous memory☆22Aug 9, 2023Updated 2 years ago
- A thread-safe hash table in Haskell☆15Feb 28, 2020Updated 6 years ago
- Label dependent dependent session types☆16May 2, 2024Updated last year
- Delete half (minus ε) of your Haskell code!☆30Feb 13, 2026Updated 2 weeks ago
- An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types☆90Mar 9, 2023Updated 2 years ago
- JHC Haskell compiler split into reusable components☆57Dec 17, 2018Updated 7 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 7 years ago
- Roundtrip allows the definition of bidirectional (de-)serialization specifications☆16Oct 16, 2024Updated last year
- Merged into ian repo: https://github.com/seagreen/ian#llvm-in-haskell☆17Apr 13, 2019Updated 6 years ago
- Deep embedding of imperative programs with code generation☆23May 26, 2022Updated 3 years ago
- Write yourself a typed functional language☆65Oct 11, 2018Updated 7 years ago
- Haskell typechecker☆39May 7, 2019Updated 6 years ago
- Diffing of (expression) trees.☆79Jul 9, 2025Updated 7 months ago
- used to be something more ambitious, cut scope to just a simple compiler for thesis project☆17Jan 14, 2019Updated 7 years ago
- Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge arguments of boolean circuits.☆18Sep 1, 2018Updated 7 years ago
- spaceships in space☆71Oct 25, 2020Updated 5 years ago
- Transactional key-value store written entirely in Haskell☆94Mar 4, 2021Updated 5 years ago
- ☆20Apr 17, 2019Updated 6 years ago
- Handling errors which occur deep inside lens-chains☆17Jul 4, 2019Updated 6 years ago
- Lambda Calculus with quote and unquote☆19Jun 29, 2020Updated 5 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 7 years ago
- Symbolic execution engine for toy language.☆51Mar 6, 2018Updated 7 years ago
- Prototype implementations of systems based on setoid type theory☆66Nov 29, 2020Updated 5 years ago
- An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system☆84Jan 3, 2018Updated 8 years ago
- A GHC plugin and library for analysing GHC Core☆54Feb 4, 2025Updated last year
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- A hashing-based graph implementation in Haskell☆33Jul 2, 2018Updated 7 years ago
- Type Safe LLVM IR ( Experimental )☆49Jun 13, 2018Updated 7 years ago