wardenfar Goto Github PK

amp

A complete text editor for your terminal.

bitbuffer

Reading and writing data types of arbitrary bit length that might not be byte-aligned

bitstream-io

Library for reading/writing un-aligned values from/to streams in big-endian and little-endian formats

boolector-rs

High-level type-safe Rust bindings for the Boolector SMT solver

cargo-vendor-filterer

Tool to `cargo vendor` with filtering

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

dotfiles

eframe_template

The easy way to make a Rust app with a GUI

git-dumper

A tool to dump a git repository from a website

helix

A post-modern modal text editor.

lldb.rs

Higher level LLDB bindings for Rust built on lldb-sys.

mc-osm-world-gen

A minecraft real world generator in Rust

osm-renderer

OpenStreetMap raster tile renderer written in Rust

osm2map

Spigot plugin using OpenStreetMap to generate Minecraft map with more features !

oteria-2023-ctf-reverse

qrcode-game

Customizable game with QrCodes for summer camp

rs-asn1-parser

Asn1 Parser for Rust

rs-coverage

rust

Empowering everyone to build reliable and efficient software.

rust-analyzer

A Rust compiler front-end for IDEs

rust-text-editor-gui

sleigh-rs

Ghidra Sleight (PCode) parsing library in Rust.

sqltui

SqlTui : All your sql servers in one tool

styleflow

StyleFlow: Attribute-conditioned Exploration of StyleGAN-generated Images using Conditional Continuous Normalizing Flows

theorem_proving_in_lean4

Theorem Proving in Lean 4

tiny-skia

A tiny Skia subset ported to Rust

type-sitter

generate typed wrappers for tree-sitter grammars from node-types.json and queries

writeups