Jon Pretty (@propensive)
  • Stars
    star
    1,650
  • Global Rank 18,763 (Top 0.7 %)
  • Followers 391
  • Following 4
  • Registered about 13 years ago
  • Most used languages
    Scala
    94.5 %
    Shell
    3.6 %
    Others
    1.8 %
  • Location πŸ‡©πŸ‡ͺ Germany
  • Country Total Rank 1,090
  • Country Ranking
    Scala
    4
    Shell
    881
    Makefile
    1,065
    TypeScript
    4,672

Top repositories

1

fury-old

A new build tool for JVM languages
Scala
413
star
2

contextual

Statically-checked string interpolation in Scala
Scala
245
star
3

rapture

Rapture
Scala
183
star
4

kaleidoscope

Statically-checked inline matching on regular expressions in Scala
Scala
161
star
5

probably

To probe what we can't prove, so the unprovable may become probable; testing for Scala
Scala
55
star
6

mercator-old

Automatic typeclass-based abstraction over monad-like types
Scala
54
star
7

totalitarian

Totalitarian: typesafe data structures for working with total functions
Scala
49
star
8

impromptu

Lightweight and typesafe asynchronous computation graphs
Scala
41
star
9

mutatus

Lightweight API for working with cloud data
Scala
40
star
10

one

A platform of libraries for Scala 3
Shell
33
star
11

xylophone

Working with XML in Scala
Scala
24
star
12

adversaria

Typeclass interfaces to access user-defined Scala annotations
Scala
24
star
13

gastronomy

Simple generically-derived cryptographic functions for Scala
Scala
20
star
14

polyvinyl

Typesafe record types for Scala
Scala
18
star
15

pyroclastic

Functional dataflow through composable computations
Scala
18
star
16

cosmopolite

Typesafe internationalization of strings in Scala
Scala
18
star
17

fury

A build tool for Scala
Scala
16
star
18

guillotine

Making the execution of system processes easier in Scala
Scala
12
star
19

exoskeleton

Interfaces for interacting with the shell from Scala
Scala
12
star
20

caesura

Simple parsing of CSV into case classes in Scala
Scala
11
star
21

quarantine

Safe and total handling of domain-specific exceptions
Scala
9
star
22

acyclicity

Monadic directed acyclic graph datastructures for Scala
Scala
9
star
23

escritoire

A library for writing tables for Scala
Scala
9
star
24

scintillate

A lightweight HTTP client and server for the Loom generation using Scala
Scala
9
star
25

wisteria

Easy, fast, transparent generic derivation of typeclass instances in Scala
Scala
8
star
26

rudiments

A collection of basic, useful methods to complement the Scala stardard library
Scala
6
star
27

profanity

A library for realtime interactive terminal software in Scala
Scala
6
star
28

iridescence

Sophisticated representation of color in Scala
Scala
5
star
29

honeycomb

A lightweight and typesafe DSL for embedding HTML in Scala code
Scala
5
star
30

optometry

Universal lenses with intuitive syntax
Scala
5
star
31

harlequin

Syntax highlighting for Scala code
Scala
5
star
32

turbulence

Simple tools for working with data streams in LazyLists in Scala
Scala
4
star
33

eucalyptus

Versatile logging with static configuration for Scala
Scala
4
star
34

merino

A JSON parser and AST
Scala
4
star
35

scalaworld

Scala World website
Scala
3
star
36

cataclysm

Typesafe CSS in Scala
Scala
3
star
37

umbrageous

Scala compiler plugin to shade packages at compiletime
Scala
3
star
38

serpentine

Precise navigation of path structures in Scala
Scala
3
star
39

galilei

Simple interfaces for I/O operations in Scala
Scala
3
star
40

ethereal

Run Scala applications as daemons
Scala
3
star
41

punctuation

Typesafe parsing and rendering of markdown in Scala
Scala
3
star
42

savagery

Scala-ble Vector Graphics
Scala
3
star
43

ferocity

TypeScript
3
star
44

jacinta

Simple interfaces for reading, processing and writing JSON in Scala
Scala
3
star
45

telekinesis

A lightweight URI representation and HTTP client
Scala
3
star
46

bifurcate

