Skip to content
View Alenkruth's full-sized avatar
🎯
Focusing
🎯
Focusing

Organizations

@comparchsa

Block or report Alenkruth

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
Showing results

Simon Cipher Library

C++ 5 1 Updated Jun 10, 2026

Formal Reasoning About Programs

Rocq Prover 729 96 Updated Mar 23, 2026

Cheddar: A Swift Fully Homomorphic Encryption (FHE) GPU Library

C++ 94 15 Updated Apr 9, 2026

THeorems one would commonly come across In Electronic Design automation

Lean 1 Updated Oct 22, 2025

Simple starter project for Hardcaml development

OCaml 35 11 Updated Jul 10, 2026
JavaScript 10 3 Updated Nov 16, 2025

Determines the modules declared and instantiated in a SystemVerilog file

Rust 51 6 Updated Sep 23, 2024

Mojo-V: A RISC-V instruction set extension for privacy-oriented programming. Mojo-V allows programmers to write software that computes on data that no software or person can see, except the data ow…

C 150 9 Updated Aug 12, 2026

SonicBOOM Spectre Attacks

C 12 1 Updated Jul 18, 2021

Tool for converting PyTorch models into raw C codes with minimal dependency and some performance optimizations.

C 49 9 Updated Sep 1, 2025

Trying to figure various CPU things out

C 104 12 Updated Jan 24, 2026

Academic CVs that you can emulate

Shell 572 54 Updated Apr 16, 2026

RJH Curriculum Vitae

TeX 102 69 Updated Aug 11, 2026

Pointer Wars: Linked List Edition Level 1

C 6 12 Updated Jul 3, 2025
Python 29 8 Updated Aug 18, 2025
C++ 110 22 Updated Jun 20, 2025

Open-source RTL logic simulator with CUDA acceleration

Rust 292 28 Updated Sep 30, 2025

The RISC-V Application Profiler is a Python-based tool designed to help software developers optimize the performance of their applications on RISC-V hardware.

Python 31 3 Updated Apr 23, 2025

Ray tracing on GPU systems

HTML 318 18 Updated Dec 29, 2025

Main Web Site (Online Books)

HTML 10,582 1,007 Updated Aug 10, 2026

Minimax: a Compressed-First, Microcoded RISC-V CPU

Verilog 228 12 Updated Feb 19, 2026

Championship Branch Prediction 2025

C++ 72 57 Updated May 19, 2025

The future home for CnC Tests and Framework Libaries

C 59 6 Updated Jan 24, 2026

Trying to figure various CPU things out

C 174 30 Updated Jan 31, 2026

Hydra is a framework for elegantly configuring complex applications

Python 10,594 953 Updated Aug 13, 2026

Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro

Tcl 1,089 249 Updated Jul 13, 2026

Run your GitHub Actions locally 🚀

Go 71,501 2,002 Updated Aug 9, 2026

A Linux-capable RISC-V multicore for and by the world

SystemVerilog 825 226 Updated Jul 13, 2026
Verilog 2 1 Updated Dec 20, 2022

RISC-V Instruction Set Manual

TeX 4,755 861 Updated Aug 10, 2026
Next