• Stars
    star
    1
  • Language
    Scala
  • Created almost 2 years ago
  • Updated over 1 year ago

Reviews

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

Repository Details

Ideas on measuring and improving diversity of the output of property-based testing generators

More Repositories

1

pfennig

A Probabilistic Functional Programming Language DSL in Scala
Scala
63
star
2

assembler

IA32 assembler in PLT Scheme
Scheme
31
star
3

fdl

Simple implementations of forward- and backward-mode automatic differentation in Scala
Scala
22
star
4

church-and-state

Unifying Church and State
Scala
22
star
5

mads

Markdown String Interpolator for Scala 3
Scala
19
star
6

crdt

Convergent and Commutative Replicated Data Types for Scala
Scala
15
star
7

concatenative-lang

A simple concatentative language implemented using Shapeless. My second place winning entry to Originate's Scala Days 2014 challenge.
Scala
13
star
8

framed

Dataframe in Scala 3
Scala
10
star
9

fleet

Streaming algorithms for a data-driven age.
Scala
9
star
10

repast

Resumable parser combinators
Scala
8
star
11

making-eyes

A Guide to the BlueEyes Framework
JavaScript
8
star
12

making-a-racket

A book on the Racket programming language.
Racket
6
star
13

sketchbook

Generative art sketches
Scala
6
star
14

advanced-scala-12-dec-2017

Code from the public Advanced Scala course 12 Dec 2017
Scala
5
star
15

flan

An animation library for the Javascript functional reactive library Flapjax
JavaScript
5
star
16

mzgsl

Bindings for the GNU Scientific Library to PLT Scheme
Scheme
5
star
17

icp

Iterated closest points algorithm
Scheme
4
star
18

shaderfun

Fragment shaders in Scala
Scala
4
star
19

ltpp

Analysis of the New Zealand Long Term Pavement Performance data
R
3
star
20

loadtest

Load testing web applications using Racket
Scheme
3
star
21

spark-workshop

Spark workshop data and notes
2
star
22

splatter

Functional monadic drawing. Because one buzzword is never enough.
Scheme
2
star
23

scalacheck-scala-days-berlin-2018

Scalacheck workshop and Scala Days Berlin 2018
Scala
2
star
24

multipack-opa-2011

Multipack Nov 2011 Talk on Opa
2
star
25

racktest

Unit Testing Framework for Racket
Racket
2
star
26

noelwelsh.com

My site
CSS
2
star
27

build-tools

Build stuff with less effort
Scheme
2
star
28

numeric

Miscellaneous numeric code in PLT Scheme
Scheme
2
star
29

doodle

Compositional 2D vector graphics in Scala
Scala
2
star
30

dct

Discrete Cosine Transform for Image Processing
Racket
2
star
31

levmar

PLT Scheme bindings to the levmar optimisation library
Scheme
1
star
32

codility

Incrementally improving the Codility example task
Scala
1
star
33

making-deployment

A guide to deployment using Chef and Vagrant
1
star
34

ishmm

A non-parametric sparse HMM built on the beta process
Scheme
1
star
35

scalabridge-slides

Slides for running ScalaBridge
HTML
1
star
36

worksheets

Little puzzles for little children stuck at home during the plague months
Scala
1
star
37

bayesian-scan-matching

A Bayesian approach to laser scan matching
Scheme
1
star
38

sketches

Creating coding sketches using Doodle
Scala
1
star
39

bonfire

The Bonfire Visualisation Framework for Racket
Racket
1
star
40

todo

A simple todo app in http4s w/ Slinky UI
Scala
1
star
41

research-notes

Notes on machine learning and other topics of interest to me. Mostly org-mode files.
1
star
42

slick-22

Slick using 22+ fields
Scala
1
star
43

blackjack

Example implementation of blackjack in Scala
Scala
1
star
44

programming-strategies

Programming Strategies draft paper
TeX
1
star
45

intelligent-robotics

Course notes and other material for the Intelligent Robotics course at the University of Birmingham
1
star