The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing algorithms.
☆47Oct 12, 2021Updated 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:
- This is the compiler for the Feldspar Language.☆23Jun 25, 2020Updated 5 years ago
- Resource-AWare Feldspar☆38May 27, 2022Updated 3 years ago
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 9 years ago
- Haskell bindings to glpk☆13Jun 10, 2024Updated last year
- half-precision floating-point☆17Updated this week
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- Haskell port of the Tensor Algebra COmpiler☆16Nov 18, 2019Updated 6 years ago
- Seamlessly deploy your existing Wai application on AWS Lambda.☆13Nov 10, 2022Updated 3 years ago
- the reflective tower Blond by Olivier Danvy & Karoline Malmkjær☆16May 21, 2025Updated 9 months ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 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
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- Utilities for making your applications more debuggable.☆16Dec 4, 2024Updated last year
- Show, plot and compare benchmark results☆16Oct 28, 2025Updated 4 months ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated 2 months ago
- ☆23Dec 17, 2013Updated 12 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- HoTT Book formalisations in Rzk.☆20Dec 15, 2023Updated 2 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- An Ivory library inspired by Atom☆14Oct 17, 2016Updated 9 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- ☆19Jul 31, 2019Updated 6 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆18May 29, 2024Updated last year
- Mechanizing Types and Programming Languages using Beluga☆21May 29, 2020Updated 5 years ago
- The Flix Programming Book☆22Feb 27, 2026Updated last week
- ☆52May 19, 2024Updated last year
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 5 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Feb 19, 2026Updated 2 weeks ago
- Proofs of the number of inhabitants of polymorphic functions☆23Jul 19, 2018Updated 7 years ago
- The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of un…☆20Dec 8, 2021Updated 4 years ago
- Bidirectional programming in Haskell with monadic profunctors☆49May 17, 2022Updated 3 years ago
- 🍰🍴Template project based on the cake-slayer architecture library☆19Jan 11, 2023Updated 3 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- Compiler backend for generating Scheme code☆28Nov 27, 2025Updated 3 months ago