Liby99
Follow
Starred repositories
A ground-truth fuzzing benchmark suite based on real programs with real bugs.
A terminal workspace with batteries included
TextGrad: Automatic ''Differentiation'' via Text -- using large language models to backpropagate textual gradients.
Educational framework exploring ergonomic, lightweight multi-agent orchestration. Managed by OpenAI Solution team.
End-to-end Generative Optimization for AI Agents
Python utility to estimate, compare, and reweight RNA energetics across many secondary structure algorithms.
pytorch implementation for "RNA Secondary Structure Prediction By Learning Unrolled Algorithms"
The infrastructure behind the Scallop website.
Dafny is a verification-aware programming language
An Extensible Toolkit for Finetuning and Inference of Large Foundation Models. Large Models for All.
Build smaller, faster, and more secure desktop and mobile applications with a web frontend.
Bayesian inference with probabilistic programming.
Framework and Language for Neurosymbolic Programming.
A static verifier for Rust, based on the Viper verification infrastructure.
A real-time motion capture system for 3D virtual character animating.
Creusot helps you prove your code is correct in an automated fashion.
🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.
Code for the paper "Implicit Representations of Meaning in Neural Language Models"
Abstract over the atomicity of reference-counting pointers in rust
Slint is an open-source declarative GUI toolkit to build native user interfaces for Rust, C++, JavaScript, or Python apps.
Syntax Highlighter extension for Visual Studio Code (VSCode). Based on Tree-sitter.
Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages
Long Range Arena for Benchmarking Efficient Transformers