10 projects
vehicle-lang
A high-level functional language for writing mathematically-precise specifications for neural networks.
agda
A project that packages Agda as a Python package.
talonfmt
A code formatter for Talon files
tree-sitter-talon
Parser for Talon files in Python.
tree-sitter-type-provider
Type providers for tree-sitter in Python.
maraboupy
A package wrapping the Marabou Neural Network Verification tool.
doc-printer
A Wadler-Leijen Pretty Printer in Python.
example-haskell-wheel
An experiment in publishing a Haskell library as a Python Wheel.
talondoc
A Sphinx extension for Talon user directories.
metaproject
Scaffod projects from metaproject templates.
