MichalKnapik/BMinor-compiler MichalKnapik/BMinor-compiler

  • Stars
    star
    1
  • Language
    C
  • Created over 4 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
MichalKnapik/BMinor-compiler
github

MichalKnapik

Reviews

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

Repository Details

As a refresher in pureish C I've decided to implement a compiler, following Douglas Thain's course.

More Repositories

1

PTA2SMT

Parametric Timed Automata SMT checker.
C++
3
star
2

spatula

Parametric synthesis tool for a branching action temporal logic.
C
3
star
3

automata-net-reduction-tool

C
2
star
4

general-automata-net-reduction-tool

Java
2
star
5

dd-net-checker

Python
1
star
6

bibtex2html

Takes a .bib bibTeX file and produces html output
Python
1
star