This is the compiler for the Feldspar Language.
☆23Jun 25, 2020Updated 5 years ago
Alternatives and similar repositories for feldspar-compiler
Users that are interested in feldspar-compiler are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 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
- Exploratory new work on a Haskell Lisp☆17Jul 8, 2016Updated 9 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25May 30, 2019Updated 6 years ago
- Data Flow Matrix Machines. Generalization of recurrent neural networks.☆15Dec 24, 2024Updated last year
- Yet another concurrent playground☆33Nov 18, 2015Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Parsing with "disambiguation filters" in Clojure☆22Jan 11, 2017Updated 9 years ago
- Notes and handouts from OPLSS 2019☆35Jun 28, 2019Updated 6 years ago
- Proof combinators used in Liquid Haskell for theorem proving☆12Mar 28, 2018Updated 8 years ago
- Haskell bindings to libsystemd-journal☆21Feb 9, 2026Updated 2 months ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- ☆23Apr 17, 2018Updated 7 years ago
- http://www.cse.chalmers.se/edu/course/afp/☆16Dec 1, 2015Updated 10 years ago
- Combinators for bidirectional JSON parsing☆21May 29, 2014Updated 11 years ago
- Example project for developing PureScript projects with Nix☆19Aug 30, 2018Updated 7 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A personal realtime renderer project☆17Apr 14, 2023Updated 3 years ago
- dependent types meets deep learning☆44Jan 7, 2019Updated 7 years ago
- Simple helper functions to work with optparse-applicative☆29Jun 23, 2021Updated 4 years ago
- A concurrent mutable ring-buffer☆13Oct 14, 2024Updated last year
- a monadic graph library☆39Mar 3, 2025Updated last year
- A categorical framework for circuit construction☆31Sep 27, 2016Updated 9 years ago
- An experimental "Turbo" Haskell Runtime - Nothing really to see here yet☆17Sep 16, 2015Updated 10 years ago
- A Haskell API into HTML5 Canvas☆72Jan 11, 2026Updated 3 months ago
- Monadic Javascript Compiler☆74May 21, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Mar 30, 2020Updated 6 years ago
- The Disco Discus Compiler☆176Feb 6, 2019Updated 7 years ago
- ☆17Oct 16, 2018Updated 7 years ago
- Matlab bindings and interface for Haskell☆13Aug 24, 2020Updated 5 years ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated last year
- ☆10Apr 30, 2020Updated 5 years ago
- Play fast and loose with IEEE-754 rewrite RULES☆25Aug 1, 2015Updated 10 years ago
- a set of statistics functions for erlang☆68Oct 5, 2015Updated 10 years ago
- A functional test framework for LSP servers☆35Mar 22, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Code for "Error-driven Fixed-Budget ASR Personalization for Accented Speakers" in ICASSP 2021☆11Jun 13, 2021Updated 4 years ago
- TeGere! = Behave! — a Gherkin library for Clojure☆13Oct 12, 2023Updated 2 years ago
- Plover is a language for matrix algebra on embedded systems.☆48Jul 3, 2021Updated 4 years ago
- A bridge from FreeNect to OpenGL in Haskell☆15Feb 27, 2018Updated 8 years ago
- GHCJS binding for three.js☆10Nov 23, 2017Updated 8 years ago
- HLint as a GHC source plugin.☆31Jul 8, 2024Updated last year
- Sum and Product types and such☆29Apr 27, 2020Updated 5 years ago