nick8325/equinox

Stars
18
Rank 1,208,065 (Top 24 %)
Language
Haskell
License
MIT License
Created over 13 years ago
Updated 12 months ago

nick8325/equinox

nick8325

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

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

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

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.