Skip to content

@Silimate Silimate, Inc.

Change the repository type filter

All

    Repositories list

    58 repositories

    • Nuitka

      Public
      Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.13. You feed it your Python app, it does a lot of clever thing…
      Python
      •
      GNU Affero General Public License v3.0
      •765•0•0•0•Updated Feb 25, 2026Feb 25, 2026

    • yosys

      Public
      Yosys Open SYnthesis Suite
      C++
      •
      ISC License
      •1k•0•0•2•Updated Feb 25, 2026Feb 25, 2026

    • liberty2json

      Public
      Liberty to JSON converter
      converterjsonlibertyopensta
      Verilog
      •
      GNU General Public License v3.0
      •0•3•0•0•Updated Feb 24, 2026Feb 24, 2026

    • sv-tests-pvt-results

      Public
      Output of the sv-tests runs.
      HTML
      •6•0•0•0•Updated Feb 24, 2026Feb 24, 2026

    • vcd2fst

      Public
      Convert VCD waveform file to FST waveform file
      C
      •1•1•0•0•Updated Feb 23, 2026Feb 23, 2026

    • rust_hdl

      Public
      A fast VHDL language server and analysis library written in Rust
      Rust
      •
      Other
      •68•0•0•0•Updated Feb 22, 2026Feb 22, 2026

    • OpenSTA

      Public
      OpenSTA Silimate fork
      C++
      •
      GNU General Public License v3.0
      •55•2•0•3•Updated Feb 20, 2026Feb 20, 2026

    • silisizer

      Public
      Operator resize
      Verilog
      •
      GNU General Public License v3.0
      •3•1•0•1•Updated Feb 19, 2026Feb 19, 2026

    • prunefl

      Public
      SystemVerilog file list pruner
      C++
      •
      MIT License
      •0•16•0•0•Updated Feb 18, 2026Feb 18, 2026

    • bounties

      Public
      Open-source silicon bounties
      0•1•3•0•Updated Feb 16, 2026Feb 16, 2026

    • abc

      Public
      ABC: System for Sequential Logic Synthesis and Formal Verification
      C
      •
      Other
      •724•0•0•2•Updated Feb 13, 2026Feb 13, 2026

    • rIC3

      Public
      Hardware Formal Verification Tool
      Rust
      •
      GNU General Public License v3.0
      •22•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • slang-server

      Public
      A SystemVerilog language server based on the Slang parser and library.
      C++
      •
      MIT License
      •19•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • rtlmeter

      Public
      RTLMeter benchmark suite
      Verilog
      •
      Apache License 2.0
      •9•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • logikbench

      Public
      Parametrized suite of Verilog RTL benchmarks.
      Verilog
      •
      MIT License
      •4•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • yosys-slang

      Public
      SystemVerilog frontend for Yosys
      C++
      •
      ISC License
      •39•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • turtle

      Public
      TuRTLe: A Unified Evaluation of LLMs for RTL Generation 🐢 (MLCAD 2025)
      Python
      •
      Apache License 2.0
      •7•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • wellen

      Public
      wellen: waveform datastructures in Rust. Fast VCD, FST and GHW parsing for waveform viewers.
      Rust
      •
      BSD 3-Clause "New" or "Revised" License
      •19•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • FakeRAM2.0

      Public
      Python
      •17•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • vscode-verilog-hdl-support

      Public
      HDL support for VS Code
      TypeScript
      •
      MIT License
      •84•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • verible

      Public
      Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server
      C++
      •
      Other
      •272•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • verilator

      Public
      Verilator open-source SystemVerilog simulator and lint system
      SystemVerilog
      •
      Other
      •761•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • CULS

      Public
      GPU-based logic synthesis tool
      C++
      •
      BSD 3-Clause "New" or "Revised" License
      •16•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • vscode-copilot-chat

      Public
      Copilot Chat extension for VS Code
      TypeScript
      •
      MIT License
      •1.7k•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • chimera

      Public
      A tool for synthesizing Verilog programs
      Verilog
      •
      GNU General Public License v3.0
      •14•1•0•0•Updated Feb 13, 2026Feb 13, 2026

    • iverilog

      Public
      Icarus Verilog
      C++
      •
      GNU General Public License v2.0
      •587•0•0•0•Updated Feb 13, 2026Feb 13, 2026

    • kepler-formal

      Public
      LEC - Logic Equivalence Checking - Formal Verification
      Verilog
      •
      GNU General Public License v3.0
      •4•0•0•0•Updated Feb 12, 2026Feb 12, 2026

    • gtkwave

      Public
      GTKWave is a fully featured GTK+ based wave viewer for Unix and Win32 which reads LXT, LXT2, VZT, FST, and GHW files as well as standard Verilog VCD/EVCD files …
      C
      •
      GNU General Public License v2.0
      •155•0•0•0•Updated Feb 6, 2026Feb 6, 2026

    • vscode-terosHDL

      Public
      VHDL and Verilog/SV IDE: state machine viewer, linter, documentation, snippets... and more!
      VHDL
      •
      GNU General Public License v3.0
      •64•0•0•0•Updated Feb 3, 2026Feb 3, 2026

    • ibex

      Public
      Ibex is a small 32 bit RISC-V CPU core, previously known as zero-riscy.
      SystemVerilog
      •
      Apache License 2.0
      •694•0•0•0•Updated Feb 3, 2026Feb 3, 2026