GitHunt

Jon Pretty

propensive

Scala developer

Propensive
Germany

Languages

Scala97%Shell3%

Repos

157

Stars

1.1k

Forks

77

Top Language

Scala

Loading contributions...

Top Repositories

Repositories

157
PR
propensive/fury-old

A new build tool for JVM languages

Scala42534Updated 1 year ago
buildbuild-toolcompilationdependency-managerjavascala
PR
propensive/codl

The COllaborative Data Language is a lightweight data definition language for human/computer collaboration

Shell10Updated 3 days ago
PR
propensive/soundness

A platform of libraries for Scala 3

Scala1093Updated 1 day ago
PR
propensive/contextualArchived

Statically-checked string interpolation in Scala

Scala25223Updated 1 year ago
compiletimeparsingscalastring-interpolationstring-literals
PR
propensive/quarantineArchived

Safe and total handling of domain-specific exceptions

Scala81Updated 5 years ago
PR
propensive/fury

A build tool for Scala

Scala361Updated 1 year ago
PR
propensive/kaleidoscopeArchived

Statically-checked inline matching on regular expressions in Scala

Scala1688Updated 1 year ago
capture-groupspattern-matchingregexregular-expressionscala
PR
propensive/acyclicityArchived

Monadic directed acyclic graph datastructures for Scala

Scala141Updated 1 year ago
dagfunctional-programminggraphimmutableoutgoing-edgesscalasubgraph
PR
propensive/metamorphoseArchived

Efficient permutation representations in Scala

Scala40Updated 1 year ago
combinatoricsfactoriadicfactorialslehmerlehmer-codespermutations
PR
propensive/wisteriaArchived

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

Scala253Updated 1 year ago
coproduct-typesderivationgeneric-derivationproduct-typesscalasum-typestypeclass-derivationtypeclass-instancestypeclasses
PR
propensive/amok

A comprehensive API documentation system

Scala20Updated 4 months ago
api-documentationmarkdownscala
PR
propensive/soundness.dev

No description provided.

Scala00Updated 5 months ago
PR
propensive/zeppelinArchived

Work with ZIP files in Scala

Scala10Updated 1 year ago
pkzipscalazipzip-files
PR
propensive/zephyrineArchived

Make stream parsing a breeze

Scala00Updated 1 year ago
PR
propensive/yossarianArchived

The insanity of terminal emulation

Scala10Updated 1 year ago
ansi-escapesconsoleconsole-emulatorheadlessptyscalaterminal-emulationterminal-emulatortty
PR
propensive/xylophoneArchived

Working with XML in Scala

Scala231Updated 1 year ago
scalaxmlxml-apixml-parserxml-serialization
PR
propensive/vicariousArchived

Typesafe associations between product types and values

Scala00Updated 1 year ago
PR
propensive/vacuousArchived

A simple representation of optional values

Scala60Updated 1 year ago
null-safetyoptional-typescalaunion-types
PR
propensive/umbrageousArchived

Scala compiler plugin to shade packages at compiletime

Scala30Updated 1 year ago
compiler-pluginpackage-shadingscalashading
PR
propensive/ulyssesArchived

An implementation of Bloom filters for Scala

Scala10Updated 1 year ago
bloombloom-filtersscala
PR
propensive/typonymArchived

Collections raised to the type-level in Scala

Scala30Updated 1 year ago
collectionsdependent-typesscalatype-leveltype-level-programming
PR
propensive/turbulenceArchived

Simple tools for working with data streams in LazyLists in Scala

Scala100Updated 1 year ago
multiplexingscalastreamingstreaming-apistreaming-data
PR
propensive/telekinesisArchived

A lightweight URI representation and HTTP client

Scala30Updated 1 year ago
httphttp-clientrestscala
PR
propensive/tarantulaArchived

Drive a web browser with the WebDriver protocol for Scala

Scala21Updated 1 year ago
browser-automationdomscalawebdriver
PR
propensive/symbolismArchived

A general mechanism to implement symbolic operators in Scala

Scala61Updated 1 year ago
arithmetic-operatorsscalatypeclasses
PR
propensive/surveillanceArchived

Representation-agnostic filewatching with streams in Scala

Scala20Updated 1 year ago
file-watchingfilesystem-eventsfilewatcherscala
PR
propensive/superlunaryArchived

Exploiting lightweight modular staging in Scala

Scala20Updated 1 year ago
lmsscalastaging
PR
propensive/spectacularArchived

Scala typeclasses for rendering different values as text for different audiences

Scala20Updated 1 year ago
scalashowshow-typeclasstext-conversion
PR
propensive/serpentineArchived

Precise navigation of path structures in Scala

Scala30Updated 1 year ago
hierarchynavigationpathsrelative-pathscala
PR
propensive/sedentaryArchived

Simple benchmarking for Scala projects

Scala20Updated 1 year ago

Gists

Recent Activity

Jon Pretty (propensive) | GitHunt