Active Operations
Mission Board
Keeping our work open, for other to help or inspire. You can pick a mission and help us, or discuss the point of it all, bring even partial completions, any help is appreciated. We want to contribute to a global free research community.
Open a PRIcon
Proposition 7 release
benchmark suite
grammars documentation
pip packaging
P7
Regex derivatives paper
completeability proofs
Brzozowski formalization
LaTeX draft
AUF
AUFBAU typed grammars
attribute grammar parser
STLC backend
error recovery
AUF
Ethics framework v2
constraint catalog
review process
public draft
USI
Political alignment dashboard
compass embedding space
multi-language eval
report generator
POL
HRML type inference engine
constraint solver
error messages
playground demo
HRM