Bachelor thesis Martijn Bakker -- Numerical mathematics on FPGAs using CλaSH
☆28Jul 3, 2015Updated 11 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:
- ☆23Feb 22, 2017Updated 9 years ago
- An algorithm for generating random doubles.☆13Feb 21, 2017Updated 9 years ago
- Firmware for Xilinx Platform Cable 1 USB Jtag adapter☆10Jul 24, 2016Updated 10 years ago
- Hardware and script files related to dynamic partial reconfiguration☆11Mar 16, 2018Updated 8 years ago
- An example of PEG usage☆55Sep 17, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Jan 18, 2018Updated 8 years ago
- ☆20Aug 13, 2014Updated 12 years ago
- A ZSH plugin with utility functions to work with PostgreSQL.☆19Jun 15, 2022Updated 4 years ago
- Immutable/persistent functional data structures for C++11☆10Mar 20, 2019Updated 7 years ago
- Generic AXI interconnect fabric☆13Jul 17, 2014Updated 12 years ago
- Asynchronous job and file i/o management for containers☆15Dec 9, 2022Updated 3 years ago
- A work-in-progress for what is to be a software-free web server for static content.☆796Jun 30, 2016Updated 10 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆59Jan 2, 2020Updated 6 years ago
- Prototype compiler from AWS CloudFormation IaC templates into Logic.☆13Dec 5, 2023Updated 2 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.
- ☆23Nov 9, 2020Updated 5 years ago
- Easily create a hybrid render farm in Azure connected to your Deadline or Qube! environment.☆16Dec 11, 2020Updated 5 years ago
- Optimizing Abstract Abstract Machines☆31Apr 6, 2017Updated 9 years ago
- FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL☆103Nov 22, 2019Updated 6 years ago
- ☆18Jun 22, 2026Updated 3 months ago
- Unums 2.0 for Julia☆14Feb 1, 2017Updated 9 years ago
- Reinforcement learning algorithms constrained by a partial program☆19Mar 25, 2011Updated 15 years ago
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 years ago
- Manual import of Texmaker from released source tarballs downloaded from http://www.xm1math.net/texmaker/download.html☆12Jan 27, 2018Updated 8 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.
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- ☆20May 8, 2012Updated 14 years ago
- Static Huffman coding☆10Apr 3, 2017Updated 9 years ago
- Propositional calculus in Haskell☆11Nov 21, 2016Updated 9 years 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
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated 4 months ago
- Generic AXI to APB bridge☆13Jul 17, 2014Updated 12 years ago
- A probabilistic programming embedded DSL for Haskell☆24Aug 11, 2014Updated 12 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.
- Passing a net.Conn between processes.☆11Nov 14, 2015Updated 10 years ago
- ☆15Dec 27, 2018Updated 7 years ago
- A list of security courses at colleges and universities☆12Aug 9, 2017Updated 9 years ago
- A minimal makefile build environment for Xilinx FPGAs☆23Aug 23, 2021Updated 5 years ago
- ☆23Feb 23, 2016Updated 10 years ago
- TLS Client Certificate Authentication and its Privacy Implications☆15Jul 25, 2017Updated 9 years ago
- Development tree for staging core changes☆22Jun 15, 2024Updated 2 years ago