-
ditrigon Public
A modern IRC client using GTK4
-
emacs-dotfiles Public
My emacs dotfile, inspired by spacemacs.
-
riscv-isa-manual Public
Forked from riscv/riscv-isa-manualRISC-V Instruction Set Manual
TeX Creative Commons Attribution 4.0 International UpdatedFeb 25, 2026 -
-
verilator Public
Forked from verilator/verilatorVerilator open-source SystemVerilog simulator and lint system
SystemVerilog Other UpdatedFeb 25, 2026 -
kotki Public
Forked from kroketio/kotkiSimple and fast language translations without using the cloud.
C++ Mozilla Public License 2.0 UpdatedMay 30, 2025 -
-
channel-bench-tools Public
Forked from SEL4PROJ/channel-bench-toolsHTML BSD 2-Clause "Simplified" License UpdatedMar 15, 2024 -
trdb Public
Forked from pulp-platform/trdbRISC-V processor tracing tools and library
C GNU General Public License v3.0 UpdatedMar 10, 2024 -
riscv-cbqri Public
Forked from riscv-non-isa/riscv-cbqriThis repo holds the work area and revisions of a QoS register interface for caches and memory controllers specification. The QoS register interface is a non-ISA specification that supports configur…
Makefile Creative Commons Attribution 4.0 International UpdatedFeb 28, 2024 -
-
-
seL4_libs Public
Forked from seL4/seL4_libsNo-assurance libraries for rapid-prototyping of seL4 apps.
C Other UpdatedFeb 23, 2024 -
seL4_tools Public
Forked from seL4/seL4_toolsBasic tools for building seL4 projects
C Other UpdatedFeb 23, 2024 -
pdf.js Public
Forked from zotero/pdf.jsPDF Reader in JavaScript
JavaScript Apache License 2.0 UpdatedFeb 21, 2024 -
aehneln Public
A RISC-V rv64ima_zicsr_zifencei emulator.
-
cryptopals-challenge Public
Some solutions to the cryptopals challenge
Python MIT License UpdatedJan 31, 2024 -
blobby Public
Read and dump git object files (loose and packed)
Python MIT License UpdatedJan 3, 2024 -
riscv-compliance Public
Forked from riscv/riscv-arch-testAssembly BSD 3-Clause "New" or "Revised" License UpdatedJun 22, 2023 -
embench-iot Public
Forked from embench/embench-iotThe main Embench repository
C GNU General Public License v3.0 UpdatedJun 15, 2023 -
-
verilator-exploration Public
Explore various verilator 5 features.
SystemVerilog MIT License UpdatedApr 1, 2023 -
yosys-f4pga-plugins Public
Forked from chipsalliance/yosys-f4pga-pluginsPlugins for Yosys developed as part of the F4PGA project.
Verilog Apache License 2.0 UpdatedMar 28, 2023 -
riscv-europe-summit-templates Public
Forked from riscv-europe/riscv-europe-summit-templatesRISC-V Summit Europe tempales
TeX UpdatedMar 8, 2023 -
marian-lite Public
Forked from kroketio/marian-liteCompact version of browsermt/marian-dev
C++ Other UpdatedJan 21, 2023 -
sentencepiece-browsermt Public
Forked from kroketio/sentencepiece-browsermtUnsupervised text tokenizer and detokenizer for Neural Network-based text generation. Browsermt version.
C++ Apache License 2.0 UpdatedJan 21, 2023 -
evil-collection Public
Forked from emacs-evil/evil-collectionA set of keybindings for evil-mode
Emacs Lisp GNU General Public License v3.0 UpdatedJan 15, 2023 -
pulp_cluster Public
Forked from pulp-platform/pulp_clusterThe multi-core cluster of a PULP system.
SystemVerilog Other UpdatedJan 6, 2023 -
riscv-gnu-toolchain Public
riscv-gnu-toolchain with PULP specific patches
-
riscv-gcc Public
riscv-gcc with PULP specific patches
C GNU General Public License v2.0 UpdatedNov 9, 2022
{{ message }}