cr1901 Goto Github PK

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

amaranth

A refreshed Python toolbox for building complex digital hardware

amaranth-boards

Board and connector definition files for nMigen

amaranth-rfcs

RFCs for changes to the Amaranth language and standard components

amaranth-soc

System on Chip toolkit for Amaranth HDL

amaranth-stdio

Industry standard I/O for Amaranth HDL

amaranth-unused-elaboratable

amaranth_uart

It's a UART... written in Amaranth!

aoc-2022

Attempt at Advent of Code 2022 in Squeak/Smalltalk

arty-soc

Digilent's Arty SoC based on LiteX

at2xt

AT to XT Keyboard Protocol Converter firmware + schematic

atd_m117

Notes on reverse engineering the ADT Model M117 memory expansion ISA card.

atom-sync-cygwin

Atom package to sync files bidirectionally between remote host and local over ssh+rsync optimized for Windows with cygwin

ats-aoc2017

Advent of Code 2017 using ATS2!

autoclip

📎 Do something on your clipboard, automatically.

avr-hal

embedded-hal abstractions for AVR microcontrollers

awesome-embedded-rust

Curated list of resources for Embedded and Low-level development in the Rust programming language

bmutils

My personal browser bookmarking utilities.

boneless-cpu

Resource-efficient 16-bit CPU architecture for FPGA control plane

boneless-sim

Simulator for the Boneless CPU.

boolector

A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.

boolector-1

Unofficial nextpnr WebAssembly packages

borg-import

importer for rsync+hardlink based backups / rsnapshot

bscan_spi_bitstreams

btor2tools

A generic parser and tool package for the BTOR2 format.

chessie

Potentially misguided experiments in ML and types

compiler-builtins

Porting `compiler-rt` intrinsics to Rust

conda-hdmi2usb-packages

Conda build recipes for the toolchains needed by LiteX / MiSoC firmware

cortex-m-rt

Minimal startup / runtime for Cortex-M microcontrollers

cortex-m-rtfm

Real Time For the Masses (RTFM) framework for ARM Cortex-M microcontrollers