pandaman64's Stars
codecrafters-io/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
minimaxir/big-list-of-naughty-strings
The Big List of Naughty Strings is a list of strings which have a high probability of causing issues when used as user-input data.
actix/actix
Actor framework for Rust.
nuta/kerla
A new operating system kernel with Linux binary compatibility written in Rust.
axboe/liburing
Library providing helpers for the Linux kernel io_uring support
kuma-ui/kuma-ui
🐻❄️ A Headless, Utility-First, and Zero-Runtime UI Component Library ✨
huachaohuang/awesome-dbdev
Awesome materials about database development.
eyre-rs/eyre
A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications
langjam/langjam
triplehex/piccolo
An experimental stackless Lua VM implemented in pure Rust
richardanaya/tour_of_rust
A tour of rust's language features
kreteshq/kretes
A Programming Environment for TypeScript & Deno
PolyMeilex/rfd
Rusty File Dialog
guibou/nixGL
A wrapper tool for nix OpenGL application
jrh13/hol-light
The HOL Light theorem prover
digama0/mm0
Metamath Zero specification language
epiqc/ScaffCC
Compilation, analysis and optimization framework for the Scaffold quantum programming language.
starpos/develop-transaction-system
Source code of the book "Develop A Transaction System" (in Japanese).
yusdacra/nix-cargo-integration
Library to easily and effortlessly integrate Cargo projects with Nix.
pmiddend/nixos-manager
Manage your NixOS packages and configuration via a simple, intuitive UI
Diggsey/act-zero
CAD97/pointer-utils
A collection of small utilities for working with pointer types in Rust.
serokell/nix-npm-buildpackage
Build nix packages that use npm/yarn
Nymphium/eff.lua
ONE-SHOT Algebraic Effects for Lua!
Laze-Project-Team/LazeCompiler
Lazeのコンパイラ
norihitoishida/adjust-posts
nyuichi/shari
Shari the :sushi: prover
DerickEddington/deep_safe_drop
Safe dropping of deep trees that otherwise could cause stack overflow.
ajavadia/ScaffCC
Compilation, analysis and optimization framework for the Scaffold quantum programming language.
konn/party-ferris
An emoji of Ferris dancing so happily