Supposition.jl
A Julia implementation of choice sequence based PBT, inspired by Hypothesis
Possibly Available
About
I write julia code and specialize in performance optimization, which leads me all over the place in terms of computing topics.
Evidence-backed skills
Repositories
PropCheck.jl
A package for simple property based testing in julia.
RequiredInterfaces.jl
A small package for providing the minimal required method surface of a Julia API
FieldFlags.jl
A small package for creating bitfield-like structs.
BigNums.jl
A try at implementing a pure julia version of arbitrarily sized integers.
TypingTheJuliaInterview.jl
A humorous port of "Typing the technical interview" to the Julia type system
DeviceDefinitions.jl
A package to generate microcontroller definitions from SVD files.
Doppelkeks.jl
A stupidly simple SAT solver that is not performant.
Documenter.jl
A documentation generator for Julia.