Bastacyclop

Bastacyclop's Stars

• sharkdp/fd

  A simple, fast and user-friendly alternative to 'find'

  Language:Rust33.6k141860805

• RelaxedJS/ReLaXed

  Create PDF documents using web technologies

  Language:JavaScript11.8k187133428

• cyrus-and/gdb-dashboard

  Modular visual interface for GDB in Python

  Language:Python11k222253770

• cesanta/mongoose

  Embedded Web Server

  Language:C11k4661.4k2.7k

• actix/actix

  Actor framework for Rust.

  Language:Rust8.6k142260650

• s-macke/VoxelSpace

  Terrain rendering algorithm in less than 20 lines of code

  Language:C5.9k10811263

• tectonic-typesetting/tectonic

  A modernized, complete, self-contained TeX/LaTeX engine, powered by XeTeX and TeXLive.

  Language:C3.9k41453160

• servo/pathfinder

  A fast, practical GPU rasterizer for fonts and vector graphics

  Language:Rust3.6k87298204

• HigherOrderCO/Kind

  A modern proof language

  Language:Haskell3.5k74215141

• rust-lang/rls

  Repository for the Rust Language Server (aka RLS)

  Language:Rust3.5k801k257

• ron-rs/ron

  Rusty Object Notation

  Language:Rust3.3k26229122

• rkyv/rkyv

  Zero-copy deserialization framework for Rust

  Language:Rust2.9k20402168

• TeXitoi/structopt

  Parse command line arguments by defining a struct.

  Language:Rust2.7k25351151

• arximboldi/immer

  Postmodern immutable and persistent data structures for C++ — value semantics at scale

  Language:C++2.5k65133179

• Xudong-Huang/may

  rust stackful coroutine library

  Language:Rust1.9k439380

• BurntSushi/fst

  Represent large sets and maps compactly with finite state transducers.

  Language:Rust1.8k3188123

• rust-fuzz/afl.rs

  🐇 Fuzzing Rust code with American Fuzzy Lop

  Language:Rust1.6k31133105

• bodil/im-rs

  Assorted immutable collection datatypes for Rust

  Language:Rust1.5k27118111

• egraphs-good/egg

  egg is a flexible, high-performance e-graph library

  Language:Rust1.4k23138136

• lloydmeta/frunk

  Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

  Language:Rust1.3k177656

• orium/rpds

  Rust persistent data structures

  Language:Rust1.2k236057

• heim-rs/heim

  Cross-platform async library for system information fetching 🦀

  Language:Rust9011123496

• herbie-fp/herbie

  Optimize floating-point expressions for accuracy

  Language:HTML7653412032

• Drakulix/fireplace

  Modular wayland window manager written in rust

  Language:Rust601463714

• nvzqz/static-assertions

  Ensure correct assumptions about constants, types, and more in Rust

  Language:Rust573174322

• athre0z/color-backtrace

  Colorful panic backtraces for Rust

  Language:Rust565143018

• interact-rs/interact

  Online introspection for Rust

  Language:Rust4147158

• egraphs-good/extraction-gym

  benchmarking e-graph extraction

  Language:Rust2761016

• RobinKa/egga

  Symbolic Geometric Algebra with E-Graphs

  Language:Python17301

• rcorcs/paperman

  Paper manager

  Language:Python5401