bmaderbacher

bmaderbacher's Stars

• IagoAbal/haskell-z3

  Haskell bindings to Microsoft's Z3 API (unofficial).

  Language:Haskell5745

• gTile/gTile

  A window tiling extension for Gnome.

  Language:TypeScript1.6k101

• com-lihaoyi/fastparse

  Writing Fast Parsers Fast in Scala

  Language:Scala1.1k164

• pyenv/pyenv

  Simple Python version management

  Language:Roff40.3k3.1k

• santinic/pampy

  Pampy: The Pattern Matching for Python you always dreamed of.

  Language:Python3.5k125

• HypothesisWorks/hypothesis

  Hypothesis is a powerful, flexible, and easy to use library for property-based testing.

  Language:Python7.7k590

• deadpixi/contracts

  An implementation of contracts for Python.

  Language:Python34519

• LearnLib/learnlib

  A free, open-source Java library for automata learning algorithms

  Language:Java21254

• scala/scala3

  The Scala 3 compiler, also known as Dotty.

  Language:Scala5.9k1.1k

• scalaz/scalaz

  Principled Functional Programming in Scala

  Language:Scala4.7k702

• scala/scala

  Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

  Language:Scala14.4k3.1k

• typelevel/cats

  Lightweight, modular, and extensible library for functional programming.

  Language:Scala5.3k1.2k

• Z3Prover/z3

  The Z3 Theorem Prover

  Language:C++10.6k1.5k