cacay/G4ip cacay/G4ip

  • Stars
    star
    1
  • Language
    Haskell
  • License
    MIT License
  • Created about 10 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cacay/G4ip
github

cacay

Reviews

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

Repository Details

A theorem prover using G4ip

More Repositories

1

MemoryPool

An easy to use and efficient memory pool allocator written in C++.
C++
1,059
star
2

regexp

Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.
Haskell
12
star
3

latex-pl-syntax

Abstract syntax definitions for programming languages
TeX
4
star
4

language-krill

Krill programming language
Haskell
4
star
5

Mobot

The simplified code of a line following robot that won CMU's 2013 Mobot competition.
C++
2
star
6

bibdb

A simple bibliography manager for BibTeX
Haskell
2
star
7

elm-cacay

Personal website written in Elm.
HTML
1
star
8

PolygonGame

An asteroids game written in Python.
Python
1
star
9

language-limp

An attempt at designing a new, perfectly uniform syntax
1
star