Gladdy / numerical-fpga-thesisLinks
Bachelor thesis Martijn Bakker -- Numerical mathematics on FPGAs using CλaSH
☆28Updated 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
Sorting:
- A pipelined RISCV implementation in VHDL☆96Updated 6 years ago
- An experimental System-on-Chip with a custom compiler toolchain.☆60Updated 5 years ago
- Spacecraft Multicore Emulator Based on Leon 3 Sparc V8 architecture processor☆50Updated 6 years ago
- An open source miniPCIe development board based on the Xilinx Spartan 6 LX150T☆144Updated 9 years ago
- FPGA Design Suite based on C to Verilog design flow.☆244Updated 6 years ago
- Paul Layzell's Evolvable Motherboard☆13Updated 9 years ago
- A kernel module to support SSD-to-GPU direct DMA☆126Updated 8 years ago
- laser-cutting experiments for bootstrapping planar fabrication☆26Updated 8 years ago
- A proof of concept of Neural Networking for Quantum State recognition.☆68Updated 8 years ago
- multi-way atomic compare-and-swap with x64/TSX☆86Updated 8 years ago
- Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…☆56Updated 4 years ago
- The CO-PRocessing THReads (COPRTHR) SDK - latest release is v1.6.2 (Freewill)☆93Updated 9 years ago
- Verilog Tetris☆13Updated 10 years ago
- a simple C-to-Verilog compiler☆51Updated 8 years ago
- Half-precision floating point for NumPy☆13Updated 14 years ago
- Spatial: "Specify Parameterized Accelerators Through Inordinately Abstract Language"☆101Updated 6 years ago
- Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer☆27Updated 7 years ago
- A Reasoning System for a First-Order Logic of Limited Belief, written in C++☆234Updated 4 years ago
- The latest development version of rose. It may not pass all regression tests.☆107Updated 6 years ago
- An Interpreter for Extended Relational Algebra (Scheme based)☆84Updated 8 years ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆17Updated 8 years ago
- Propositional Encodings in C++11☆18Updated 6 years ago
- The Antikernel operating system project☆121Updated 5 years ago
- 🧮 Reading group about differential, integral and logical calculi.☆26Updated last year
- Python port of the Mathematica unum prototype from "The End of Error"☆52Updated 9 years ago
- Sigmoid Numbers backed by IEEE Floats☆17Updated 8 years ago
- An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine☆92Updated 6 years ago
- A small implementation of LISP for the Parallella-16 board☆31Updated 11 months ago
- A Qt5 based free VLSI development tool☆30Updated 7 years ago
- another lisp library to generate c/c++ code. this one is supposed to be very simple. note that development of this repo has stopped. i am…☆65Updated 4 years ago