edwinans/software-foundations-solutions edwinans/software-foundations-solutions

  • Stars
    star
    1
  • Language Coq
  • Created almost 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
edwinans/software-foundations-solutions
github

edwinans

Reviews

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

Repository Details

Personal solutions for the Software Foundations exercises

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

freespec-guess

Simple proof of concept of FreeSpec and coqffi -- The guess game.
Coq
1
star
6

blockchain-course

M2 of Computer Science Blockchain course
OCaml
1
star
7

catprog

Implementation of a Categorical Programming Language
OCaml
1
star