Lars Hupel Lars Hupel

Tracking 3.67K commits to 130 open source packages

@typelevel cofounder


Homepage: https://lars.hupel.info

Company: @INNOQ

Location: München


Repositories

larsrh/libisabelle
A Scala library which talks to Isabelle
Scala - Apache-2.0 - Last pushed - 37 stars - 8 forks
larsrh/sbt-libisabelle
sbt helper for libisabelle
Scala - Apache-2.0 - Last pushed - 2 stars - 1 forks
larsrh/afp
sbt build of the Archive of Formal Proofs
Scala - MIT - Last pushed - 2 stars
larsrh/bobkonf2017
Tutorial at BOB Konferenz 2017
Haskell - MIT - Last pushed - 3 stars - 1 forks
larsrh/purely-experimental
Experiments in Isabelle/Pure (and a bit of HOL)
Standard ML - MIT - Last pushed - 3 stars
larsrh/datalog-fixpoint
Computes the fixpoint of certain Datalog queries with constraints
OCaml - BSD-3-Clause - Last pushed - 5 stars
See all Lars Hupel's repositories

Repositories Contributed To

diekmann/Iptables_Semantics
Verified iptables Firewall Ruleset Analysis
Isabelle - BSD-2-Clause - Last pushed - 56 stars - 7 forks
noschinl/cyp
Checker for "morally correct" induction proofs about haskell programs
Haskell - MIT - Last pushed - 12 stars - 1 forks
typelevel/spire
Powerful new number types and numeric abstractions for Scala.
Scala - MIT - Last pushed - 1.46K stars - 202 forks
sebdeckers/webrtc-performance
⏱ Measuring the performance of screen sharing via WebRTC
Scala - MIT - Updated - 0 stars
ravimad/Orb2015
An inference engine for Leon (https://github.com/epfl-lara/leon) that verifies resource bounds of...
Scala - Other - Last pushed - 2 stars - 1 forks
Leonidas-from-XIV/tum-manpages
manpages of folks at TUM
Last pushed - 9 stars - 13 forks
See all Lars Hupel's contributions

Published Packages

info.hupel:libisabelle-docs_2.12
docs
Latest release 1.1.0-RC1 - Updated - 37 stars
info.hupel:libisabelle_2.12
libisabelle
Latest release 1.1.0-RC1 - Updated - 37 stars
info.hupel:pide-2016-1-RC2_2.10
pide2016-1-RC2
Latest release 0.6.3 - Updated - 37 stars
info.hupel:pide-2016-1_2.11
pide2016-1
Latest release 0.9.3 - Updated - 37 stars
info.hupel:pide-package_2.12
pidePackage
Latest release 1.1.0-RC1 - Updated - 37 stars
info.hupel:libisabelle-cli_2.10
cli
Latest release 0.2.4 - Published - 37 stars
See all Lars Hupel's packages

Most Used Packages

ansi_term
Library for ANSI terminal colours and styles (bold, underline)
Latest release 0.12.1 - Updated - 229 stars
log
A lightweight logging facade for Rust
Latest release 0.4.8 - Updated - 652 stars
bitflags
A macro to generate structures which behave like bitflags.
Latest release 1.2.0 - Updated - 213 stars
serde_derive
Macros 1.1 implementation of #[derive(Serialize, Deserialize)]
Latest release 1.0.103 - Updated - 2.66K stars
serde
A generic serialization/deserialization framework
Latest release 1.0.103 - Updated - 2.66K stars
toml
A native Rust encoder and decoder of TOML-formatted files and streams. Provides implementations o...
Latest release 0.5.5 - Updated - 548 stars
See all Lars Hupel's most used packages

Last synced: 2016-12-16 15:05:25 UTC

Login to resync this page