Bachelor thesis Martijn Bakker -- Numerical mathematics on FPGAs using CλaSH
☆28Jul 3, 2015Updated 10 years ago
Alternatives and similar repositories for numerical-fpga-thesis
Users that are interested in numerical-fpga-thesis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Explore Clojure by building a digital Jackson Pollock☆76Aug 9, 2014Updated 11 years ago
- ☆23Feb 22, 2017Updated 9 years ago
- Where Lions Roam: Haskell & Hardware on VELDT☆22Dec 15, 2025Updated 6 months ago
- A Snack-based Python console UI that reads screen configurations from a file.☆26Sep 21, 2013Updated 12 years ago
- Firmware for Xilinx Platform Cable 1 USB Jtag adapter☆10Jul 24, 2016Updated 9 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Jupyterlab extension containing a UI for debugging☆10Dec 2, 2019Updated 6 years ago
- Hardware and script files related to dynamic partial reconfiguration☆11Mar 16, 2018Updated 8 years ago
- ☆14Oct 30, 2025Updated 8 months ago
- Corpus of Coq code related to MathComp including several machine-readable representations☆10Sep 6, 2022Updated 3 years ago
- An algorithm for generating random doubles.☆13Feb 21, 2017Updated 9 years ago
- Plugin for VCV Rack☆16Dec 6, 2021Updated 4 years ago
- A ZSH plugin with utility functions to work with PostgreSQL.☆19Jun 15, 2022Updated 4 years ago
- An example of PEG usage☆55Sep 17, 2016Updated 9 years ago
- Generic AXI interconnect fabric☆13Jul 17, 2014Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A work-in-progress for what is to be a software-free web server for static content.☆797Jun 30, 2016Updated 10 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆59Jan 2, 2020Updated 6 years ago
- The SGL is a hardware agnostic library that provides graphic and text primitives. It can be easily tailored to suit any hardware☆19Sep 2, 2016Updated 9 years ago
- Self-tail recursion optimization in emacs.☆34Jun 14, 2012Updated 14 years ago
- ☆22Jul 28, 2016Updated 9 years ago
- ☆18Jun 22, 2026Updated last week
- User defined literals for boost units.☆13Dec 22, 2014Updated 11 years ago
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 years ago
- Reverse Perspective Camera for OpenGL (Three.js)☆34Nov 15, 2025Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆11Sep 12, 2022Updated 3 years ago
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- utilities☆15Jul 2, 2013Updated 12 years ago
- Skip text in INSERT mode☆11Nov 27, 2018Updated 7 years ago
- A collection of benchmarks and tests for the Patmos processor and compiler☆19Dec 2, 2024Updated last year
- Shadow semi-supervised consistency regularization PyTorch library☆11Oct 7, 2021Updated 4 years ago
- An entry in Sunlight Labs' Apps for America competition☆35Feb 1, 2010Updated 16 years ago
- Propositional calculus in Haskell☆11Nov 21, 2016Updated 9 years ago
- soap - Structural Optimisation of Arithmetic Programs☆23May 9, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Generic AXI to APB bridge☆13Jul 17, 2014Updated 11 years ago
- A modified OCaml compiler for eliom programs☆10Jan 16, 2017Updated 9 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated last month
- Scripts to create a boot.bin file for linux on Xilinx Zync☆26Jun 3, 2016Updated 10 years ago
- Vector functions and indexing for SQLite☆10Mar 26, 2023Updated 3 years ago
- Phil Zimmermann's SDK for ZRTP☆23May 7, 2017Updated 9 years ago