Feldspar / raw-feldsparView external linksLinks
Resource-AWare Feldspar
☆38May 27, 2022Updated 3 years ago
Alternatives and similar repositories for raw-feldspar
Users that are interested in raw-feldspar are comparing it to the libraries listed below
Sorting:
- Deep embedding of imperative programs with code generation☆23May 26, 2022Updated 3 years ago
- The goal of the Feldspar project is to define a high-level language that allows description of high-performance digital signal processing…☆47Oct 12, 2021Updated 4 years ago
- DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.☆28Jun 27, 2019Updated 6 years ago
- Generalized Convolution and Efficient Language Recognition☆18Jul 20, 2019Updated 6 years ago
- Haskell numerical ODE solvers☆14Aug 21, 2017Updated 8 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Dependently typed convolutional neural networks☆35May 10, 2017Updated 8 years ago
- Experimental Haskell machine learning library☆35May 25, 2017Updated 8 years ago
- Simple setup for deploying Haskell to Amazon Lambda☆14Jun 25, 2020Updated 5 years ago
- Bring fusion to everyone☆14Feb 6, 2020Updated 6 years ago
- A simple text editor written in Haskell with Brick☆13Mar 28, 2019Updated 6 years ago
- Generic representation and manipulation of abstract syntax☆27May 26, 2022Updated 3 years ago
- Haskell development resources and best practices☆19Dec 3, 2025Updated 2 months ago
- your dynamic optimization buddy☆27Sep 20, 2019Updated 6 years ago
- Beseder: make impossible state transitions impossible☆31Mar 21, 2020Updated 5 years ago
- Reinforcement learning in haskell☆45Jan 13, 2021Updated 5 years ago
- A port of Apache Sparks to Haskell using distributed process☆33Oct 14, 2016Updated 9 years ago
- MOVED TO https://github.com/nixos-asia/website and https://github.com/flake-parts/community.flake.parts☆18Nov 27, 2023Updated 2 years ago
- JHC Haskell compiler split into reusable components☆57Dec 17, 2018Updated 7 years ago
- A solid modeling language in Haskell.☆28Sep 14, 2012Updated 13 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Jul 1, 2022Updated 3 years ago
- FPSheet: A Spreadsheet program with Haskell as the scripting language☆96Jul 25, 2021Updated 4 years ago
- DIY Markov Chains.☆25Nov 9, 2024Updated last year
- Haskell bindings for PETSc and SLEPc☆21Sep 5, 2016Updated 9 years ago
- State-space estimation algorithms and models☆28Jul 19, 2016Updated 9 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 9 years ago
- Extended Kalman filtering in Haskell☆23Oct 31, 2018Updated 7 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Oct 8, 2017Updated 8 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- Haskell Interface for getting overall system statistics☆16Feb 8, 2019Updated 7 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Many proofs of the Pythagoras theorem - Lean 4☆10Dec 1, 2023Updated 2 years ago
- example how to use declarative containers to deploy arbitrarty webservices on the same system☆11Apr 27, 2014Updated 11 years ago
- Lists, Texts, ByteStrings and Vectors with type-encoded length☆10Jul 11, 2021Updated 4 years ago
- Contains exercises for the workshop in generic programming at Lambda World 2019☆10Oct 17, 2019Updated 6 years ago
- A public description of our private LumiGuide monorepo that can be used in talks and in mailing list discussions☆10Mar 26, 2017Updated 8 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- Parser for ELF object format.☆11Dec 24, 2021Updated 4 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago