pandaman64

pandaman64's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  297k5.4k66327.9k

• 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.

  Language:Python46.1k851992.1k

• actix/actix

  Actor framework for Rust.

  Language:Rust8.5k142258646

• nuta/kerla

  A new operating system kernel with Linux binary compatibility written in Rust.

  Language:Rust3.3k405889

• axboe/liburing

  Library providing helpers for the Linux kernel io_uring support

  Language:C2.8k104752396

• kuma-ui/kuma-ui

  🐻‍❄️ A Headless, Utility-First, and Zero-Runtime UI Component Library ✨

  Language:TypeScript1.7k89162

• huachaohuang/awesome-dbdev

  Awesome materials about database development.

  1.4k46068

• eyre-rs/eyre

  A trait object based error handling type for easy idiomatic error handling and reporting in Rust applications

  Language:Rust1.3k117063

• langjam/langjam

  1k971531

• triplehex/piccolo

  An experimental stackless Lua VM implemented in pure Rust

  Language:Rust1k501637

• richardanaya/tour_of_rust

  A tour of rust's language features

  Language:JavaScript8752390204

• kreteshq/kretes

  A Programming Environment for TypeScript & Deno

  Language:TypeScript676158535

• PolyMeilex/rfd

  Rusty File Dialog

  Language:Rust549511161

• guibou/nixGL

  A wrapper tool for nix OpenGL application

  Language:Nix468168553

• jrh13/hol-light

  The HOL Light theorem prover

  Language:OCaml408265275

• digama0/mm0

  Metamath Zero specification language

  Language:Rust305215840

• epiqc/ScaffCC

  Compilation, analysis and optimization framework for the Scaffold quantum programming language.

  Language:C++187192953

• starpos/develop-transaction-system

  Source code of the book "Develop A Transaction System" (in Japanese).

  Language:TeX186405

• yusdacra/nix-cargo-integration

  Library to easily and effortlessly integrate Cargo projects with Nix.

  Language:Nix18127819

• pmiddend/nixos-manager

  Manage your NixOS packages and configuration via a simple, intuitive UI

  Language:Haskell1759107

• Diggsey/act-zero

  Language:Rust12210117

• CAD97/pointer-utils

  A collection of small utilities for working with pointer types in Rust.

  Language:Rust1187159

• serokell/nix-npm-buildpackage

  Build nix packages that use npm/yarn

  Language:Nix101222339

• Nymphium/eff.lua

  ONE-SHOT Algebraic Effects for Lua!

  Language:Lua49300

• Laze-Project-Team/LazeCompiler

  Lazeのコンパイラ

  Language:C++15071

• norihitoishida/adjust-posts

  Language:JavaScript6195

• nyuichi/shari

  Shari the :sushi: prover

  Language:Rust530

• DerickEddington/deep_safe_drop

  Safe dropping of deep trees that otherwise could cause stack overflow.

  Language:Rust4300

• ajavadia/ScaffCC

  Compilation, analysis and optimization framework for the Scaffold quantum programming language.

  Language:C++20

• konn/party-ferris

  An emoji of Ferris dancing so happily

  Language:Haskell1