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:
- ☆15Aug 13, 2014Updated 11 years ago
- Everything to do with the XuLA FPGA board: schematics, layout, firmware, example FPGA designs, documentation, etc.☆37Feb 21, 2014Updated 12 years ago
- Firmware for Xilinx Platform Cable 1 USB Jtag adapter☆10Jul 24, 2016Updated 9 years ago
- Hardware and script files related to dynamic partial reconfiguration☆11Mar 16, 2018Updated 8 years ago
- An algorithm for generating random doubles.☆13Feb 21, 2017Updated 9 years 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.
- Immutable/persistent functional data structures for C++11☆10Mar 20, 2019Updated 7 years ago
- Linux userland tool to read and write arbitrary memory locations☆13Feb 17, 2023Updated 3 years ago
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Jan 18, 2018Updated 8 years ago
- An example of PEG usage☆55Sep 17, 2016Updated 9 years ago
- Generic AXI interconnect fabric☆13Jul 17, 2014Updated 11 years ago
- Prototype compiler from AWS CloudFormation IaC templates into Logic.☆13Dec 5, 2023Updated 2 years ago
- A work-in-progress for what is to be a software-free web server for static content.☆799Jun 30, 2016Updated 9 years ago
- LLVM Metadata Visualizer☆20Nov 30, 2017Updated 8 years ago
- Easily create a hybrid render farm in Azure connected to your Deadline or Qube! environment.☆16Dec 11, 2020Updated 5 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.
- Neil (Not Exactly an Intermediate Language), using MPC with LLVM☆11Oct 16, 2016Updated 9 years ago
- AWS Digital Content Creation Architecture - AWS ThinkBox Deadline. (Linux Workstation)☆10Feb 19, 2021Updated 5 years ago
- Interstate Love Song is a Teradici broker☆12Mar 13, 2026Updated 2 months 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
- ☆10Aug 11, 2022Updated 3 years ago
- ☆22Jul 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
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Reverse Perspective Camera for OpenGL (Three.js)☆34Nov 15, 2025Updated 6 months ago
- ☆11Sep 12, 2022Updated 3 years ago
- bil verification tool☆12Jun 30, 2022Updated 3 years ago
- Tool that scans the USB bus autodetecting Arduino boards and their serial port names☆28Sep 26, 2011Updated 14 years ago
- Utility classes related to Qt signal and slot handling☆25Feb 18, 2014Updated 12 years ago
- utilities☆15Jul 2, 2013Updated 12 years ago
- Incomplete LuaJIT threading library. Not working on this anymore.☆20Mar 13, 2013Updated 13 years ago
- todo backend for django☆10Aug 4, 2014Updated 11 years ago
- r6rs packaging of minikanren from "The Reasoned Schemer"☆12Apr 22, 2015Updated 11 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 collection of benchmarks and tests for the Patmos processor and compiler☆18Dec 2, 2024Updated last year
- Boost.org static_assert module☆18Apr 22, 2026Updated last month
- soap - Structural Optimisation of Arithmetic Programs☆23May 9, 2016Updated 10 years ago
- Generic AXI to APB bridge☆13Jul 17, 2014Updated 11 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
- Base components of the Ghulbus Library☆18Feb 10, 2026Updated 4 months ago