-
-
rustup Public
Forked from rust-lang/rustupThe Rust toolchain installer
Rust Apache License 2.0 UpdatedNov 20, 2024 -
rust-analyzer Public
Forked from rust-lang/rust-analyzerA Rust compiler front-end for IDEs
Rust Apache License 2.0 UpdatedNov 14, 2024 -
mbt-core Public
Forked from moonbitlang/coreMoonBit's Core library
Shell Apache License 2.0 UpdatedNov 12, 2024 -
mbt-x Public
Forked from moonbitlang/xexperimental packages for moonbitlang/core
UpdatedNov 7, 2024 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
-
modern-cv Public
Forked from DeveloperPaul123/modern-cvA modern resume template written in Typst, inspired by Awesome-CV
-
salsa Public
Forked from salsa-rs/salsaA generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
Rust Apache License 2.0 UpdatedAug 26, 2024 -
ComicKhan Public
Forked from shaysugg/ComicKhan.cbz/.cbr/.pdf reader ap 10000 p
Swift GNU General Public License v3.0 UpdatedJul 19, 2024 -
-
C in four functions
C GNU General Public License v2.0 UpdatedMay 18, 2024 -
tiny-gpu Public
Forked from adam-maj/tiny-gpuA minimal GPU design in Verilog to learn how GPUs work from the ground up
SystemVerilog UpdatedApr 27, 2024 -
zombie Public
Forked from MarisaKirisame/zombieZombie chan revive!
C++ Apache License 2.0 UpdatedFeb 13, 2024 -
-
arend-tutor Public
Forked from arend-lang/tutorial-codeSource code & exercises in Arend's documentation
Apache License 2.0 UpdatedJan 15, 2024 -
vscoq Public
Forked from rocq-prover/vsrocqA Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
OCaml MIT License UpdatedJan 4, 2024 -
air001-rs Public
Forked from h4kuy4/air001-rsA rust lib for air001
Rust MIT License UpdatedDec 27, 2023 -
probe-rs Public
Forked from Air-duino/probe-rsA debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host
Rust Apache License 2.0 UpdatedDec 25, 2023 -
agda-mode-vscode Public
Forked from banacorn/agda-mode-vscodeagda-mode on VS Code
ReScript MIT License UpdatedDec 16, 2023 -
-
zombie-eval-jian Public
Forked from MarisaKirisame/zombie-evalPython Apache License 2.0 UpdatedNov 14, 2023 -
-
-
-
jian_os Public
an implementation of phil-opp/blog_os, thank u Philipp Oppermann!
Rust UpdatedOct 9, 2023 -
nightly-conf Public
Forked from uwplse/nightly-confThe public nightly server configuration
UpdatedOct 7, 2023 -
-
-
-
{{ message }}