Pinned Repositories
cargo-geiger
Detects usage of unsafe Rust in a Rust crate and its dependencies.
auditable-rust-test-project
Quick rust project for the Auditable to test build on
cargo-geiger
Detects usage of unsafe Rust in a Rust crate and its dependencies.
gis_puller
Abstract and implement a general global Geographic Information System (GIS) data catalog and acquisition functionality
perl-JunosCFG
perl-testMUX
Perl experimental yet another async event multiplexer framework
perl-testMUX-MongoClient
MongoDB Client Stack for testMUX Perl
perl-testMUX-MTikClient
MikroTik API Client Stack for async testMUX Perl
pinkforest
✨special ✨ em ✨special ✨
polling
Portable interface to epoll, kqueue, event ports, and wepoll
pinkforest's Repositories
pinkforest/pinkforest
✨special ✨ em ✨special ✨
pinkforest/cargo-geiger
Detects usage of unsafe Rust in a Rust crate and its dependencies.
pinkforest/box2c
Library for 2D Game Physics
pinkforest/capitalist-chess
An engine for a chess variant which adds banks🏦 and a market📈!
pinkforest/cargo-checkct
CLI for setting up sound, assembly-level constant-time verification of (rust) cryptography libraries with binsec
pinkforest/charon
Interface with the rustc compiler for the purpose of program verification
pinkforest/chip_scavenger
pinkforest/creusot
Creusot helps you prove your code is correct in an automated fashion.
pinkforest/curve25519-dalek
A pure-Rust implementation of group operations on Ristretto and Curve25519
pinkforest/cushy
An experimental cross-platform graphical user interface (GUI) crate for Rust.
pinkforest/cv32e40p
CV32E40P is an in-order 4-stage RISC-V RV32IMFCXpulp CPU based on RI5CY from PULP-Platform
pinkforest/dalvik
Dalvik bytecode disassembler and graph view
pinkforest/f4pga
FOSS Flow For FPGA
pinkforest/geogram
a programming library with geometric algorithms
pinkforest/hdlConvertor
Fast Verilog/VHDL parser preprocessor and code generator for C++/Python based on ANTLR4
pinkforest/hsdaoh
High Speed Data Acquisition over HDMI - Userspace library
pinkforest/hsdaoh-fpga
High Speed Data Acquisition over HDMI - FPGA implementation
pinkforest/jolt-rust
Rust bindings to Jolt Physics
pinkforest/koto
A simple, expressive, embeddable programming language, made with Rust
pinkforest/linalg
Linear algebra library for Bend
pinkforest/logos
Create ridiculously fast Lexers
pinkforest/lyon
2D graphics rendering on the GPU in rust using path tessellation.
pinkforest/mempool
A 256-RISC-V-core system with low-latency access into shared L1 memory.
pinkforest/notan
Cross-platform multimedia layer
pinkforest/ratatui-image
Ratatui widget for rendering image graphics in terminals that support it
pinkforest/redb
An embedded key-value database in pure Rust
pinkforest/rill
Go concurrency with channel transformations, type safety, batching and error handling. No boilerplate
pinkforest/uvgRTP
An open-source library for RTP/SRTP media delivery
pinkforest/vello
An experimental GPU compute-centric 2D renderer.
pinkforest/wasmi
WebAssembly (Wasm) interpreter.