Germany

Jon Pretty

Elite
@propensive

Scala developer

fury-old. A new build tool for JVM languages

428

contextual. Statically-checked string interpolation in Scala

251

rapture. Rapture

182

kaleidoscope. Statically-checked inline matching on regular expressions in Scala

168

soundness. A platform of libraries for Scala 3

112

probably. To probe what we can't prove, so the unprovable may become probable; testing for Scala

56

mercator-old. Automatic typeclass-based abstraction over monad-like types

54

totalitarian. Totalitarian: typesafe data structures for working with total functions

47

mutatus. Lightweight API for working with cloud data

40

impromptu. Lightweight and typesafe asynchronous computation graphs

40

fury. A build tool for Scala

37

wisteria. Easy, fast, transparent generic derivation of typeclass instances in Scala

25

adversaria. Typeclass interfaces to access user-defined Scala annotations

24

xylophone. Working with XML in Scala

23

polyvinyl. Typesafe record types for Scala

20

gastronomy. Simple generically-derived cryptographic functions for Scala

20

cosmopolite. Typesafe internationalization of strings in Scala

18

pyroclastic. Functional dataflow through composable computations

18

exoskeleton. Interfaces for interacting with the shell from Scala

14

acyclicity. Monadic directed acyclic graph datastructures for Scala

14

guillotine. Making the execution of system processes easier in Scala

13

escritoire. A library for writing tables for Scala

12

scintillate. A lightweight HTTP server for the Loom generation using Scala

11

caesura. Simple parsing of CSV into case classes in Scala

11

turbulence. Simple tools for working with data streams in LazyLists in Scala

10

punctuation. Typesafe parsing and rendering of markdown in Scala

9

rudiments. Rudimentary methods for elegant, everyday Scala

9

quarantine. Safe and total handling of domain-specific exceptions

8

honeycomb. A lightweight and typesafe DSL for embedding HTML in Scala code

7

nettlesome. Typesafe representations of network concepts in Scala

7

profanity. A library for realtime interactive terminal software in Scala

7

vacuous. A simple representation of optional values

6

tube. Sample Soundness app

6

quantitative. Statically-checked physical units with seamless syntax

6

symbolism. A general mechanism to implement symbolic operators in Scala

6

jacinta. Simple interfaces for reading, processing and writing JSON in Scala

6

contingency. Safe and seamless validation and error aggregation

5

harlequin. Syntax highlighting for Scala code

5

wrath. Simplistic build script for bootstrapping Scala projects

5

optometry. Universal lenses with intuitive syntax

5

anticipation. Minimal typeclass definitions for seamless integration without hard dependencies for Scala

5

iridescence. Sophisticated representation of color in Scala

5

metamorphose. Efficient permutation representations in Scala

4

merino. A JSON parser and AST

4

eucalyptus. Versatile logging with static configuration for Scala

4

cataclysm. Typesafe CSS in Scala

4

mosquito. Typesafe vector algebra for Scala

4

ethereal. Run Scala applications as daemons

4

polaris. Deserialize binary data in Scala

3

telekinesis. A lightweight URI representation and HTTP client

3

umbrageous. Scala compiler plugin to shade packages at compiletime

3

gossamer. Lightweight and typesafe strings in Scala

3

escapade. Adventures in ANSI escape codes in Scala

3

baroque. Make coding with complex numbers more real

3

hypotenuse. A rigorous and consistent foundation for numerical and arithmetic programming

2

vent. Fury releases

2

chiaroscuro. Provides structural comparisons between values

2

plutocrat. Typesafe representations of monetary values in Scala

2
58
Apply