Seelengrab/Supposition.jl Seelengrab/Supposition.jl

  • Stars
    star
    12
  • Rank 1,546,328 (Top 32 %)
  • Language
    Julia
  • License
    European Union Pu...
  • Created 3 months ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Seelengrab/Supposition.jl
github

Seelengrab

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

A Julia implementation of choice sequence based PBT, inspired by Hypothesis

More Repositories

1

PropCheck.jl

A package for simple property based testing in julia.
Julia
77
star
2

RequiredInterfaces.jl

A small package for providing the minimal required method surface of a Julia API
Julia
31
star
3

MCUCompiler.jl

Julia
17
star
4

BigNums.jl

A try at implementing a pure julia version of arbitrarily sized integers.
Julia
10
star
5

FieldFlags.jl

A small package for creating bitfield-like structs.
Julia
10
star
6

AVRDevices.jl

Julia
9
star
7

IOLogging.jl

A simple, thin package providing basic loggers for logging to IO
Julia
4
star
8

Doppelkeks.jl

A stupidly simple SAT solver that is not performant.
Julia
3
star
9

DeviceDefinitions.jl

A package to generate microcontroller definitions from SVD files.
Julia
2
star
10

WeekendRaytracer.jl

A naive julia implementation of https://raytracing.github.io/books/RayTracingInOneWeekend.html
Julia
2
star
11

spellCheck

A julia implementation of norvig's spellchecker.
Julia
1
star
12

TypingTheJuliaInterview.jl

A humorous port of "Typing the technical interview" to the Julia type system
Julia
1
star