seako

seako's Stars

• copy/v86

  x86 PC emulator and x86-to-wasm JIT, running in the browser

  Language:JavaScript20.5k3428011.5k

• benfred/py-spy

  Sampling profiler for Python programs

  Language:Rust13.5k111387453

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell6k1062.9k274

• indygreg/PyOxidizer

  A modern Python application packaging and distribution tool

  Language:Rust5.7k64568244

• yaelwrites/Big-Ass-Data-Broker-Opt-Out-List

  4.8k11520179

• dimforge/nalgebra

  Linear algebra library for Rust.

  Language:Rust4.2k56743501

• bytecodealliance/lucet

  Lucet, the Sandboxing WebAssembly Compiler.

  Language:Rust4.1k88164165

• bouk/monkey

  Monkey patching in Go

  Language:Go3.4k450368

• jepsen-io/maelstrom

  A workbench for writing toy implementations of distributed systems.

  Language:Clojure3.2k2637196

• tikv/raft-rs

  Raft distributed consensus algorithm implemented in Rust.

  Language:Rust3.1k52161410

• bastion-rs/bastion

  Highly-available Distributed Fault-tolerant Runtime

  Language:Rust2.8k58112101

• idris-lang/Idris2

  A purely functional programming language with first class types

  Language:Idris2.6k641.3k383

• taichi-dev/difftaichi

  10 differentiable physical simulators built with Taichi differentiable programming (DiffTaichi, ICLR 2020)

  2.6k6343263

• bookwyrm-social/bookwyrm

  Social reading and reviewing, decentralized with ActivityPub

  Language:Python2.4k301.4k271

• rmcelreath/statrethinking_winter2019

  Statistical Rethinking course at MPI-EVA from Dec 2018 through Feb 2019

  2k17436394

• tomaka/redshirt

  🧑‍🔬 Operating system

  Language:Rust1.4k3216027

• feenkcom/gtoolkit

  Glamorous Toolkit is the Moldable Development Environment. It empowers you to make systems explainable through contextual micro tools.

  Language:Smalltalk1.2k204.4k51

• RenderKit/ospray

  An Open, Scalable, Portable, Ray Tracing Based Rendering Engine for High-Fidelity Visualization

  Language:C++1k67515188

• qmonnet/rbpf

  Rust virtual machine and JIT compiler for eBPF programs

  Language:Rust9862547273

• richox/orz

  a high performance, general purpose data compressor written in the crab-lang

  Language:Rust816182452

• ringbahn/ringbahn

  safe bindings to io-uring

  Language:Rust665252327

• jepsen-io/elle

  Black-box transactional safety checker based on cycle detection

  Language:Isabelle655161834

• binpash/pash

  PaSh: Light-touch Data-Parallel Shell Processing

  Language:Shell5701222343

• hawkw/thingbuf

  in-place allocation-reusing queues for Rust

  Language:Rust36371925

• Nadrieril/dhall-rust

  Maintainable configuration files, for Rust users

  Language:Rust3131212926

• project-oak/rust-verification-tools

  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

  Language:Rust275165637

• edwinb/Idris2

  A purely functional programming language with first class types

  Language:Idris58408

• djugei/optimath

  A #[no_std] LinAlg library

  Language:Rust51922

• bluejekyll/vermilionrc

  A safe and reliable process manager

  Language:Rust4211121

• LoganKelly/ClippyForMaya

  Adds Clippy from Microsoft Office to Autodesk Maya.

  Language:Python13502