nick8325/twee

Stars
45
Rank 624,037 (Top 13 %)
Language
Haskell
License
BSD 3-Clause "New...
Created over 9 years ago
Updated 7 months ago

nick8325/twee

nick8325

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

An equational theorem prover based on Knuth-Bendix completion

quickcheck

Automatic testing of Haskell programs.

quickspec

Equational laws for free

remarkable-fs

A FUSE filesystem wrapper for the reMarkable tablet

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.