fajtaiandris/bremen fajtaiandris/bremen

  • Stars
    star
    1
  • Language Coq
  • Created almost 3 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
fajtaiandris/bremen
github

fajtaiandris

Reviews

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

Repository Details

Thesis for my MSc in computer science at ELTE

More Repositories

1

pandoc-cms

Build websites with ease using Pandoc and Ctrl + c, Ctrl + v.
Shell
1
star
2

debt-tracker

A simple (and really not secure) app to track the money we owe to each other in the office.
TypeScript
1
star
3

react-project-template

A frontend project template containing my preferred packages.
TypeScript
1
star