adamwalker

adamwalker's Stars

• neovim/neovim

  Vim-fork focused on extensibility and usability

  Language:Vim Script82.1k97311.7k5.6k

• home-assistant/core

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

  Language:Python71.8k1.3k52.3k30.1k

• autozimu/LanguageClient-neovim

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

  Language:Rust3.5k41824273

• YosysHQ/yosys

  Yosys Open SYnthesis Suite

  Language:C++3.4k1381.7k871

• verilator/verilator

  Verilator open-source SystemVerilog simulator and lint system

  Language:C++2.5k703.5k586

• clash-lang/clash-compiler

  Haskell to VHDL/Verilog/SystemVerilog compiler

  Language:Haskell1.4k56967151

• YosysHQ/nextpnr

  nextpnr portable FPGA place and route tool

  Language:C++1.3k72425242

• mrkkrp/megaparsec

  Industrial-strength monadic parser combinator library

  Language:Haskell9111434985

• steve-m/librtlsdr

  Software to turn the RTL2832U into an SDR

  Language:C6838743328

• Boolector/boolector

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

  Language:SMT3341415662

• victoredwardocallaghan/hlibBladeRF

  Language:Haskell3442