Giters
Lars Hupel (larsrh)

larsrh

Geek Repo

295

followers

0

following

0

stars

Company:Giesecke+Devrient

Location:München

Home Page:https://lars.hupel.info

Twitter:@larsr_h

Github PK Tool:Github PK Tool

Organizations
april-cools
fu-dietersheim
haskell-bayern
isabelle-prover
isaqb-org
PlayingWithProlog
ruestigraben

Lars Hupel's repositories

bobkonf2017

Tutorial at BOB Konferenz 2017 (ARCHIVED)

Language:HaskellLicense:MITStargazers:3Issues:2Issues:0

katsconf2017

Tutorial at Kats Conf 2, 2017 (ARCHIVED)

Language:ScalaLicense:MITStargazers:3Issues:2Issues:0

purely-experimental

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

Language:Standard MLLicense:MITStargazers:3Issues:2Issues:0

javacheck

Minimalist implementation of property testing in Java 8 (ARCHIVED)

Language:JavaLicense:MITStargazers:2Issues:2Issues:0

sbt-jsr223

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

Language:ScalaLicense:Apache-2.0Stargazers:2Issues:2Issues:2

caml-light-to-jvm

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

Language:ScalaLicense:NOASSERTIONStargazers:1Issues:2Issues:0

flatmap2015

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

Language:ScalaLicense:CC0-1.0Stargazers:1Issues:2Issues:0

hol-optics

Formalized optics in HOL (ARCHIVED)

Language:IsabelleLicense:MITStargazers:1Issues:4Issues:0

princess

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

Language:ScalaLicense:LGPL-2.1Stargazers:1Issues:2Issues:0

associative

Bachelor's Thesis: Development of an associative file system (ARCHIVED)

Language:C++License:Apache-2.0Stargazers:0Issues:2Issues:0

aur-opentheory

AUR package for opentheory (DISCONTINUED)

Language:ShellStargazers:0Issues:2Issues:0

aur-opentheory-git

AUR package for opentheory (development version) (DISCONTINUED)

Language:ShellLicense:MITStargazers:0Issues:2Issues:0

aur-qpdfpresenterconsole

AUR package for qpdfpresenterconsole (DISCONTINUED)

Language:ShellStargazers:0Issues:2Issues:0

demos

Programming demos using Jupyter (ARCHIVED)

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:0Issues:2Issues:0

flatmap2014

Scalaz workshop at flatMap(Oslo) 2014 (ARCHIVED)

Stargazers:0Issues:2Issues:0

isabelle-opam

OPAM component for Isabelle (DISCONTINUED)

Language:ShellLicense:MITStargazers:0Issues:0Issues:0

libisabelle-example

Example project using libisabelle (DISCONTINUED)

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

libisabelle-protocol

Isabelle backend for the libisabelle protocol (DISCONTINUED)

Language:Standard MLLicense:MITStargazers:0Issues:1Issues:0

log4s

2.12 fork of https://github.com/Log4s/log4s/ (DISCONTINUED)

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

polycheck

Testing polymorphic properties, based on ScalaCheck (DISCONTINUED)

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

regensburg-haskell-testing

Demo code from the talk "Testing in Haskell" (ARCHIVED)

Language:HaskellLicense:Apache-2.0Stargazers:0Issues:2Issues:2

remotely

2.12 fork of https://github.com/Verizon/remotely (DISCONTINUED)

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

sbt-api-mappings

An sbt plugin that fills apiMappings for common Scala libraries (DISCONTINUED)

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

sbt-slf4j

An SLF4j backend that utilizes the SBT log (DISCONTINUED)

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

scalacheck-futures-deadlock-2.12

Deadlock with ScalaCheck 1.13.x, Futures, and Scala 2.12.0-RC2 (ARCHIVED)

Language:ScalaStargazers:0Issues:3Issues:0

scalaio2014

Demo code from scala.io 2014 (ARCHIVED)

Language:ScalaStargazers:0Issues:2Issues:0

slf4j-impl-helper

Simple helper to implement custom slf4j loggers (DISCONTINUED)

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

tasty

Modern and extensible testing framework for Haskell (ARCHIVED)

Language:HaskellStargazers:0Issues:2Issues:0

tasty-html

HTML test reporter for the Tasty test framework (ARCHIVED)

Language:HaskellLicense:MITStargazers:0Issues:3Issues:0

tutor-toolbox

Tool to check equality of regular expressions and context-free grammars (DISCONTINUED)

Language:ScalaLicense:MITStargazers:0Issues:1Issues:0