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
- A simple text editor that syncs to dropbox☆20Jul 7, 2012Updated 14 years ago
- An SPI driven tiny LED matrix☆11Sep 18, 2014Updated 12 years ago
- An algorithm for generating random doubles.☆13Feb 21, 2017Updated 9 years ago
- An example of PEG usage☆55Sep 17, 2016Updated 10 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.
- Tydi: an open specification for complex data structures over hardware streams☆16Mar 14, 2023Updated 3 years ago
- Cambridge ACS Category Theory, Type Theory, and Logic - lecture notes 2017.☆14Jan 18, 2018Updated 8 years ago
- Machine Learning examples, mostly in R☆14Sep 22, 2014Updated 12 years ago
- VHDL code for driving a playstation portable display☆15Feb 20, 2014Updated 12 years ago
- Linux userland tool to read and write arbitrary memory locations☆16Feb 17, 2023Updated 3 years ago
- Generic AXI interconnect fabric☆13Jul 17, 2014Updated 12 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆59Oct 18, 2026Updated 2 weeks ago
- A work-in-progress for what is to be a software-free web server for static content.☆796Jun 30, 2016Updated 10 years ago
- JSON helpers for vimscript☆11Apr 14, 2016Updated 10 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Flask/Jinja2 web app to report various stats about a Raspberry Pi☆26Sep 27, 2022Updated 4 years ago
- Neil (Not Exactly an Intermediate Language), using MPC with LLVM☆11Oct 16, 2016Updated 10 years ago
- ☆10Aug 11, 2022Updated 4 years ago
- ☆13Feb 3, 2015Updated 11 years ago
- A low cost quadcopter development platform☆17Jul 15, 2014Updated 12 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆46Apr 2, 2020Updated 6 years ago
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- An extension for rendering sandboxed iframes inside of Panels☆18Feb 28, 2018Updated 8 years ago
- Estimate probability of failure using reframed Bayesian optimization☆12Aug 14, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Propositional calculus in Haskell☆11Nov 21, 2016Updated 9 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
- ☆23Nov 9, 2020Updated 5 years ago
- JupyterLab extension to deploy applications to Heroku☆20Dec 4, 2022Updated 3 years ago
- EPWave -- The Free Interactive Browser-Based Wave Viewer☆14Apr 1, 2015Updated 11 years ago
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- Static Huffman coding☆10Apr 3, 2017Updated 9 years ago
- A wrapper for capstone for bearparser☆16Oct 8, 2025Updated last year
- todo backend for django☆10Aug 4, 2014Updated 12 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.
- ☆12Sep 29, 2020Updated 6 years ago
- ☆20May 8, 2012Updated 14 years ago
- Handy customizable app loader☆16Jan 29, 2015Updated 11 years ago
- Read or write to a stream using `while` and `await`, not event handlers.☆13Apr 19, 2023Updated 3 years ago
- ZINA is a secure messaging protocol for mobile devices☆23Mar 5, 2018Updated 8 years ago
- Notes for CIS 700 (Fall '19) at Syracuse U.☆13Nov 6, 2019Updated 6 years ago
- An example of how to use the DevAlpha platform☆16Dec 2, 2022Updated 3 years ago