nick8325/puzzle

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Haskell
Created almost 7 years ago
Updated almost 5 years ago

nick8325/puzzle

nick8325

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

The Church numerals puzzle from the FP winter meeting.

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

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.