Beast code in Giters

Adam Walker's starred repositories

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

Language:SMTNOASSERTION32500

Verilator open-source SystemVerilog simulator and lint system

Language:C++LGPL-3.0230200

:house_with_garden: Open source home automation that puts local control and privacy first.

Language:PythonApache-2.06986500

nextpnr portable FPGA place and route tool

Language:C++ISC125300

Language Server Protocol (LSP) support for vim and neovim.

Language:RustMIT354400

Yosys Open SYnthesis Suite

Language:C++ISC330800

Industrial-strength monadic parser combinator library

Language:HaskellNOASSERTION89800

Haskell to VHDL/Verilog/SystemVerilog compiler

Language:HaskellNOASSERTION139600

Language:HaskellLGPL-2.1300

Software to turn the RTL2832U into an SDR

Language:CGPL-2.067600

Vim-fork focused on extensibility and usability

Language:Vim ScriptNOASSERTION7997400