Stars
A lightweight CLI tool for versioning data alongside source code and building data pipelines.
A CLI tool that helps AI researchers share datasets responsibly.
A Simple showcase for the Sea-of-Nodes compiler IR
Diagram as Code Tool Written in Rust with Draggable Editing
Generate High-Quality Synthetics, Train, Measure, and Evaluate in a Single Pipeline
In this repository, 16 models compete to outperform each other in the game Town of Salem. Each model is randomly assigned roles like Vampire, Peasant, Clown, or special variants of Peasants with un…
An alignment auditing agent capable of quickly exploring alignment hypothesis
A eDSL framework based on Scala and MLIR, focusing on the Hardware design.
A curated reading list for researchers in the Philosophy of Interpretability
A controlled concurrency testing framework for the JVM
Compiler optimizer for arbitrary control flow based on equality saturation
a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
Inference API for many LLMs and other useful tools for empirical research
Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
A logic programming language that has features of both Datalog and answer set programming.
An experimental language exploring computation and meaning through term unification, with logic-agnostic types.
pprof is a tool for visualization and analysis of profiling data
A Proof Generator for Entailments, Tautologies, and Semantic Equivalences in First-order Logic
Working on reimplementing Finding Minimum Type Error Sources, Wies et al.
Adaptive Lighting custom component for Home Assistant
Open-lmake is a generic, fearless build system. It is like make, except that it is user-friendly, versatile, scalable and reliable.