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:
- A Python package for creating and solving constrained randomization problems.☆19Oct 14, 2024Updated last year
- ☆23Feb 22, 2017Updated 9 years ago
- Everything to do with the XuLA FPGA board: schematics, layout, firmware, example FPGA designs, documentation, etc.☆37Feb 21, 2014Updated 12 years ago
- A type-safe, formally verifiable HDL compiler in Lean 4. Inspired by Clash, built for high-assurance hardware synthesis.☆64May 13, 2026Updated last week
- A ZipCPU based demonstration of the MAX1000 FPGA board☆23May 11, 2021Updated 5 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 small implementation of LISP for the Parallella-16 board☆31May 12, 2026Updated last week
- Immutable/persistent functional data structures for C++11☆10Mar 20, 2019Updated 7 years ago
- Plugin for VCV Rack☆16Dec 6, 2021Updated 4 years ago
- Linux userland tool to read and write arbitrary memory locations☆13Feb 17, 2023Updated 3 years ago
- An example of PEG usage☆55Sep 17, 2016Updated 9 years ago
- Development tree for staging core changes☆22Jun 15, 2024Updated last year
- A work-in-progress for what is to be a software-free web server for static content.☆798Jun 30, 2016Updated 9 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Apr 2, 2020Updated 6 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆60Jan 2, 2020Updated 6 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Easily create a hybrid render farm in Azure connected to your Deadline or Qube! environment.☆16Dec 11, 2020Updated 5 years ago
- Interstate Love Song is a Teradici broker☆12Mar 13, 2026Updated 2 months ago
- AWS Digital Content Creation Architecture - AWS ThinkBox Deadline. (Linux Workstation)☆10Feb 19, 2021Updated 5 years ago
- Unums 2.0 for Julia☆13Feb 1, 2017Updated 9 years ago
- ☆21Jul 28, 2016Updated 9 years ago
- FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL☆103Nov 22, 2019Updated 6 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- ☆18Jan 15, 2026Updated 4 months ago
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 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.
- Manual import of Texmaker from released source tarballs downloaded from http://www.xm1math.net/texmaker/download.html☆12Jan 27, 2018Updated 8 years ago
- utilities☆15Jul 2, 2013Updated 12 years ago
- Skip text in INSERT mode☆11Nov 27, 2018Updated 7 years ago
- AscTec quadrotor drivers☆17Aug 22, 2019Updated 6 years ago
- Work with micro-controller special function register in gdb.☆17May 16, 2017Updated 9 years ago
- Boost.org static_assert module☆18Apr 22, 2026Updated 3 weeks ago
- soap - Structural Optimisation of Arithmetic Programs☆23May 9, 2016Updated 10 years ago
- A modified OCaml compiler for eliom programs☆10Jan 16, 2017Updated 9 years ago
- Radamsa fuzzer extension for Burp Suite☆23Jun 25, 2013Updated 12 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.
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Scripts to create a boot.bin file for linux on Xilinx Zync☆26Jun 3, 2016Updated 9 years ago
- C Call-Tree Explorer - Source-code analysis, real-time display of code flow☆22Jun 12, 2012Updated 13 years ago
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 10 months ago
- Adobe Platform Libraries☆30Nov 7, 2020Updated 5 years ago
- Main page☆33Feb 12, 2020Updated 6 years ago
- Artificial Neural Network on Altera DE2☆35Oct 8, 2015Updated 10 years ago