Alternatives and similar repositories for manifesto

Users that are interested in manifesto are comparing it to the libraries listed below

• m8pple / arch2-2016-cw
  ☆10Updated 8 years ago
• martinferianc / quantised-bayesian-nets
  On the Effects of Quantisation on Model Uncertainty in Bayesian Neural Networks
  ☆18Updated last year
• ymherklotz / verismith
  Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
  ☆106Updated last month
• AlexMontgomerie / samo
  SAMO: Streaming Architecture Mapping Optimisation
  ☆33Updated last year
• martinferianc / relax
  💤 Relaxation labelling to refine edge detection 💤
  ☆11Updated 5 years ago
• LangProc / langproc_2015_cw
  ☆6Updated 8 years ago
• martinferianc / Robotics-EIE3
  Robotics assignments done as a coursework for CO333
  ☆12Updated 5 years ago
• minhhn2910 / QPyTorch
  Low Precision Arithmetic Simulation in PyTorch - extension for posit and beyond
  ☆14Updated 3 weeks ago
• os-hxfan / BayesNN_FPGA
  FPGA-based hardware acceleration for dropout-based Bayesian Neural Networks.
  ☆24Updated last year
• gopala-kr / DL-on-Silicon
  research, experimentation and implementation of hardware-agnostic accelerated DL framework
  ☆36Updated 3 weeks ago
• benjmarshall / hlsclt
  A Vivado HLS Command Line Helper Tool
  ☆36Updated 3 years ago
• rdaly525 / CS448H
  Github for CS448H Winter 2017
  ☆14Updated 7 years ago
• MartaAndronic / NeuraLUT
  NeuraLUT: Hiding Neural Network Density in Boolean Synthesizable Functions
  ☆37Updated 2 months ago
• EI-research-group / deep-ei
  Tools for examining the causal structure of artificial neural networks with information theory
  ☆22Updated 4 years ago
• RaulMurillo / deep-pensieve
  A Deep Learning Framework for the Posit Number System
  ☆28Updated 10 months ago
• csail-csg / pyverilator
  Python wrapper for verilator model
  ☆86Updated last year
• vijay03 / asstprofbook
  Github repo backing website for the CS Assistant Professor Handbook
  ☆26Updated 10 months ago
• AlexMontgomerie / fpgaconvnet-hls
  ☆30Updated 7 months ago
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆92Updated last year
• mfinzi / residual-pathway-priors
  ☆20Updated 3 years ago
• yuzeng2333 / autoGenILA
  Automatic generation of architecture-level models for hardware from its RTL design.
  ☆13Updated 2 years ago
• GUT-AI / gut-ai
  Documentation, content and meta files about GUT-AI.
  ☆28Updated last month
• daajoe / GPUSAT
  ☆11Updated 3 years ago
• sgomber / CDCL-SAT
  A SAT Solver based on CDCL (Conflict Driven Clause Learning) implemented in python
  ☆18Updated 4 years ago
• Xilinx / brevitas-radioml-challenge-21
  ☆16Updated 3 years ago
• shi27feng / transformers.satisfy
  propositional satisfiability problem (SAT) goes neural and deep
  ☆13Updated 3 years ago
• Cornell-RelaxML / Hyperdimensional-Computing
  Official implementation for the paper "Understanding Hyperdimensional Computing for Parallel Single-Pass Learning"
  ☆19Updated 2 years ago
• JohnnyYeeee / math_prog_synth_env
  ☆12Updated 3 years ago
• lip6 / painless
  A framework to ease parallelization of sequential SAT solvers
  ☆19Updated last month
• iwls2020-lsml-contest / iwls2020-lsml-contest
  ☆21Updated 2 years ago