01mf02/thesis 01mf02/thesis

  • Stars
    star
    2
  • Language Isabelle
  • Created almost 12 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
01mf02/thesis
github

01mf02

Reviews

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

Repository Details

Master's thesis

More Repositories

1

jaq

A jq clone focussed on correctness, speed, and simplicity
Rust
2,685
star
2

kontroli-rs

Alternative implementation of the logical framework Dedukti in Rust
Rust
21
star
3

pandocfilters

Pandoc filters for scientific writing
Python
16
star
4

computers-spaceflight

A cleaned version of the book "Computers in Spaceflight: The NASA Experience"
HTML
13
star
5

hifijson

High-fidelity JSON lexer and parser
Rust
13
star
6

codesnake

Pretty printer for non-overlapping code spans
Rust
8
star
7

cop-rs

Connection provers in Rust
Rust
7
star
8

notes

PhD diary
Makefile
3
star
9

sml-ocaml

SML to OCaml converter
Haskell
3
star
10

jq-lang-spec

Formal specification of the jq language
Typst
2
star
11

lazy-mt

Multi-threaded lazy evaluation in Rust
Rust
1
star
12

uct

Functional UCT
OCaml
1
star
13

DS

Java
1
star
14

lazy-st

Single-threaded lazy evaluation in Rust
Rust
1
star
15

lea

Files for the Lรฉa compiler
Java
1
star
16

parcours

Parser Combinators for Unique Results
Rust
1
star