nick8325/fourier-motzkin nick8325/fourier-motzkin

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 10 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nick8325/fourier-motzkin
github

nick8325

Reviews

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

Repository Details

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

More Repositories

1

quickcheck

Automatic testing of Haskell programs.
Haskell
717
star
2

quickspec

Equational laws for free
Haskell
250
star
3

remarkable-fs

A FUSE filesystem wrapper for the reMarkable tablet
Python
78
star
4

twee

An equational theorem prover based on Knuth-Bendix completion
Haskell
45
star
5

equinox

Paradox model finder and equinox theorem prover for first-order logic.
Haskell
18
star
6

jukebox

A theorem prover
Haskell
13
star
7

complexity

Infer complexity of algorithms by testing
Erlang
5
star
8

combinatory-logic-in-shell-script

I was feeling evil one night :)
Shell
4
star
9

quickcheck-with-counterexamples

Get counterexamples out of QuickCheck as Haskell values
Haskell
4
star
10

psx

A PlayStation emulator written in Nim. For fun :) Can boot a couple of games, but not working more than that yet.
Nim
3
star
11

beeby

A BBC Micro emulator
Haskell
3
star
12

puzzle

The Church numerals puzzle from the FP winter meeting.
Haskell
3
star
13

munch

Fast parser combinators
Haskell
3
star
14

faustilogue

Convert Faust DSP files to KORG logue custom oscillators
Python
3
star
15

fusion

Tinkering with list fusion
Haskell
2
star
16

munch-testdata

Test data for munch
Haskell
2
star
17

flashcards

A wee flashcard program
Haskell
2
star
18

haiku-ghc

Instructions+patches for building GHC for Haiku
2
star
19

guess

Guess the definition of a predicate by black-box testing
Haskell
2
star
20

corpora

Tinkering around with corpora queries (nothing to see here yet)
Haskell
2
star
21

example-finding

Haskell
1
star
22

imp

Testing imperative code with QuickSpec
Haskell
1
star