larsrh/libisabelle

This repository has been archived on 25/Sep/2020
Stars
38
Rank 706,870 (Top 14 %)
Language
Scala
License
Apache License 2.0
Created almost 10 years ago
Updated about 4 years ago

larsrh/libisabelle

larsrh

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

A Scala library which talks to Isabelle (DISCONTINUED)

fizzbuzz-k8s

FizzBuzz on k8s using ingress rules, because why not?

datalog-fixpoint

Computes the fixpoint of certain Datalog queries with constraints (ARCHIVED)

purely-experimental

Experiments in Isabelle/Pure (and a bit of HOL) (ARCHIVED)

jamog

Jamog – Just a mæss of gates (ARCHIVED)

katsconf2017

Tutorial at Kats Conf 2, 2017 (ARCHIVED)

bobkonf2017

Tutorial at BOB Konferenz 2017 (ARCHIVED)

phd-thesis

LaTeX sources of my PhD thesis (ARCHIVED)

javacheck

Minimalist implementation of property testing in Java 8 (ARCHIVED)

website

ct-wasm

WASM-Beispiele für den c't-Artikel „Assembliert“

sbt-jsr223

Java tool & sbt plugin for launching JSR 223 scripts (DISCONTINUED)

afp

sbt build of the Archive of Formal Proofs (DISCONTINUED)

sbt-libisabelle

sbt helper for libisabelle (DISCONTINUED)

ewasm-example

Toy example for an EWASM-based smart contract (ARCHIVED)

nescala2014

Talk at NE Scala 2014: Macros vs. Types (ARCHIVED)

complate-ast

More efficient rendering of JSX (DISCONTINUED)

evolutionary-tsp

An evolutionary algorithm for solving TSP (ARCHIVED)

queue

Language based on queue automata (ARCHIVED)

exposed-promises

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

matrix-exercise

Exercise for type classes: Matrix multiplication (ARCHIVED)

flatmap2015

Demo code from talk at flatMap(Oslo) 2015 (ARCHIVED)

caml-light-to-jvm

Student project: A Caml Light compiler for the JVM (ARCHIVED)

princess

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

hol-optics

Formalized optics in HOL (ARCHIVED)

classy

Type classes for Isabelle/ML (DISCONTINUED)