Skip to content
View anovickis's full-sized avatar
23 followers · 123 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Pull Shark

Highlights

  • Pro

Block or report anovickis

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Pinned Loading

  1. rocket-chip-blocks rocket-chip-blocks Public

    Forked from chipsalliance/rocket-chip-blocks

    RTL blocks compatible with the Rocket Chip Generator

    Scala

  2. symbolic-circuit-solver symbolic-circuit-solver Public

    Symbolic circuit analysis: closed-form transfer functions from SPICE-like netlists. MNA + SymPy. 14 component types, 30 examples, SVG schematics, LaTeX reports.

    Python

  3. obsidianmd/obsidian-releases obsidianmd/obsidian-releases Public

    Community plugins list, theme list, and releases of Obsidian.

    19.3k 7.3k

  4. Altium-Schematic-Parser Altium-Schematic-Parser Public

    Forked from a3ng7n/Altium-Schematic-Parser

    Converts Altium .SchDoc files into json

    Python

  5. graphify-rtl graphify-rtl Public

    Forked from safishamsi/graphify

    RTL/hardware fork of graphify. Upstream's SystemVerilog extractor produced no edges; this fixes it (modules, instances, packages, includes, interfaces, binds) and adds Make, Tcl, IP-XACT, SymbiYosy…

    Python

  6. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

    The math library of Lean 4

    Lean 3.5k 1.4k