nick8325/imp

Stars
1
Language
Haskell
Created over 6 years ago
Updated over 3 years ago

nick8325/imp

nick8325

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

Testing imperative code with QuickSpec

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

fourier-motzkin

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