Pinned Loading

1. coln-project/Coln coln-project/Coln Public

   A data-oriented proof assistant

   Rust 44 7

2. ToposInstitute/emtt ToposInstitute/emtt Public

   Element Model Type Theory

   Rust 8

3. scientific-fhs scientific-fhs Public

   A nixos FHS for julia and conda, and possibly other scientific tools

   Nix 65 22

4. AlgebraicJulia/Semagrams.jl AlgebraicJulia/Semagrams.jl Public

   A graphical editor for graph-like structures

   Scala 109 10

5. AlgebraicJulia/CompTime.jl AlgebraicJulia/CompTime.jl Public

   Library for compile-time computing in julia

   Julia 73 3

6. AlgebraicJulia/Catlab.jl AlgebraicJulia/Catlab.jl Public

   A framework for applied category theory in the Julia language

   Julia 732 74