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
Alternatives and similar repositories for feldspar-language:
Users that are interested in feldspar-language are comparing it to the libraries listed below
- From Haskell to Hardware via CCCs☆58Updated 8 years ago
- Work in progress☆34Updated 4 months ago
- being a collection of Agda-facilitated ramblings☆33Updated 4 years ago
- Intel 8080-based Space Invaders arcade machine implemented on an FPGA, written in CLaSH☆47Updated 2 years ago
- ☆30Updated 6 years ago
- Operad Programming Language in Haskell, by David Darais☆31Updated 11 years ago
- IO using sized types and copatterns☆33Updated 3 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 2 weeks ago
- Resource-AWare Feldspar☆37Updated 2 years ago
- Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring☆27Updated 3 years ago
- Kansas Lava☆46Updated 5 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Updated 3 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆36Updated 4 years ago
- A Haskell translation of Idris's original algebraic effects library☆41Updated 8 years ago
- Type theory in type theory☆16Updated 13 years ago
- Alternative Core language for GHC plugins☆39Updated 9 years ago
- This is the compiler for the Feldspar Language.☆22Updated 4 years ago
- Automatically exported from code.google.com/p/trellys☆46Updated 5 years ago
- The SAW core language.☆54Updated 3 years ago
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 3 years ago
- The Evolution of a Typechecker☆54Updated 6 years ago
- topos programming☆31Updated 6 years ago
- Combinators for manipulating locally-nameless generalized de Bruijn terms☆123Updated 7 months ago
- Agda-style equational reasoning in Haskell☆52Updated 2 months ago
- Haskell Join-calculus DSL☆22Updated 6 years ago
- A message-passing library, intended for simplifying network applications☆43Updated 6 years ago
- I'm putting Palmgren's Constructive Sheaf Semantics into Agda. Defines sheaves via Grothendieck pretopologies.☆17Updated 10 years ago
- ☆29Updated 9 years ago
- ☆18Updated 7 years ago
- Selective applicative functors laws and theorems☆14Updated 5 years ago