Starred repositories
chipcraft-ic / riscv-formal
Forked from SymbioticEDA/riscv-formalRISC-V Formal Verification Framework
RISC-V port of gcc, forked from https://github.com/riscv/riscv-gcc. Branch chipcraft-master contains sources required by chipcraft-toolchain.
Fork of https://sourceware.org/git/binutils-gdb.git. Branch chipcraft-master contains patches needed by toolchain.
Fork of git://gcc.gnu.org/git/gcc.git. Branch chipcraft-master contains patches needed by toolchain.
Fork of https://github.com/crosstool-ng/crosstool-ng. Branch chipcraft-master contains patches needed by toolchain.
Integrated Development Environment with cycle-accurate Instruction Set Simulator for ChipCraft CC100/150/200 microcontroller series - Linux
ChipCraft RISC-V microcontroller IP library - GPL version
RISC-V port of newlib, forked from https://github.com/riscv/riscv-newlib. Branch chipcraft-master contains sources required by chipcraft-toolchain.
RV32GC Integrated Development Environment with cycle-accurate Instruction Set Simulator for Linux
chap analyzes un-instrumented core files for leaks, memory growth, and corruption
Project N.O.M.A.D, is a self-contained, offline survival computer packed with critical tools, knowledge, and AI to keep you informed and empowered—anytime, anywhere.
Tektronix TDS 5xx/6xx/7xx/8xx tools on Linux, ARM, and MacOS
Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown
DNS-Blocklists: For a better internet - keep the internet clean!
Network-wide ads & trackers blocking DNS server
Generate diagrams from textual description
Open Cubic Player (unix fork). Music visualizer for various tracked music formats (amiga modules, S3M, IT), chiptunes and other formats related to demoscene
TOS/libc is a 16/32-bit C standard library to compile programs for Atari TOS.
PSG play chip music player for the Atari ST programmable sound generator (PSG) YM2149
Software synthesizer based on the SoundFont 2 specifications
A General MIDI SoundFont with a low memory footprint.