-
-
calyx Public
Forked from calyxir/calyxIntermediate Language (IL) for Hardware Accelerator Generators
Rust MIT License UpdatedSep 29, 2026 -
chisel Public
Forked from chipsalliance/chiselChisel: A Modern Hardware Design Language
Scala Apache License 2.0 UpdatedSep 27, 2026 -
btor2-opt Public
Btor2 parser, circuit mitter, and code optimizer
-
OpenROAD-flow-scripts Public
Forked from The-OpenROAD-Project/OpenROAD-flow-scriptsOpenROAD's scripts implementing an RTL-to-GDS Flow. Documentation at https://openroad-flow-scripts.readthedocs.io/en/latest/
Verilog Other UpdatedSep 7, 2026 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedSep 3, 2026 -
-
-
yosys Public
Forked from YosysHQ/yosysYosys Open SYnthesis Suite
C++ ISC License UpdatedJun 19, 2026 -
buildroot.nix Public
Forked from velentr/buildroot.nixFlake for building Buildroot using nix
Nix UpdatedApr 11, 2026 -
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are disabled. Please only use release tarballs from the QEMU website.
C Other UpdatedApr 9, 2026 -
patronus_eggmc Public
Forked from cucapra/patronuswork in progress, playing around with btor2 in rust
SMT BSD 3-Clause "New" or "Revised" License UpdatedApr 8, 2026 -
-
-
-
women-in-programming-languages-research Public
Forked from jeanqasaur/women-in-programming-languages-researchWomen in Programming Languages and Software Engineering Research
UpdatedNov 29, 2024 -
woset-workshop.github.io Public
Forked from woset-workshop/woset-workshop.github.ioWorkshop on Open-Source EDA Technology BAFA (WOSET)
UpdatedNov 13, 2024 -
SVExhaustiveTester Public
Cycle-bound exhaustive differential tester for two logically equivalent designs.
Python UpdatedMar 1, 2024 -
-
AutomatedSoftwareTesting Public
Repository for my automated software testing assignments
LLVM UpdatedDec 5, 2023 -
ProgramVerification Public
Repository containing my work done for the Program Verification course.
Python UpdatedNov 30, 2023 -
tomverbeure.github.io Public
Forked from tomverbeure/tomverbeure.github.ioHTML UpdatedNov 27, 2023 -
chisel-template Public template
Forked from chipsalliance/chisel-templateA template project for beginning new Chisel work
Scala The Unlicense UpdatedNov 20, 2023 -
-
-
Fast-Generalized-Floyd-Warshall Public
Forked from Sh-Anand/Fast-Generalized-Floyd-WarshallOptimized code generator for the floyd warshall algorithm
C UpdatedMar 10, 2023 -
PermafrostTilter Public
Small platformer based on avoiding the cold and trying to stay warm.
Java GNU General Public License v3.0 UpdatedNov 16, 2022 -
RaytracingAccelerator Public
Ray-tracing hardware accelerator for the Nori Physically Based Renderer, implemented in Chisel3.
Verilog GNU General Public License v3.0 UpdatedNov 12, 2022 -
NcursesPong Public
Simple pong game developed in C using the ncurses library.
C GNU General Public License v3.0 UpdatedNov 12, 2022 -
cae-lab Public
Forked from schoeberl/cae-labLab Material for CAE
Assembly BSD 2-Clause "Simplified" License UpdatedNov 20, 2020
{{ message }}