parof/master-thesis parof/master-thesis

  • Stars
    star
    3
  • Rank 3,867,806 (Top 78 %)
  • Language
    TeX
  • Created about 4 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
parof/master-thesis
github

parof

Reviews

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

Repository Details

Master thesis

More Repositories

1

pilisp

Lisp interpreter with bytecode compiler
C
26
star
2

rat

🐀 Regular Expression Denial of Service analyzer.
OCaml
22
star
3

ct

⚡ The fastest line counter. At least on my computer.
Zig
15
star
4

wstat

While language static analyzer
Haskell
10
star
5

bait

A ω-regular language inclusion checker
Java
6
star
6

CppMakeMaker

Makefile generator for C++ small projects
C++
3
star
7

buchi-automata-benchmark

A collection of Büchi automata for language inclusion benchmarking
Rich Text Format
3
star
8

parallellisp

Lisp, but functional and parallel
Go
2
star
9

hile

Interpreter for the While language
Haskell
2
star
10

protocol-validation

TeX
2
star
11

leesp

Lisp interpreter with implicit Garbage Collector
Rust
1
star
12

glossario-swe

Glossario di Ingegneria del Software
1
star
13

Banesso

VSC dark theme, canesso-based.
1
star
14

core

Core language parser
Haskell
1
star