Skip to content
View amiloradovsky's full-sized avatar

Block or report amiloradovsky

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Verible is a suite of SystemVerilog developer tools, including a parser, style-linter, formatter and language server

C++ 1,434 219 Updated Jan 16, 2025

Example Spartan 6 project using yosys

Shell 6 1 Updated Apr 25, 2019

Your self-hosted, globally interconnected microblogging community

Ruby 47,521 7,064 Updated Jan 18, 2025

GnuCash Double-Entry Accounting Program.

C 3,596 814 Updated Jan 16, 2025

Hammer: Highly Agile Masks Made Effortlessly from RTL

Python 264 60 Updated Jan 13, 2025

An Agile RISC-V SoC Design Framework with in-order cores, out-of-order cores, accelerators, and more

Scala 1,721 672 Updated Jan 18, 2025

SystemC Reference Implementation

C++ 517 158 Updated Nov 25, 2024

Verilator open-source SystemVerilog simulator and lint system

C++ 2,672 627 Updated Jan 16, 2025

SystemRDL 2.0 language compiler front-end

C++ 242 69 Updated Jan 9, 2025

A core language for rule-based hardware design 🦑

Coq 146 12 Updated Oct 13, 2024

Command line tool to print a textual gantt chart from specially formatted input.

Shell 48 6 Updated Sep 21, 2020

Official GanttProject repository.

Java 909 311 Updated Jan 16, 2025

A Coq library for Homotopy Type Theory

Coq 1,280 195 Updated Jan 17, 2025

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

Coq 971 172 Updated Jan 18, 2025

Experimental implementation of Cubical Type Theory

Haskell 572 76 Updated Sep 21, 2023

Formal topology (and some probability) in Coq

Coq 32 8 Updated Nov 30, 2018

Topology library for Coq

Coq 11 Updated Dec 24, 2015

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

OCaml 4,903 662 Updated Jan 17, 2025
Showing results