Pinned

1. bondi bondi Public

   Forked from Barry-Jay/bondi

   source code for the bondi programming language

   OCaml 1

2. Intensional-computation Intensional-computation Public

   Forked from Barry-Jay/Intensional-computation

   translations of a lambda abstraction to combinations of operators

   Coq 1

3. docker-templates docker-templates Public

   1

4. actions actions Public

   A collection of useful GitHub Actions