repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
DrWaleedAYousef/Teaching | MathematicaVerilogPython | 932 | +6 | 314 | +1 |
gap-system/gap | GAPCC++ | 715 | +1 | 154 | 0 |
HPQC-LABS/Book_About_Quadratization | TeXMATLABMathematica | 18 | 0 | 19 | 0 |
erkal/kite | ElmOther | 523 | 0 | 23 | 0 |
thofma/Hecke.jl | Julia | 189 | 0 | 56 | 0 |
JuliaGraphs/MultilayerGraphs.jl | Julia | 105 | 0 | 5 | 0 |
disco-lang/disco | HaskellTeXAgda | 150 | 0 | 21 | 0 |