Pinned Loading

1. plfa/plfa.github.io plfa/plfa.github.io Public

   An introduction to programming language theory in Agda

   Agda 1.4k 315

2. vehicle-lang/vehicle vehicle-lang/vehicle Public

   A toolkit for enforcing logical specifications on neural networks

   Haskell 80 7

3. schmitty schmitty Public

   Agda bindings to SMT-LIB2 compatible solvers.

   Agda 95 8

4. setup-agda setup-agda Public

   Set up a specific version of Agda for your GitHub Actions workflow.

   TypeScript 26 3

5. talondoc talondoc Public

   Document your Talon scripts using Sphinx.

   Python 14 7

6. priority-sesh priority-sesh Public

   Session Types with Priority in Linear Haskell

   Haskell 25 2