Feldspar / feldspar-languageLinks
The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing algorithms.
☆47Updated 4 years ago
Alternatives and similar repositories for feldspar-language
Users that are interested in feldspar-language are comparing it to the libraries listed below
Sorting:
- From Haskell to Hardware via CCCs☆58Updated 9 years ago
- Resource-AWare Feldspar☆38Updated 3 years ago
- This is the compiler for the Feldspar Language.☆23Updated 5 years ago
- Operad Programming Language in Haskell, by David Darais☆32Updated 11 years ago
- A RiscV processor implementing the RV32I instruction set written in Clash☆55Updated 7 years ago
- A hip inductive theorem prover!☆90Updated 4 years ago
- Kansas Lava☆50Updated 6 years ago
- Idris Binary Integer Arithmetic, porting PArith, NArith, and ZArith from Coq☆37Updated 4 years ago
- A certified semantics for relational programming workout.☆26Updated 5 years ago
- ☆32Updated 7 years ago
- A partial implementation of Protocol Buffers in Idris☆32Updated 8 years ago
- Cλash/Haskell FPGA-based SKI calculus evaluator☆51Updated 9 years ago
- The SAW core language.☆54Updated 4 years ago
- Idris LLVM codegen factored out☆82Updated 8 years ago
- Vector & affine spaces, linear maps, and derivatives☆49Updated 5 months ago
- Simple Haskell package for efficiently indexable finite and infinite enumerations.☆12Updated 7 months ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Updated last year
- An Ivory library inspired by Atom☆14Updated 9 years ago
- Invertible parsing for S-expressions☆34Updated 7 months ago
- ☆23Updated 2 years ago
- oleg modules☆32Updated 12 years ago
- Formal topology (and some probability) in Coq☆31Updated 7 years ago
- A talk☆28Updated 4 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- Haskell Join-calculus DSL☆24Updated 6 years ago
- Homotopy Type Theory proofs in Idris☆22Updated 6 years ago
- An Agda library for reasoning about asynchronous iterative algorithms and network routing problems☆28Updated last year
- ☆62Updated 6 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆34Updated 5 years ago
- Accepted papers for ICFP 2014☆119Updated 9 years ago