Feldspar / feldspar-languageView external linksLinks
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☆34Jun 28, 2019Updated 6 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 7 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last week
- half-precision floating-point☆17Oct 11, 2025Updated 4 months ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 9 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆13Nov 9, 2021Updated 4 years ago
- Seamlessly deploy your existing Wai application on AWS Lambda.☆13Nov 10, 2022Updated 3 years ago
- Type equality constraints☆16Apr 27, 2022Updated 3 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆12May 13, 2025Updated 9 months ago
- Haskell binding for Chipmunk, 2D physics engine.☆22Jul 23, 2015Updated 10 years ago
- Show, plot and compare benchmark results☆16Oct 28, 2025Updated 3 months ago
- Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.☆33Dec 10, 2014Updated 11 years ago
- Compile time CAS(Computer Algebra System) for Haskell☆18Dec 16, 2025Updated last month
- Utilities for making your applications more debuggable.☆16Dec 4, 2024Updated last year
- ☆23Dec 17, 2013Updated 12 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 6 years ago
- Type level algebraic "proofs" using lens combinators☆19Jul 26, 2019Updated 6 years ago
- HoTT Book formalisations in Rzk.☆20Dec 15, 2023Updated 2 years ago
- Home of the fast-arithmetic library for number theory in ATS and Haskell.☆25Aug 1, 2024Updated last year
- An Ivory library inspired by Atom☆14Oct 17, 2016Updated 9 years ago
- Static security for database-backed Haskell applications using Liquid Haskell☆18May 29, 2024Updated last year
- ☆19Jul 31, 2019Updated 6 years ago
- The Flix Programming Book☆21Jan 25, 2026Updated 2 weeks ago
- Mechanizing Types and Programming Languages using Beluga☆21May 29, 2020Updated 5 years ago
- Encoding of GHC Core inside MLIR☆19Nov 12, 2020Updated 5 years ago
- A formal verification of Linear Temporal Logic in Coq☆23Nov 18, 2025Updated 2 months 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☆48May 17, 2022Updated 3 years ago
- Bidirectional Binding Signature and Bidirectional Type Synthesis, Generically☆21Jan 30, 2024Updated 2 years ago
- Anders: Cubical Type Checker☆23Oct 23, 2023Updated 2 years ago
- Compiler backend for generating Scheme code☆28Nov 27, 2025Updated 2 months ago
- 🍰🍴Template project based on the cake-slayer architecture library☆19Jan 11, 2023Updated 3 years ago
- SRI Sally: A model checker for infinite-state systems.☆76Jul 31, 2025Updated 6 months ago
- Protocol Buffers library for Haskell☆22Jul 18, 2021Updated 4 years ago