Lists (1)
Starred repositories
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
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
Command-line sampling profiler for macOS, Linux, and Windows
An integrated editor for the typst typesetting system.
2021 NTHU CS6132 (CS613200) Advanced Logic Synthesis Course Project (include Technology Mapping)