Liby99

llir

LLVM IR Binding for Rust

geometry-sketchpad

A Cross-Platform Geometry Sketchpad written in Rust using specs

saemanga

(DEPRECATED) A minimalist manga reader with scrapper for cartoonmad.com

.tmux

My Tmux Config

.vim

semmle-libpng-test

arnie

Python utility to estimate, compare, and reweight RNA energetics across many secondary structure algorithms.

chronoutil

ChronoUtil module provides powerful extensions to rust's Chrono crate.

crepe

Datalog compiler in Rust as a procedural macro

creusot

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

debin

Machine Learning to Deobfuscate Binaries

deno

A secure JavaScript/TypeScript runtime built with V8, Rust, and Tokio

egg

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

hibitset

Hierarchical bit set container

indicatif

A command line progress reporting library for Rust

lalrpop

LR(1) parser generator for Rust

learning-parity

Learning Parity with LSTM (which is not possible)

liby99.github.io

Alias to liby.me

linefeed

Configurable, extensible, interactive line reader

obsidian-tagfolder

photon

3D Engine with Electron, Neon and Rust

quex

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

specs

Specs - Parallel ECS

sudoku-rs

Sudoku solving library & command line executables

syntax-highlighter

Syntax Highlighter extension for Visual Studio Code (VSCode). Based on Tree-sitter.

tch-rs

Rust bindings for the C++ api of PyTorch.

timeout

tree-sitter-ambiguity

visual-genome-browser