edwinans/freespec-guess edwinans/freespec-guess

  • Stars
    star
    1
  • Language Coq
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
edwinans/freespec-guess
github

edwinans

Reviews

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

Repository Details

Simple proof of concept of FreeSpec and coqffi -- The guess game.

More Repositories

1

CoreWar

a simple implementation of COREWAR in java
Java
3
star
2

dumsh

C
2
star
3

Dazibao

A Dazibao in C Network programming style
C
2
star
4

camel-finder

OCaml
2
star
5

blockchain-course

M2 of Computer Science Blockchain course
OCaml
1
star
6

software-foundations-solutions

Personal solutions for the Software Foundations exercises
Coq
1
star
7

catprog

Implementation of a Categorical Programming Language
OCaml
1
star