Deserialize binary data in Scala
Scala
3
star
47

anticipation

Minimal typeclass definitions for seamless integration without hard dependencies for Scala
Scala
3
star
48

nettlesome

Typesafe representations of network concepts in Scala
Scala
2
star
49

dissonance

An implementation of Myers' diff algorithm for Scala
Scala
2
star
50

tarantula

Drive a web browser with the WebDriver protocol for Scala
Scala
2
star
51

plutocrat

Typesafe representations of monetary values in Scala
Scala
2
star
52

panopticon

Versatile and composable lenses for Scala
Scala
2
star
53

quantitative

Statically-checked physical units with seamless syntax
Scala
2
star
54

spectacular

Scala typeclasses for rendering different values as text for different audiences
Scala
2
star
55

gossamer

Lightweight and typesafe strings in Scala
Scala
2
star
56

larceny

Scala 3 compiler plugin for testing compiler errors
Scala
2
star
57

wrath

Simplistic build script for bootstrapping Scala projects
Shell
2
star
58

mitigation

Mitigation
Scala
2
star
59

feudalism

Controlled borrowing of mutable values for safe concurrency
Scala
2
star
60

mercator

Autogeneration of functor and monad instances for Scala types
Scala
2
star
61

superlunary

Exploiting lightweight modular staging in Scala
Scala
2
star
62

parasite

Structured asynchronous task management in Scala
Scala
2
star
63

escapade

Adventures in ANSI escape codes in Scala
Scala
2
star
64

embarcadero

Management of Docker containers for Scala
Scala
2
star
65

vacuous

A simple representation of optional values
Scala
2
star
66

hypotenuse

A rigorous and consistent foundation for numerical and arithmetic programming
Scala
2
star
67

codl

The COllaborative Data Language is a lightweight data definition language for human/computer collaboration
Shell
1
star
68

nextgen-scala

Makefile
1
star
69

scala3-training

Scala
1
star
70

anthology

A typesafe interface to the Scala compiler
Scala
1
star
71

zeppelin

Work with ZIP files in Scala
Scala
1
star
72

cellulose

A comprehensive Scala library for working with CoDL files
Scala
1
star
73

mosquito

Typesafe vector algebra for Scala
Scala
1
star
74

imperial

Access UNIX's standard directory structure from Scala
Scala
1
star
75

inimitable

UUIDs for Scala
Scala
1
star
76

oubliette

Quickly launch new JVMs by remote control from Scala
Shell
1
star
77

hyperbole

Assintance with Scala 3 metaprogramming
Scala
1
star
78

dendrology

Rendering of trees and DAGs in the console
Scala
1
star
79

nectary

Automatic OpenAPI endpoint generation
Scala
1
star
80

camouflage

Caching data structures for Scala
Scala
1
star
81

aviation

Representations of time, in its various forms, for Scala
Scala
1
star
82

villainy

Record types from JSON schemata in Scala
Scala
1
star
83

digression

Utilities for working with exceptions in Scala
Scala
1
star
84

amok

A comprehensive API documentation system
Scala
1
star
85

frontier

Scala
1
star
86

gesticulate

Safe representations of MIME types in Scala
Scala
1
star
87

coaxial

Socket handling for Scala
Scala
1
star
88

modicum

Scala
1
star
89

aristotle

A library and language for producing MathML
Scala
1
star
90

charisma

Represent chemical formulae in Scala
Scala
1
star
91

chiaroscuro

Provides structural comparisons between values
Scala
1
star
92

cardinality

Dependently-typed range-checked numbers for Scala
Scala
1
star
93

baroque

Make coding with complex numbers more real
Scala
1
star
94

hieroglyph

Calculate Unicode character display widths in Scala
Scala
1
star
95

ambience

Safely access environment variables and system properties in Scala
Scala
1
star
96

abacist

Calculations with non-decimal units and mixed bases
Scala
1
star
97

symbolism

A general mechanism to implement overloaded symbolic operators in Scala
Scala
1
star
98

octogenarian

Common Git operations for Scala
Scala
1
star
99

hellenism

Classpath management facilities for Scala
Scala
1
star
100

hallucination

A library for working with images in Scala
Scala
1
star