Skip to content
View LittleJianCH's full-sized avatar
:octocat:
Working
:octocat:
Working

Organizations

@vidar-team @cicada-lang
Block or Report

Block or report LittleJianCH

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A static analysis tool for Lean 4.

Lean 33 Updated Aug 1, 2024

你管这破玩意叫操作系统源码 — 像小说一样品读 Linux 0.11 核心代码

HTML 19,644 2,659 Updated Apr 2, 2024

Single header stackful cross-platform coroutine library in pure C.

C 609 40 Updated Nov 15, 2023

🚀 TypeScript compiler on top of TypeScript as frontend and LLVM as backend

TypeScript 627 29 Updated Dec 12, 2021

NEW - YOLOv8 🚀 in PyTorch > ONNX > OpenVINO > CoreML > TFLite

Python 26,909 5,364 Updated Aug 4, 2024

The Pie language, which accompanies The Little Typer by Friedman and Christiansen

Racket 685 57 Updated Jul 7, 2021

Documentation on how to access and use the Quick, Draw! Dataset.

6,064 933 Updated Aug 17, 2023
Rust 23 6 Updated Feb 20, 2024

Reverse Engineering: Decompiling Binary Code with Large Language Models

Python 2,824 207 Updated Aug 2, 2024

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

Agda 322 63 Updated Aug 3, 2024

A minimal GPU design in Verilog to learn how GPUs work from the ground up

SystemVerilog 6,760 504 Updated Jun 14, 2024

😎TT

OCaml 214 16 Updated Oct 21, 2023

Play with neural networks!

TypeScript 11,880 2,526 Updated Jul 25, 2024

Serde serializable and deserializable trait objects

Rust 1,107 36 Updated Jul 28, 2024

Type Checking in Lean 4

JavaScript 19 5 Updated Jun 3, 2024

Automatically finds all installed Steam, Epic and Ubisoft games with their respective DLC-related DLL locations on the user's computer, parses SteamCMD, Steam Store and Epic Games Store for user-se…

C# 3,446 170 Updated Jul 26, 2024

Legit DLC Unlocker for Steamworks

C++ 815 67 Updated Aug 12, 2023

A tutorial of building an LSM-Tree storage engine in a week!

Rust 2,439 329 Updated Jul 22, 2024
Nix 57 11 Updated Jul 28, 2024

A stack-based array programming language

Rust 1,490 106 Updated Aug 4, 2024

A toy dependently typed language implementation in C++

C++ 3 Updated Mar 21, 2024

Haskell implemented with combinators

Haskell 287 17 Updated Aug 1, 2024

A lock-free memory allocator

Rust 43 1 Updated Jul 27, 2024

A verified implementation of FreeCell written in Lean 4.

Lean 4 Updated Jul 7, 2024

yggdrasil compiler with rust runtime

Rust 21 Updated Mar 28, 2024

Community fork of PlayCover

Swift 7,997 750 Updated Aug 3, 2024

Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

Rust 3,786 95 Updated Jul 11, 2024

A small and portable Scheme implementation with AOT and incremental compilers that fits in 4K. It supports closures, tail calls, first-class continuations and a REPL.

Scheme 450 43 Updated Jul 18, 2024

High level commands to declare a hierarchy based on packed classes

Prolog 95 20 Updated Jul 28, 2024

Celeste Classic 2 for PICO-8!

Lua 469 33 Updated Jan 29, 2021
Next