koka831

koka831's Stars

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.2k52

• ferrocene/ferrocene

  Source code of Ferrocene, safety-critical Rust toolchain

  Language:Rust1.4k37

• rapidfuzz/strsim-rs

  :abc: Rust implementations of string similarity metrics

  Language:Rust42138

• tc39/proposal-call-this

  A proposal for a simple call-this operator in JavaScript.

  Language:HTML1235

• YaLTeR/niri

  A scrollable-tiling Wayland compositor.

  Language:Rust5.1k170

• signalapp/libsignal

  Home to the Signal Protocol as well as other cryptographic primitives which make Signal possible.

  Language:Rust3.9k458

• atuinsh/atuin

  ✨ Magical shell history

  Language:Rust22.5k596

• DarthSim/overmind

  Process manager for Procfile-based applications and tmux

  Language:Go3k83

• z3z1ma/dbt-osmosis

  Provides automated YAML management and a streamlit workbench. Designed to optimize dev workflows.

  Language:Python51254

• feschber/lan-mouse

  mouse & keyboard sharing via LAN

  Language:Rust2.9k95

• antithesishq/madness

  Madness enables you to easily run the same binary on NixOS and non-NixOS systems

  Language:Nix2262

• shell-pool/shpool

  Think tmux, then aim... lower

  Language:Rust1.2k22

• cryspen/hax

  A Rust verification tool

  Language:OCaml22823

• PufferAI/PufferLib

  Simplifying reinforcement learning for complex game environments

  Language:C1.6k89

• google/re2

  RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.

  Language:C++9.1k1.2k

• dtolnay/typeid

  Const TypeId and non-'static TypeId

  Language:Rust602

• formal-land/coq-of-rust

  Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦

  Language:Coq46717

• ipetkov/crane

  A Nix library for building cargo projects. Never build twice thanks to incremental artifact caching.

  Language:Nix1k101

• minirust/minirust

  A precise specification for "Rust lite / MIR plus"

  Language:Rust83734

• smol-rs/event-listener

  Notify async tasks or threads

  Language:Rust45932

• taiki-e/portable-atomic

  Portable atomic types including support for 128-bit atomics, atomic float, etc.

  Language:Rust17217

• oxalica/rust-overlay

  Pure and reproducible nix overlay of binary distributed rust toolchains

  Language:Nix1k62

• rust-vmm/vm-memory

  Virtual machine's guest memory crate

  Language:Rust316102

• flox/flox

  Developer environments you can take with you

  Language:Rust3k76

• tokio-rs/prost

  PROST! a Protocol Buffers implementation for the Rust Language

  Language:Rust4.1k526

• dancrossnyc/rxv64

  xv6 OS

  Language:Rust2384

• CharlotteOS-Deprecated/charlotte-core

  The Kernel of CharlotteOS

  Language:Rust1129

• mewz-project/mewz

  A unikernel designed specifically for running Wasm applications and compatible with WASI

  Language:Zig55615

• google/sanitizers

  AddressSanitizer, ThreadSanitizer, MemorySanitizer

  Language:C11.8k1.1k

• taiki-e/auto_enums

  A library for to allow multiple return types by automatically generated enum.

  Language:Rust35714