Discover @nick8325 Open Source projects

Nick Smallbone (@nick8325)

nick8325

Stars
1,077
Global Rank 27,479 (Top 1.0 %)
Followers 97
Following 4
Registered almost 15 years ago
Most used languages

Haskell
77.3 %

Python
9.1 %

Shell
4.5 %

Nim
4.5 %

Erlang
4.5 %
Location 🇸🇪 Sweden
Country Total Rank 328
Country Ranking

Haskell
3

Nim
13

Erlang
99

Python
287

Shell
655

quickcheck

Automatic testing of Haskell programs.

quickspec

Equational laws for free

remarkable-fs

A FUSE filesystem wrapper for the reMarkable tablet

twee

An equational theorem prover based on Knuth-Bendix completion

equinox

Paradox model finder and equinox theorem prover for first-order logic.

jukebox

A theorem prover

complexity

Infer complexity of algorithms by testing

combinatory-logic-in-shell-script

I was feeling evil one night :)

quickcheck-with-counterexamples

Get counterexamples out of QuickCheck as Haskell values

psx

A PlayStation emulator written in Nim. For fun :) Can boot a couple of games, but not working more than that yet.

puzzle

The Church numerals puzzle from the FP winter meeting.

munch

Fast parser combinators

beeby

A BBC Micro emulator

faustilogue

Convert Faust DSP files to KORG logue custom oscillators

corpora

Tinkering around with corpora queries (nothing to see here yet)

fusion

Tinkering with list fusion

munch-testdata

Test data for munch

flashcards

A wee flashcard program

haiku-ghc

Instructions+patches for building GHC for Haiku

guess

Guess the definition of a predicate by black-box testing

example-finding

fourier-motzkin

A wee solver for linear inequalities based on Fourier-Motzkin elimination.

imp

Testing imperative code with QuickSpec