larsrh/afp larsrh/afp

  • This repository has been archived on 24/Aug/2019
  • Stars
    star
    2
  • Language
    Scala
  • License
    MIT License
  • Created almost 8 years ago
  • Updated over 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
larsrh/afp
github

larsrh

Reviews

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

Repository Details

sbt build of the Archive of Formal Proofs (DISCONTINUED)

More Repositories

1

libisabelle

A Scala library which talks to Isabelle (DISCONTINUED)
Scala
38
star
2

fizzbuzz-k8s

FizzBuzz on k8s using ingress rules, because why not?
Shell
17
star
3

datalog-fixpoint

Computes the fixpoint of certain Datalog queries with constraints (ARCHIVED)
OCaml
6
star
4

purely-experimental

Experiments in Isabelle/Pure (and a bit of HOL) (ARCHIVED)
Standard ML
3
star
5

jamog

Jamog – Just a mæss of gates (ARCHIVED)
Java
3
star
6

katsconf2017

Tutorial at Kats Conf 2, 2017 (ARCHIVED)
Scala
3
star
7

bobkonf2017

Tutorial at BOB Konferenz 2017 (ARCHIVED)
Haskell
3
star
8

phd-thesis

LaTeX sources of my PhD thesis (ARCHIVED)
TeX
2
star
9

javacheck

Minimalist implementation of property testing in Java 8 (ARCHIVED)
Java
2
star
10

website

My website
JavaScript
2
star
11

ct-wasm

WASM-Beispiele für den c't-Artikel „Assembliert“
JavaScript
2
star
12

sbt-jsr223

Java tool & sbt plugin for launching JSR 223 scripts (DISCONTINUED)
Scala
2
star
13

sbt-libisabelle

sbt helper for libisabelle (DISCONTINUED)
Scala
2
star
14

ewasm-example

Toy example for an EWASM-based smart contract (ARCHIVED)
Rust
2
star
15

nescala2014

Talk at NE Scala 2014: Macros vs. Types (ARCHIVED)
TeX
1
star
16

complate-ast

More efficient rendering of JSX (DISCONTINUED)
TypeScript
1
star
17

evolutionary-tsp

An evolutionary algorithm for solving TSP (ARCHIVED)
Haskell
1
star
18

queue

Language based on queue automata (ARCHIVED)
Haskell
1
star
19

exposed-promises

Tiny library for creating promises that can be resolved outside the Promise constructor (UNMAINTAINED)
TypeScript
1
star
20

matrix-exercise

Exercise for type classes: Matrix multiplication (ARCHIVED)
Shell
1
star
21

flatmap2015

Demo code from talk at flatMap(Oslo) 2015 (ARCHIVED)
Scala
1
star
22

caml-light-to-jvm

Student project: A Caml Light compiler for the JVM (ARCHIVED)
Scala
1
star
23

princess

Git mirror of Princess, the Scala theorem prover (DISCONTINUED)
Scala
1
star
24

hol-optics

Formalized optics in HOL (ARCHIVED)
Isabelle
1
star
25

classy

Type classes for Isabelle/ML (DISCONTINUED)
Standard ML
1
star