This is the compiler for the Feldspar Language.
☆23Jun 25, 2020Updated 5 years ago
Alternatives and similar repositories for feldspar-compiler
Users that are interested in feldspar-compiler are comparing it to the libraries listed below
Sorting:
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Oct 12, 2021Updated 4 years ago
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Data Flow Matrix Machines. Generalization of recurrent neural networks.☆15Dec 24, 2024Updated last year
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Combinators for bidirectional JSON parsing☆21May 29, 2014Updated 11 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- ☆17Oct 16, 2018Updated 7 years ago
- Parsing with "disambiguation filters" in Clojure☆22Jan 11, 2017Updated 9 years ago
- dependent types meets deep learning☆44Jan 7, 2019Updated 7 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- Provides free functors that are adjoint to functors that forget class constraints.☆29Jan 6, 2026Updated 2 months ago
- A formal verification of Linear Temporal Logic in Coq☆23Feb 19, 2026Updated 2 weeks ago
- Example project for developing PureScript projects with Nix☆19Aug 30, 2018Updated 7 years ago
- Public course materials for CSE 131 (Compilers)☆18Jun 22, 2020Updated 5 years ago
- A categorical framework for circuit construction☆31Sep 27, 2016Updated 9 years ago
- ☆23Apr 17, 2018Updated 7 years ago
- ☆23Oct 15, 2023Updated 2 years ago
- a monadic graph library☆39Mar 3, 2025Updated last year
- Notes and handouts from OPLSS 2018☆55Jul 23, 2018Updated 7 years ago
- The ST effect, for safe local mutation☆25Oct 1, 2022Updated 3 years ago
- Simple helper functions to work with optparse-applicative☆29Jun 23, 2021Updated 4 years ago
- A Haskell API into HTML5 Canvas☆72Jan 11, 2026Updated last month
- Sum and Product types and such☆29Apr 27, 2020Updated 5 years ago
- A type-checker for Haskell with integer constraints☆42Feb 21, 2015Updated 11 years ago
- Haskell implementation of the Edinburgh Logical Framework☆32Jan 12, 2026Updated last month
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Mar 30, 2020Updated 5 years ago
- A useful type for working with integers modulo some constant.☆30Jun 8, 2023Updated 2 years ago
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- Tools for programming with ConstraintKinds in GHC☆74Jan 26, 2026Updated last month
- An experimental esolang implementation of a Kolmogorov-Uspensky machine☆29Mar 17, 2016Updated 9 years ago
- ☆29Oct 23, 2019Updated 6 years ago
- A functional test framework for LSP servers☆35Mar 22, 2021Updated 4 years ago
- Stratified synthesis for learning machine code instruction semantics☆40Sep 24, 2025Updated 5 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆34Dec 4, 2024Updated last year
- Coq proofs for the paper "Calculating Correct Compilers"☆31Dec 11, 2023Updated 2 years ago
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- ghc --make reimplemented with Shake☆32Sep 29, 2023Updated 2 years ago
- Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.☆89Jun 12, 2017Updated 8 years ago