Pinned Repositories
cwe-bench-java
A manually vetted dataset for security vulnerability detection in Java projects
geometry-sketchpad
A Cross-Platform Geometry Sketchpad written in Rust using specs
keeling-js
A fast, light weight NodeJs server based on ExpressJs
llir
LLVM IR Binding for Rust
mpm-rs
Material Point Method for Soft Body/Fluid Physics Simulation in Rust
Rotamina
Rotamina - Character Animator based on NanoGUI
saemanga
(DEPRECATED) A minimalist manga reader with scrapper for cartoonmad.com
saemanga-rust
Minimal Manga Reader in Rust, using Rocket, Handlebars, Webpack and TypeScript
arbitrar
User Guided API Misuse Detection
scallop
Framework and Language for Neurosymbolic Programming.
Liby99's Repositories
Liby99/cwe-bench-java
A manually vetted dataset for security vulnerability detection in Java projects
Liby99/llir
LLVM IR Binding for Rust
Liby99/geometry-sketchpad
A Cross-Platform Geometry Sketchpad written in Rust using specs
Liby99/saemanga
(DEPRECATED) A minimalist manga reader with scrapper for cartoonmad.com
Liby99/.tmux
My Tmux Config
Liby99/.vim
Liby99/semmle-libpng-test
Liby99/arnie
Python utility to estimate, compare, and reweight RNA energetics across many secondary structure algorithms.
Liby99/chronoutil
ChronoUtil module provides powerful extensions to rust's Chrono crate.
Liby99/crepe
Datalog compiler in Rust as a procedural macro
Liby99/creusot
deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!
Liby99/debin
Machine Learning to Deobfuscate Binaries
Liby99/deno
A secure JavaScript/TypeScript runtime built with V8, Rust, and Tokio
Liby99/egg
egg is a flexible, high-performance e-graph library
Liby99/hibitset
Hierarchical bit set container
Liby99/lalrpop
LR(1) parser generator for Rust
Liby99/learning-parity
Learning Parity with LSTM (which is not possible)
Liby99/liby99.github.io
Alias to liby.me
Liby99/linefeed
Configurable, extensible, interactive line reader
Liby99/obsidian-tagfolder
Liby99/photon
3D Engine with Electron, Neon and Rust
Liby99/quex
Liby99/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.
Liby99/specs
Specs - Parallel ECS
Liby99/sudoku-rs
Sudoku solving library & command line executables
Liby99/syntax-highlighter
Syntax Highlighter extension for Visual Studio Code (VSCode). Based on Tree-sitter.
Liby99/tch-rs
Rust bindings for the C++ api of PyTorch.
Liby99/timeout
Liby99/tree-sitter-ambiguity
Liby99/visual-genome-browser