jix Goto Github PK

minimal_models_example

natron

Open-source video compositing software. Node-graph based. Similar in functionalities to Adobe After Effects and Nuke by The Foundry.

neca

NECA - Not Even Coppersmith's Attack: A ROCA weak RSA key attack

nerv

Naive Educational RISC V processor

openlase

OpenLase

pac_brute

pandoc-ast

partial_ref

Type checked partial references for rust

permafrost

A permutation group library

permutation_group_experiments

pydical

Python wrapper for the CaDiCaL SAT solver

rastertortl

A CUPS raster filter for the now-ancient RTL printers, such as the HP DesignJet 600

rattle

Abandoned python HDL prototype I started because I was unhappy with migen. You probably want to use amaranth (previously known as nmigen) instead, it also takes care of the things that prompted me to start this, but is actively used and maintained.

riscv-formal

RISC-V Formal Verification Framework

rust

a safe, concurrent, practical language

rust-actions

rust-ci

rust-pandoc

sat-intro-2019-06-20

Demo application presented during my "Introduction to SAT Solving" talk at the OR Meetup Leipzig in June 2019.

sat-intro-nook

satbench

WIP SAT benchmarking tooling, written with only my personal use in mind.

sby

SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

sccache

sccache is ccache with cloud storage

silly-example-project

A silly example project I need to demonstrate stuff

sortnetopt

Lower Size Bounds for Sorting Networks

sortnetopt-gnp

Lower Size Bounds for Sorting Networks using Generate and Prune

sphinx-argparse

Sphinx extension that automatically document argparse commands and options

starlit

CDCL SAT solver written in Rust. Work in progress. The basics are working, but there are lots of changes ahead, including API and CLI breakage.

streampush

Tunnel TCP connections over QUIC with an optional fixed rate congestion controller

sva-axi4-fvip

YosysHQ SVA AXI Properties