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:
- 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
- A Hardware MD5 Cracker for the Cyclone V SoC☆12Mar 25, 2015Updated 11 years ago
- AWS S3 CLI tooklit☆22Oct 30, 2020Updated 5 years ago
- ☆16Aug 13, 2014Updated 11 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.
- Immutable/persistent functional data structures for C++11☆10Mar 20, 2019Updated 7 years ago
- 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
- An extension for rendering sandboxed iframes inside of Panels☆18Feb 28, 2018Updated 8 years ago
- LLVM Metadata Visualizer☆20Nov 30, 2017Updated 8 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆45Apr 2, 2020Updated 6 years ago
- Neil (Not Exactly an Intermediate Language), using MPC with LLVM☆11Oct 16, 2016Updated 9 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
- 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.
- FPGA-Accelerated Simulation Framework Automatically Transforming Arbitrary RTL☆103Nov 22, 2019Updated 6 years ago
- AWS Digital Content Creation Architecture - AWS ThinkBox Deadline. (Linux Workstation)☆10Feb 19, 2021Updated 5 years ago
- A system to help ship lisp code with C dependencies☆10Apr 29, 2018Updated 8 years ago
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- JupyterLab extension to deploy applications to Heroku☆20Dec 4, 2022Updated 3 years ago
- ☆20May 8, 2012Updated 14 years ago
- Static Huffman coding☆10Apr 3, 2017Updated 9 years ago
- todo backend for django☆10Aug 4, 2014Updated 12 years ago
- Propositional calculus in Haskell☆11Nov 21, 2016Updated 9 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- soap - Structural Optimisation of Arithmetic Programs☆23May 9, 2016Updated 10 years ago
- Shadow semi-supervised consistency regularization PyTorch library☆11Oct 7, 2021Updated 4 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- Container and Transparent Proxy Promises in Python☆13Mar 16, 2017Updated 9 years ago
- Scripts to create a boot.bin file for linux on Xilinx Zync☆26Jun 3, 2016Updated 10 years ago
- Main page☆34Feb 12, 2020Updated 6 years ago
- A wrapper for capstone for bearparser☆16Oct 8, 2025Updated 10 months ago
- l1c is a simple formally verified compiler for a while language☆56Oct 4, 2020Updated 5 years ago
- ☆15Dec 27, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A list of security courses at colleges and universities☆12Aug 9, 2017Updated 9 years ago
- General-purpose public wiki and issue tracking☆14Jul 13, 2018Updated 8 years ago
- A minimal makefile build environment for Xilinx FPGAs☆23Aug 23, 2021Updated 4 years ago
- ☆23Feb 23, 2016Updated 10 years ago
- TLS Client Certificate Authentication and its Privacy Implications☆15Jul 25, 2017Updated 9 years ago
- MCP server for Draw Things - local AI image generation on Mac☆19Jan 1, 2026Updated 7 months ago
- Safe Withdrawal with Certainty Equivalent Cash Flow and TensorFlow☆21Sep 26, 2016Updated 9 years ago