Lists (26)
Causality
9 repositories
Chess
6 repositories
CLI
32 repositories
Cool Stuff
71 repositories
Data
4 repositories
Fonts
27 repositories
Game AI
1 repository
Game Dev
108 repositories
Graphics
35 repositories
Hax
4 repositories
LaTex
55 repositories
Memory
19 repositories
ML
41 repositories
oo
26 repositories
PL Design
20 repositories
PL Impl
41 repositories
Proposal Stuff
11 repositories
Roguelikes
1 repository
std library
3 repositories
Tactics
6 repositories
Testing
4 repositories
Text
2 repositories
Types
10 repositories
Verification, Testing and more
284 repositories
Vim
19 repositories
Web Dev
33 repositories
Starred repositories
Code2Inv: Learning Loop Invariants for Program Verification
This is a public version of LASER: A Neuro-Symbolic Framework for Learning Spatial-Temporal Scene Graphs with Weak Supervision
Facilitating high-level interactions between Wasm modules and JavaScript
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
PPLite: convex polyhedra library for Abstract Interpretation
A Super-Lightweight Annotation Tool for Experts: Label text in a terminal with just Python
Simple, single-file, dependency-free GDB stub that can be easily dropped in to your project.
Open source annotation tool for machine learning practitioners.
The complete stack for AI Engineers: framework, runtime and control plane.
A neurosymbolic framework for vulnerability detection in code
An extremely fast Python type checker and language server, written in Rust.
mcp-language-server gives MCP enabled clients access semantic tools like get definition, references, rename, and diagnostics.
A narrative-focused agent-based settlement simulation framework.
A python interface for training Reinforcement Learning bots to battle on pokemon showdown
A tool for recompiling Xbox 360 games to native executables.