This is stars and forks stats for /Keno/InterfaceSpecs.jl repository. As of 04 May, 2024 this repository has 51 stars and 2 forks.
InterfaceSpecs Background Recently there's been a lot of interest in attempting to add more static guarantees or checking to julia as a language. I think this interest is coming from a number of different angles, but I've heard at least the following: Some people would like a more formalized way to document the expectations of various interfaces that provide extension points. E.g. what exactly does it mean to be iterable, to be an array, a random number generator, etc. Some people would like like...
InterfaceSpecs Background Recently there's been a lot of interest in attempting to add more static guarantees or checking to julia as a language. I think this interest is coming from a number of different angles, but I've heard at least the following: Some people would like a more formalized way to document the expectations of various interfaces that provide extension points. E.g. what exactly does it mean to be iterable, to be an array, a random number generator, etc. Some people would like like...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
SymbolicML/DynamicQuantities.jl | Julia | 77 | 0 | 6 | 0 |
topolarity/Tracy.jl | Julia | 21 | 0 | 2 | 0 |
jpsamaroo/MLCodeOptimizer.jl | Julia | 1 | 0 | 0 | 0 |
JuliaManifolds/ManifoldDiff.jl | Julia | 8 | 0 | 2 | 0 |
adrhill/julia-ml-course | JuliaCSSHTML | 199 | 0 | 20 | 0 |
aclai-lab/SoleData.jl | Julia | 10 | 0 | 0 | 0 |
JuliaDynamics/ResumableFunctions.jl | JuliaTeX | 146 | 0 | 17 | 0 |
JuliaDynamics/ConcurrentSim.jl | Julia | 161 | 0 | 35 | 0 |
pebeto/julia_extensions_example | Julia | 10 | 0 | 1 | 0 |
gdalle/HiddenMarkovModels.jl | JuliaTeX | 44 | 0 | 1 | 0 |