Alternatives and similar repositories for numerical-fpga-thesis

Users that are interested in numerical-fpga-thesis are comparing it to the libraries listed below

• combinatorylogic / soc
  An experimental System-on-Chip with a custom compiler toolchain.
  ☆60Updated 5 years ago
• inforichland / freezing-spice
  A pipelined RISCV implementation in VHDL
  ☆97Updated 7 years ago
• polysome / aggregate-1
  An open source miniPCIe development board based on the Xilinx Spartan 6 LX150T
  ☆145Updated 9 years ago
• kmonachopoulos / Spacecraft-Multicore-Emulator
  Spacecraft Multicore Emulator Based on Leon 3 Sparc V8 architecture processor
  ☆52Updated 6 years ago
• scivey / xact
  multi-way atomic compare-and-swap with x64/TSX
  ☆86Updated 8 years ago
• jfbastien / no-sane-compiler
  No sane compiler would optimize atomics: the presentation
  ☆108Updated 9 years ago
• kaigai / nvme-kmod
  A kernel module to support SSD-to-GPU direct DMA
  ☆126Updated 8 years ago
• rose-compiler / rose-develop
  The latest development version of rose. It may not pass all regression tests.
  ☆106Updated 6 years ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 8 years ago
• kragen / laserboot
  laser-cutting experiments for bootstrapping planar fabrication
  ☆26Updated 9 years ago
• schwering / limbo
  A Reasoning System for a First-Order Logic of Limited Belief, written in C++
  ☆234Updated 4 years ago
• uwplse / synapse
  Optimizing Synthesis with Metasketches, POPL 2016
  ☆23Updated 8 years ago
• siedentop / rapidfuzz
  Experimentation around 'emil-e/rapidcheck' by combining it with libFuzzer
  ☆27Updated 7 years ago
• abau / cppsat
  Propositional Encodings in C++11
  ☆18Updated 7 years ago
• wkoszek / flviz
  FLVIz - Finite Automata Simulator written in QT/Graphviz
  ☆36Updated 10 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 9 years ago
• polysome / evolvable_motherboard
  Paul Layzell's Evolvable Motherboard
  ☆13Updated 10 years ago
• compcalc / compcalc.github.io
  🧮 Reading group about differential, integral and logical calculi.
  ☆26Updated last year
• BayesianLogic / blog
  The BLOG programming language
  ☆100Updated 2 years ago
• jrmuizel / pyunum
  Python port of the Mathematica unum prototype from "The End of Error"
  ☆52Updated 9 years ago
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 6 years ago
• mwiebe / numpy_half
  Half-precision floating point for NumPy
  ☆13Updated 15 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆216Updated last year
• pfdamasceno / shakespeare
  Identify relevant scientific papers with simple machine learning techniques
  ☆27Updated 10 years ago
• danluu / NativeJIT
  A C++ expression -> x86 JIT
  ☆18Updated 8 years ago
• vxmdesign / buildroot
  My fork of the buildroot system
  ☆17Updated 11 years ago
• admk / soap
  soap - Structural Optimisation of Arithmetic Programs
  ☆24Updated 9 years ago
• fabioperez / space-invaders-vhdl
  Space Invaders game implemented with VHDL
  ☆156Updated 9 years ago
• jameshegarty / rigel
  Rigel is a language for describing image processing hardware embedded in Lua. Rigel can compile to Verilog hardware designs for Xilinx FP…
  ☆56Updated 5 years ago
• HaoZeke / Q_ANN
  A proof of concept of Neural Networking for Quantum State recognition.
  ☆68Updated 8 years ago