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
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Parsing with "disambiguation filters" in Clojure☆22Jan 11, 2017Updated 9 years ago
- Generic Common Test hooks tools☆24Feb 27, 2012Updated 14 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 7 years ago
- Haskell bindings to libsystemd-journal☆21Feb 9, 2026Updated last month
- 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Example project for developing PureScript projects with Nix☆19Aug 30, 2018Updated 7 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 2 months ago
- Monadic Javascript Compiler☆74May 21, 2016Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆27Mar 30, 2020Updated 5 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
- XBee communication libraries and utilities☆38Feb 27, 2019Updated 7 years ago
- a set of statistics functions for erlang☆68Oct 5, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A functional test framework for LSP servers☆35Mar 22, 2021Updated 5 years ago
- 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