Lists (1)
Starred repositories
Pretty Useful Pup let's you write assertions about the architecture of your Rust project
Fast parquet command line tool with many functions, nailed it!
Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.
Rust reflection, serialization, deserialization, pretty printing, etc. — the last proc macro you should need
A declarative, 🐻❄️-native data frame validation library.
An extremely fast Python type checker and language server, written in Rust.
Structural Netlist API (and more) for EDA post synthesis flow development
TPC-H benchmark data generation in pure Rust
Lightweight and extensible compatibility layer between dataframe libraries!
Seamless interoperability between any version of Polars (>=0.40) and any version of Arrow (>=54),
An rv32i inspired ISA, SIMT GPU implementation in system-verilog.
Thrift IDL parser and code generator for the compact protocol
A curated list of Polars talks, tools, examples & articles. Contributions welcome !
Verilog to Routing -- Open Source CAD Flow for FPGA Research
Assembler toolkit: encoding and decoding of various architectures
❄️ Native secret management for NixOS using 1Password.
An extremely fast LaTeX formatter written in Rust
Offline, privacy-first grammar checker. Fast, open-source, Rust-powered
PDF++: the most Obsidian-native PDF annotation & viewing tool ever. Comes with optional Vim keybindings.
Plotlars is a Rust library designed to facilitate the integration between the Polars data analysis library and Plotly library.
A pytest plugin library for doing snapshot testing with Polars DataFrames.
ABC: System for Sequential Logic Synthesis and Formal Verification