Pinned Loading

1. udem-dlteam/bbv-gambit udem-dlteam/bbv-gambit Public

   Forked from gambit/gambit

   Gambit is an efficient implementation of the Scheme programming language.

   C 4 1

2. udem-dlteam/bbv-tests udem-dlteam/bbv-tests Public

   Collection of programs to test BBV

   Scheme

3. semPy semPy Public

   Tools to generate Python reusable semantics in a superset of the Python language

   Python 5