Discover @nick8325 Open Source projects

Nick Smallbone (@nick8325)

nick8325

Stars
1,077
Global Rank 28,488 (Top 1.0 %)
Followers 97
Following 4
Registered over 15 years ago
Most used languages

Haskell
77.3 %

Python
9.1 %

Nim
4.5 %

Shell
4.5 %

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

Haskell
3

Nim
13

Erlang
95

Python
295

Shell
653

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.

beeby

A BBC Micro emulator

puzzle

The Church numerals puzzle from the FP winter meeting.

munch

Fast parser combinators

faustilogue

Convert Faust DSP files to KORG logue custom oscillators

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

corpora

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

example-finding

imp

Testing imperative code with QuickSpec

fourier-motzkin

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