Projects in Awesome Lists by propensive
A curated list of projects in awesome lists by propensive .
https://github.com/propensive/fury-old
A new build tool for JVM languages
build build-tool compilation dependency-manager java scala
Last synced: 09 Apr 2025
https://github.com/propensive/contextual
Statically-checked string interpolation in Scala
compiletime parsing scala string-interpolation string-literals
Last synced: 16 May 2025
https://github.com/propensive/kaleidoscope
Statically-checked inline matching on regular expressions in Scala
capture-groups pattern-matching regex regular-expression scala
Last synced: 04 Apr 2025
https://github.com/propensive/soundness
A platform of libraries for Scala 3
Last synced: 09 Apr 2025
https://github.com/propensive/probably
To probe what we can't prove, so the unprovable may become probable; testing for Scala
assertion fury property-testing scala testing testing-tool testing-tools
Last synced: 07 Jul 2025
https://github.com/propensive/totalitarian
Totalitarian: typesafe data structures for working with total functions
Last synced: 20 Feb 2025
https://github.com/propensive/impromptu
Lightweight and typesafe asynchronous computation graphs
Last synced: 20 Feb 2025
https://github.com/propensive/adversaria
Typeclass interfaces to access user-defined Scala annotations
annotations java-annotations scala tags typeclass
Last synced: 17 Mar 2025
https://github.com/propensive/xylophone
Working with XML in Scala
scala xml xml-api xml-parser xml-serialization
Last synced: 17 Mar 2025
https://github.com/propensive/polyvinyl
Typesafe record types for Scala
record-types scala schemas type-providers typesafe-schemas
Last synced: 03 Sep 2025
https://github.com/propensive/gastronomy
Simple generically-derived cryptographic functions for Scala
cryptographic-digests cryptography digest encryption hash md5 scala sha2 sha256
Last synced: 17 Mar 2025
https://github.com/propensive/wisteria
Easy, fast, transparent generic derivation of typeclass instances in Scala
coproduct-types derivation generic-derivation product-types scala sum-types typeclass-derivation typeclass-instances typeclasses
Last synced: 17 Mar 2025
https://github.com/propensive/pyroclastic
Functional dataflow through composable computations
composable composition dataflow fp functional monadic typesafe
Last synced: 11 Apr 2025
https://github.com/propensive/cosmopolite
Typesafe internationalization of strings in Scala
i18n internationalization scala
Last synced: 18 Oct 2025
https://github.com/propensive/exoskeleton
Interfaces for interacting with the shell from Scala
Last synced: 22 Mar 2025
https://github.com/propensive/guillotine
Making the execution of system processes easier in Scala
exec execution process scala shell system-processes
Last synced: 22 Mar 2025
https://github.com/propensive/acyclicity
Monadic directed acyclic graph datastructures for Scala
dag functional-programming graph immutable outgoing-edges scala subgraph
Last synced: 22 Mar 2025
https://github.com/propensive/escritoire
A library for writing tables for Scala
ansi box-drawing scala shell tables text
Last synced: 26 Jul 2025
https://github.com/propensive/scintillate
A lightweight HTTP server for the Loom generation using Scala
http http-client http-server loom mime rest scala servlet-container
Last synced: 30 Jul 2025
https://github.com/propensive/caesura
Simple parsing of CSV into case classes in Scala
csv csv-parser scala tsv tsv-parser
Last synced: 22 Mar 2025
https://github.com/propensive/turbulence
Simple tools for working with data streams in LazyLists in Scala
multiplexing scala streaming streaming-api streaming-data
Last synced: 16 Aug 2025
https://github.com/propensive/rudiments
Rudimentary methods for elegant, everyday Scala
control-flow predef scala scala-predef y-combinator
Last synced: 22 Mar 2025
https://github.com/propensive/profanity
A library for realtime interactive terminal software in Scala
console curses interactive ncurses scala terminal tty
Last synced: 22 Mar 2025
https://github.com/propensive/punctuation
Typesafe parsing and rendering of markdown in Scala
Last synced: 11 Apr 2025
https://github.com/propensive/nettlesome
Typesafe representations of network concepts in Scala
ip-addresses mac-addresses networking ports scala url-parsing urls
Last synced: 22 Mar 2025
https://github.com/propensive/quantitative
Statically-checked physical units with seamless syntax
dimensional-analysis homogeneity imperial-units measurements physical-quantities physics scala si-units typesafe unit-conversion
Last synced: 13 Oct 2025
https://github.com/propensive/symbolism
A general mechanism to implement symbolic operators in Scala
arithmetic-operators scala typeclasses
Last synced: 09 Oct 2025
https://github.com/propensive/jacinta
Simple interfaces for reading, processing and writing JSON in Scala
ast json json-api scala serializer
Last synced: 22 Mar 2025
https://github.com/propensive/contingency
Safe and seamless validation and error aggregation
checked-exceptions error-collection exception-handling scala unchecked-exceptions validation
Last synced: 22 Mar 2025
https://github.com/propensive/iridescence
Sophisticated representation of color in Scala
cielab color color-models hsl hsv lab-color rgb scala srgb
Last synced: 22 Mar 2025
https://github.com/propensive/optometry
Universal lenses with intuitive syntax
Last synced: 11 Apr 2025
https://github.com/propensive/anticipation
Minimal typeclass definitions for seamless integration without hard dependencies for Scala
css dependencies html http interfaces scala seamless time typeclasses
Last synced: 11 Apr 2025
https://github.com/propensive/vacuous
A simple representation of optional values
null-safety optional-type scala union-types
Last synced: 11 Apr 2025
https://github.com/propensive/wrath
Simplistic build script for bootstrapping Scala projects
Last synced: 22 Mar 2025
https://github.com/propensive/ethereal
Run Scala applications as daemons
cli-app client-server-application daemon nailgun
Last synced: 25 Oct 2025
https://github.com/propensive/dendrology
Rendering of trees and DAGs in the console
ascii ascii-art ascii-graphics ascii-tree console
Last synced: 11 Apr 2025
https://github.com/propensive/eucalyptus
Versatile logging with static configuration for Scala
Last synced: 25 Aug 2025
https://github.com/propensive/merino
A JSON parser and AST
fast-json-parser json-parser scala
Last synced: 11 Jul 2025
https://github.com/propensive/mosquito
Typesafe vector algebra for Scala
euclidean-vector generic-programming linear-algebra matrix matrix-multiplication scala vector-spaces vectors
Last synced: 11 Apr 2025
https://github.com/propensive/umbrageous
Scala compiler plugin to shade packages at compiletime
compiler-plugin package-shading scala shading
Last synced: 11 Apr 2025
https://github.com/propensive/telekinesis
A lightweight URI representation and HTTP client
Last synced: 19 Jul 2025
https://github.com/propensive/galilei
Simple interfaces for I/O operations in Scala
disk files filesystem filesystem-library io paths scala
Last synced: 08 Jul 2025
https://github.com/propensive/serpentine
Precise navigation of path structures in Scala
hierarchy navigation paths relative-path scala
Last synced: 22 Mar 2025
https://github.com/propensive/parasite
Structured asynchronous task management in Scala
async asynchronous concurrency scala task threads virtual-threads
Last synced: 11 Apr 2025
https://github.com/propensive/typonym
Collections raised to the type-level in Scala
collections dependent-types scala type-level type-level-programming
Last synced: 11 Apr 2025
https://github.com/propensive/metamorphose
Efficient permutation representations in Scala
combinatorics factoriadic factorials lehmer lehmer-codes permutations
Last synced: 11 Jul 2025
https://github.com/propensive/savagery
Scala-ble Vector Graphics
scala scalable-vector-graphics svg vector-graphics
Last synced: 11 Apr 2025
https://github.com/propensive/gossamer
Lightweight and typesafe strings in Scala
encodings minimum-edit-distance opaque-type punycode scala strings text
Last synced: 11 Apr 2025
https://github.com/propensive/escapade
Adventures in ANSI escape codes in Scala
ansi ansi-escape ansi-escape-sequence scala terminal-colors
Last synced: 12 Jun 2025
https://github.com/propensive/baroque
Make coding with complex numbers more real
Last synced: 11 Jul 2025
https://github.com/propensive/panopticon
Versatile and composable lenses for Scala
lens lenses lenses-library optics scala
Last synced: 11 Apr 2025
https://github.com/propensive/plutocrat
Typesafe representations of monetary values in Scala
currency currency-conversion finance money scala
Last synced: 11 Apr 2025
https://github.com/propensive/spectacular
Scala typeclasses for rendering different values as text for different audiences
scala show show-typeclass text-conversion
Last synced: 11 Apr 2025
https://github.com/propensive/superlunary
Exploiting lightweight modular staging in Scala
Last synced: 11 Apr 2025
https://github.com/propensive/hypotenuse
A rigorous and consistent foundation for numerical and arithmetic programming
arithmetic bitwise-operations scala typesafety unsigned-integers
Last synced: 11 Apr 2025
https://github.com/propensive/feudalism
Controlled borrowing of mutable values for safe concurrency
Last synced: 11 Apr 2025
https://github.com/propensive/cardinality
Dependently-typed range-checked numbers for Scala
dependent-types refined-types scala static-checks typesafe
Last synced: 24 Jun 2025
https://github.com/propensive/mercator
Autogeneration of functor and monad instances for Scala types
Last synced: 17 Mar 2025
https://github.com/propensive/surveillance
Representation-agnostic filewatching with streams in Scala
file-watching filesystem-events filewatcher scala
Last synced: 19 Aug 2025
https://github.com/propensive/chiaroscuro
Provides structural comparisons between values
deep-compare deep-compare-objects scala structural-equality
Last synced: 19 Aug 2025
https://github.com/propensive/aristotle
A library and language for producing MathML
Last synced: 30 Aug 2025
https://github.com/propensive/sedentary
Simple benchmarking for Scala projects
Last synced: 31 Aug 2025
https://github.com/propensive/dissonance
An implementation of Myers' diff algorithm for Scala
Last synced: 11 Apr 2025
https://github.com/propensive/tarantula
Drive a web browser with the WebDriver protocol for Scala
browser-automation dom scala webdriver
Last synced: 11 Apr 2025
https://github.com/propensive/embarcadero
Management of Docker containers for Scala
container-management docker docker-container docker-file scala
Last synced: 11 Apr 2025
https://github.com/propensive/larceny
Scala 3 compiler plugin for testing compiler errors
compilation-errors compile-time compiler-plugin scala testing
Last synced: 10 Oct 2025
https://github.com/propensive/capricious
Controlled randomness in Scala
arbitrary-data monte-carlo prng randomness rng scala test-data-generator
Last synced: 23 Oct 2025
https://github.com/propensive/hieroglyph
Calculate Unicode character display widths in Scala
character-encodings character-metadata characters encodings scala unicode unicode-metadata
Last synced: 04 Aug 2025
https://github.com/propensive/yossarian
The insanity of terminal emulation
ansi-escapes console console-emulator headless pty scala terminal-emulation terminal-emulator tty
Last synced: 05 Aug 2025
https://github.com/propensive/ulysses
An implementation of Bloom filters for Scala
Last synced: 21 Mar 2025
https://github.com/propensive/phoenicia
Read TrueType and OpenType fonts in Scala
font-metrics fonts opentype opentype-fonts scala truetype
Last synced: 21 Mar 2025
https://github.com/propensive/tumult
Github action for repository maintenance
Last synced: 21 Mar 2025
https://github.com/propensive/inimitable
UUIDs for Scala
guid scala uuid-generator uuids
Last synced: 21 Mar 2025
https://github.com/propensive/anthology
A typesafe interface to the Scala compiler
Last synced: 13 Jun 2025
https://github.com/propensive/revolution
Typesafe access to Java manifest files
Last synced: 21 Mar 2025
https://github.com/propensive/burdock
Create executable JAR files that download their own dependencies
Last synced: 21 Mar 2025
https://github.com/propensive/charisma
Represent chemical formulae in Scala
chemical-elements chemical-formulas scala
Last synced: 12 Sep 2025
https://github.com/propensive/prepositional
Expressive named type relations
Last synced: 19 Oct 2025
https://github.com/propensive/hyperbole
Assintance with Scala 3 metaprogramming
compile-time macros metaprogramming scala static-analysis
Last synced: 05 Apr 2025
https://github.com/propensive/imperial
Access UNIX's standard directory structure from Scala
posix scala unix xdg xdg-basedir
Last synced: 05 Apr 2025
https://github.com/propensive/fulminate
Rich user messages for Scala
error-messages markup rich-messages scala
Last synced: 05 Apr 2025
https://github.com/propensive/digression
Utilities for working with exceptions in Scala
error error-message error-messages exceptions scala
Last synced: 05 Apr 2025
https://github.com/propensive/villainy
Record types from JSON schemata in Scala
compile-time-checking json json-schema record-types scala type-construction typesafe
Last synced: 05 Apr 2025
https://github.com/propensive/ambience
Safely access environment variables and system properties in Scala
environment-variables java-system-properties jvm scala system-properties
Last synced: 05 Apr 2025
https://github.com/propensive/abacist
Calculations with non-decimal units and mixed bases
arithmetic imperial-units mixed-bases scala
Last synced: 05 Apr 2025
https://github.com/propensive/monotonous
Binary serialization and deserialization into Hex, BASE-64 and others
Last synced: 14 Jun 2025