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
- A ZipCPU based demonstration of the MAX1000 FPGA board☆24May 11, 2021Updated 5 years ago
- Hardware and script files related to dynamic partial reconfiguration☆11Mar 16, 2018Updated 8 years ago
- AWS S3 CLI tooklit☆22Oct 30, 2020Updated 5 years ago
- An example of PEG usage☆55Sep 17, 2016Updated 9 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆16Aug 13, 2014Updated 11 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 extension for rendering sandboxed iframes inside of Panels☆18Feb 28, 2018Updated 8 years ago
- Neil (Not Exactly an Intermediate Language), using MPC with LLVM☆11Oct 16, 2016Updated 9 years ago
- ☆23Nov 9, 2020Updated 5 years ago
- ☆10Aug 11, 2022Updated 3 years ago
- A lightweight feedback tool for Jupyter☆12Jul 27, 2021Updated 4 years ago
- EPWave -- The Free Interactive Browser-Based Wave Viewer☆14Apr 1, 2015Updated 11 years ago
- Unums 2.0 for Julia☆14Feb 1, 2017Updated 9 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- 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
- ☆11Sep 12, 2022Updated 3 years ago
- JupyterLab extension to deploy applications to Heroku☆20Dec 4, 2022Updated 3 years ago
- utilities☆15Jul 2, 2013Updated 13 years ago
- ☆20May 8, 2012Updated 14 years ago
- todo backend for django☆10Aug 4, 2014Updated 11 years ago
- Propositional calculus in Haskell☆11Nov 21, 2016Updated 9 years ago
- Boost.org static_assert module☆18Jul 13, 2026Updated last week
- 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
- Phil Zimmermann's SDK for ZRTP☆23May 7, 2017Updated 9 years ago
- Programming an RTS by Carl Granberg.☆15Apr 23, 2024Updated 2 years ago
- The (very) small kernel of the LaTTe proof assistant☆12May 29, 2026Updated last month
- C Call-Tree Explorer - Source-code analysis, real-time display of code flow☆22Jun 12, 2012Updated 14 years ago
- Generic AXI to APB bridge☆13Jul 17, 2014Updated 12 years ago
- A wrapper for capstone for bearparser☆16Oct 8, 2025Updated 9 months ago
- Vector functions and indexing for SQLite☆10Mar 26, 2023Updated 3 years ago
- Base components of the Ghulbus Library☆18Feb 10, 2026Updated 5 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Boost.org functional module☆19Jul 13, 2026Updated last week
- General-purpose public wiki and issue tracking☆15Jul 13, 2018Updated 8 years ago
- TLS Client Certificate Authentication and its Privacy Implications☆15Jul 25, 2017Updated 8 years ago
- EBA is a static bug finder for C.☆16Jun 22, 2020Updated 6 years ago
- Information Repository on Various Methods of getting shell access into a Windows machine☆17Feb 11, 2020Updated 6 years ago
- web driver (selenium) client for guile☆13Jul 26, 2024Updated last year
- messing around writing reversing tools in clojure☆15Nov 9, 2017Updated 8 years ago