Skip to content
View KaninShen's full-sized avatar

Block or report KaninShen

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

Starred repositories

Showing results

Extremely Simple Microbenchmarks

C 44 27 Updated May 23, 2018

Implementation of a 2-way out-of-order Superscalar Architecture on VHDL.

VHDL 3 3 Updated Dec 13, 2022

A simple superscalar out-of-order RISC-V microprocessor

SystemVerilog 248 20 Updated Feb 24, 2025

New computer and new CPU PoC

C 64 7 Updated Jun 30, 2025

Hello World-like program with Vulkan. Initialization to execute compute shaders.

C 4 Updated Dec 9, 2022

Switch to new repo https://github.com/hzyhhzy/KataGomo

204 34 Updated Jun 5, 2026

GTP engine and self-play learning in Go

C++ 4,690 719 Updated Jun 12, 2026

DragonFly BSD System Source Repository (read-only mirror)

C 613 136 Updated Jun 10, 2026

Chez Scheme

Scheme 7,289 1,013 Updated Jun 10, 2026

Git implementation for plan 9

C 209 8 Updated Jul 24, 2024

A fairly strong Go/Baduk/Weiqi playing program

C 554 115 Updated May 17, 2026

Scheme on SECD

C 43 7 Updated Feb 9, 2021

Open Watcom V2.0 - Source code repository, Wiki, Latest Binary build, Archived builds including all installers for download.

C 1,215 198 Updated Jun 15, 2026

Computer Algebra and Symbolic Computation for R6RS Scheme

Scheme 65 5 Updated Jan 31, 2023

A hobby implementation of an ncurses binding for Idris 2

Idris 17 3 Updated Dec 9, 2024

An open-source, customizable intermediate logic textbook

TeX 1,315 276 Updated May 25, 2026

Cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.

C 17,155 2,102 Updated Jun 14, 2026

Code and bugfixes for Instant Kingdom's Notrium, a topdown survival game

C++ 93 29 Updated Jul 25, 2022

Luanti (formerly Minetest) is an open source voxel game-creation platform with easy modding and game creation

C++ 12,979 2,341 Updated Jun 14, 2026

๐ŸŽฎ ๐Ÿ“ A list of Game Development resources to make magic happen.

Markdown 16,820 1,197 Updated Apr 9, 2026

Archived โ€” A list of games, add-ons, maps, etc. hosted on GitHub. Any genre. Any platform. Any engine.

24,830 3,517 Updated Sep 13, 2025

Otus Lisp (Ol) is a purely functional multi-platform Scheme dialect with built-in FFI and infix math.

Scheme 278 14 Updated Jun 14, 2026

An object-oriented dialect of Scheme

C 63 7 Updated Mar 20, 2026

๐Ÿ˜Ž Curated list of awesome resources on Compilers, Interpreters and Runtimes

9,806 697 Updated May 26, 2024

IT e-books

Shell 12 12 Updated Apr 5, 2018
Haskell 1 Updated Aug 19, 2014
TeX 30 4 Updated Mar 24, 2020

Copy of DreamOS written in R5RS Scheme by David Joseph Stith uploaded to Github from the Web Archive. I plan to use this as reference for a future project :)

Scheme 12 5 Updated Jul 26, 2021

Functional reactive game programming in GNU Guile Scheme. (mirror)

Scheme 41 3 Updated Nov 11, 2015

A purely functional programming language with first class types

Idris 2,978 405 Updated Jun 12, 2026
Next