• This repository has been archived on 06/Jan/2019
  • Stars
    star
    1
  • Language
    Scala
  • License
    GNU Lesser Genera...
  • Created over 7 years ago
  • Updated over 6 years ago

Reviews

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

Repository Details

Git mirror of Princess, the Scala theorem prover (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

afp

sbt build of the Archive of Formal Proofs (DISCONTINUED)
Scala
2
star
14

sbt-libisabelle

sbt helper for libisabelle (DISCONTINUED)
Scala
2
star
15

ewasm-example

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

nescala2014

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

complate-ast

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

evolutionary-tsp

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

queue

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

exposed-promises

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

matrix-exercise

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

flatmap2015

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

caml-light-to-jvm

Student project: A Caml Light compiler for the JVM (ARCHIVED)
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