propensive

Scala developer

PropensiveGermany

Pinned Repositories

contextual
Statically-checked string interpolation in Scala
Language:Scala245 12 4223
fury
A build tool for Scala
Language:Scala18 4 450
fury-old
A new build tool for JVM languages
Language:Scala413 22 67034
impromptu
Lightweight and typesafe asynchronous computation graphs
Language:Scala41 9 53
kaleidoscope
Statically-checked inline matching on regular expressions in Scala
Language:Scala163 12 268
mercator-old
Automatic typeclass-based abstraction over monad-like types
Language:Scala54 8 610
probably
To probe what we can't prove, so the unprovable may become probable; testing for Scala
Language:Scala55 6 4612
rapture
Rapture
Language:Scala182 10 14039
soundness
A platform of libraries for Scala 3
Language:Shell391
totalitarian
Totalitarian: typesafe data structures for working with total functions
Language:Scala49 8 45

propensive's Repositories

propensive/kaleidoscope
Statically-checked inline matching on regular expressions in Scala
Language:Scala163 12 268
propensive/probably
To probe what we can't prove, so the unprovable may become probable; testing for Scala
Language:Scala55 6 4612
propensive/soundness
A platform of libraries for Scala 3
Language:Shell391
propensive/fury
A build tool for Scala
Language:Scala18 4 450
propensive/escritoire
A library for writing tables for Scala
Language:Scala9 3 173
propensive/profanity
A library for realtime interactive terminal software in Scala
Language:Scala6 3 16
propensive/rudiments
A collection of basic, useful methods to complement the Scala stardard library
Language:Scala6 3 44
propensive/iridescence
Sophisticated representation of color in Scala
Language:Scala5 3 7
propensive/anticipation
Minimal typeclass definitions for seamless integration without hard dependencies for Scala
Language:Scala4 3 17
propensive/eucalyptus
Versatile logging with static configuration for Scala
Language:Scala4 3 17
propensive/turbulence
Simple tools for working with data streams in LazyLists in Scala
Language:Scala4 4 18
propensive/wrath
Simplistic build script for bootstrapping Scala projects
Language:Shell4 2 17
propensive/punctuation
Typesafe parsing and rendering of markdown in Scala
Language:Scala3 3 92
propensive/dissonance
An implementation of Myers' diff algorithm for Scala
Language:Scala2 3 10
propensive/escapade
Adventures in ANSI escape codes in Scala
Language:Scala2 3 16
propensive/gossamer
Lightweight and typesafe strings in Scala
Language:Scala2 4 13
propensive/hypotenuse
A rigorous and consistent foundation for numerical and arithmetic programming
Language:Scala2 2 4
propensive/larceny
Scala 3 compiler plugin for testing compiler errors
Language:Scala2 2 7
propensive/parasite
Structured asynchronous task management in Scala
Language:Scala2 3 13
propensive/spectacular
Scala typeclasses for rendering different values as text for different audiences
Language:Scala2 2 6
propensive/vacuous
A simple representation of optional values
Language:Scala2 2 2
propensive/ambience
Safely access environment variables and system properties in Scala
Language:Scala1 2 4
propensive/contingency
Safe and seamless validation and error aggregation
Language:Scala1 2 15
propensive/dendrology
Rendering of trees and DAGs in the console
Language:Scala1 2 9
propensive/digression
Utilities for working with exceptions in Scala
Language:Scala1 2 8
propensive/fulminate
Rich user messages for Scala
Language:Scala1 2 8
propensive/hieroglyph
Calculate Unicode character display widths in Scala
Language:Scala1 2 8
propensive/symbolism
A general mechanism to implement symbolic operators in Scala
Language:Scala1
propensive/zeppelin
Work with ZIP files in Scala
Language:Scala1 2 3
propensive/scala3
The Scala 3 compiler, also known as Dotty.
Language:Scala