Starred Repositories

• kelseyhightower / nocode

  Star

  The best way to write secure and reliable applications. Write nothing; deploy nowhere.

  Dockerfile 60,455 4,712 Starred Sep 12, 2019

• emsec / hal

  Star

  HAL – The Hardware Analyzer

  C++ 621 75 Starred Aug 1, 2019

• riscv / riscv-bitmanip

  Star

  Working draft of the proposed RISC-V Bitmanipulation extension

  Makefile 203 66 Starred Mar 22, 2019

• pysmt / pysmt

  Star

  pySMT: A library for SMT formulae manipulation and solving

  Python 569 129 Starred Mar 12, 2019

• tree-sitter / tree-sitter-verilog

  Star

  SystemVerilog grammar for tree-sitter

  C 91 35 Starred Mar 7, 2019

• YosysHQ / sby-gui

  Star

  GUI for SymbiYosys

  C++ 12 4 Starred Feb 24, 2019

• ddsmt / ddSMT

  Star

  A delta debugger for SMT benchmarks in SMT-LIB v2.

  Python 49 17 Starred Jun 19, 2018

• BinomialLLC / template_contracts

  Star
  61 8 Starred Oct 17, 2017

• SRI-CSL / yices2

  Star

  The Yices SMT Solver

  SMT 369 46 Starred May 24, 2017

• forflo / yodl

  Star

  A VHDL frontend for Yosys

  C++ 102 3 Starred Jul 7, 2016

Starred Topics