Stars
Complete pipeline for Training Model Behavior in Agentic Systems
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 and Tautologies 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.
Architecture decision record (ADR) examples for software planning, IT leadership, and template documentation
Shrinkray is a modern multi-format test-case reducer
Repository containing all the CIT tools developed by fmselab
A computer science textbook