Keno/InterfaceSpecs.jl

Playground for formal specifications of interfaces in Julia

Julia
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...
Read on GithubGithub Stats Page
repotechsstarsweeklyforksweekly
SymbolicML/DynamicQuantities.jlJulia77060
topolarity/Tracy.jlJulia21020
jpsamaroo/MLCodeOptimizer.jlJulia1000
JuliaManifolds/ManifoldDiff.jlJulia8020
adrhill/julia-ml-courseJuliaCSSHTML1990200
aclai-lab/SoleData.jlJulia10000
JuliaDynamics/ResumableFunctions.jlJuliaTeX1460170
JuliaDynamics/ConcurrentSim.jlJulia1610350
pebeto/julia_extensions_exampleJulia10010
gdalle/HiddenMarkovModels.jlJuliaTeX44010