Pinned Loading

1. SourceAcademyModules SourceAcademyModules Public

   Forked from source-academy/modules

   Modules that can be imported in Source programs, and environment for developing them

   TypeScript

2. uppsala-workshop uppsala-workshop Public

   Forked from PandelisZ/uppsala-workshop

   🚩🇸🇪 GitHub workshop at Uppsala University, Uppsala

   CSS

3. lawmurray/Birch lawmurray/Birch Public

   A probabilistic programming language that combines automatic differentiation, automatic marginalization, and automatic conditioning within Monte Carlo methods.

   C++ 121 14

4. Barry-Jay/lambdaSF Barry-Jay/lambdaSF Public

   implementation of lambda-SF-calculus plus some basic theorems

   Coq 3 3

5. parapluu/mce-typed parapluu/mce-typed Public

   TypeScript 6

6. QED QED Public

   Forked from teorth/QED

   Repository for the QED interactive text and possible extensions