Feldspar / feldspar-language
The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing algorithms.
☆45Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for feldspar-language
- ☆28Updated 6 years ago
- This is the compiler for the Feldspar Language.☆22Updated 4 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆47Updated last year
- Work on type class deriving with elaboration reflection☆31Updated 6 years ago
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 5 months ago
- A small implementation of a proof refinement logic.☆50Updated 7 years ago
- oleg modules☆30Updated 11 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Resource-AWare Feldspar☆36Updated 2 years ago
- Work in progress☆34Updated 4 months ago
- Alternative Core language for GHC plugins☆39Updated 8 years ago
- A hip inductive theorem prover!☆88Updated 3 years ago
- A language-generic implementation of equality saturation in Haskell☆21Updated 5 years ago
- Interactive and object-oriented programming in Agda using coinductive types☆22Updated 4 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 10 years ago
- Compositional type checking for Haskell☆36Updated 13 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 7 years ago
- Kansas Lava☆47Updated 5 years ago
- From Haskell to Hardware via CCCs☆58Updated 8 years ago
- Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE☆25Updated 6 years ago
- A typechecker for WebAssembly, written in Agda (WIP)☆17Updated 6 years ago
- being the programs and code for a paper about general recursion☆24Updated 9 years ago
- Agda-style equational reasoning in Haskell☆51Updated 6 months ago
- A tool for translating imperative programs to CSP.☆10Updated 7 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- topos programming☆31Updated 6 years ago
- Self-contained repository for the eponymous paper☆29Updated 5 years ago