01mf02/thesis 01mf02/thesis

  • Stars
    star
    2
  • Language Isabelle
  • Created over 11 years ago
  • Updated about 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,453
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

hifijson

High-fidelity JSON lexer and parser
Rust
12
star
5

computers-spaceflight

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

cop-rs

Connection provers in Rust
Rust
7
star
7

notes

PhD diary
Makefile
3
star
8

sml-ocaml

SML to OCaml converter
Haskell
3
star
9

jq-lang-spec

Formal specification of the jq language
Typst
2
star
10

lazy-mt

Multi-threaded lazy evaluation in Rust
Rust
1
star
11

uct

Functional UCT
OCaml
1
star
12

DS

Java
1
star
13

lazy-st

Single-threaded lazy evaluation in Rust
Rust
1
star
14

lea

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

parcours

Parser Combinators for Unique Results
Rust
1
star