aplatzer

aplatzer's Stars

• scala-js/scala-js

  Scala.js, the Scala to JavaScript compiler

  Language:Scala4.6k1452.3k394

• scala-native/scala-native

  Your favorite language gets closer to bare metal.

  Language:Scala4.6k1321.7k377

• jonathan-laurent/AlphaZero.jl

  A generic, simple and fast implementation of Deepmind's AlphaZero algorithm.

  Language:Julia1.3k26148137

• LS-Lab/KeYmaeraX-release

  KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)

  Language:Scala791411140

• LS-Lab/Coq-dL

  A formally verified implementation of differential dynamic logic in Coq

  Language:Coq15703

• keymaerad/KeYmaeraD

  theorem prover for quantified differential dynamic logic

  Language:Scala11712

• LS-Lab/orbital

  Orbital Library

  Language:Java9703

• LS-Lab/KeYmaera-release

  Older KeYmaera 3: A Hybrid Theorem Prover for Hybrid Systems

  Language:Java8304

• LS-Lab/KeYmaeraX-projects

  Projects, models, and proofs in KeYmaera X

  Language:Shell61408

• diderot-edu/diderot-cli

  A CLI interface for navigating through diderot.

  Language:Python57572

• LS-Lab/Isabelle-dL

  A formally verified implementation of differential dynamic logic in Isabelle

  Language:Isabelle5800

• diderot-edu/diderot-guide

  A guide to Diderot

  Language:TeX23102