propensive/aristotle

Stars
1
Language
Scala
License
Apache License 2.0
Created about 1 year ago
Updated 9 months ago

propensive/aristotle

propensive

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A library and language for producing MathML

fury-old

A new build tool for JVM languages

contextual

Statically-checked string interpolation in Scala

rapture

kaleidoscope

Statically-checked inline matching on regular expressions in Scala

probably

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

mercator-old

Automatic typeclass-based abstraction over monad-like types

totalitarian

Totalitarian: typesafe data structures for working with total functions

impromptu

Lightweight and typesafe asynchronous computation graphs

mutatus

Lightweight API for working with cloud data

one

A platform of libraries for Scala 3

xylophone

Working with XML in Scala

adversaria

Typeclass interfaces to access user-defined Scala annotations

gastronomy

Simple generically-derived cryptographic functions for Scala

polyvinyl

Typesafe record types for Scala

pyroclastic

Functional dataflow through composable computations

cosmopolite

Typesafe internationalization of strings in Scala

fury

A build tool for Scala

guillotine

Making the execution of system processes easier in Scala

exoskeleton

Interfaces for interacting with the shell from Scala

caesura

Simple parsing of CSV into case classes in Scala

quarantine

Safe and total handling of domain-specific exceptions

acyclicity

Monadic directed acyclic graph datastructures for Scala

escritoire

A library for writing tables for Scala

scintillate

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

wisteria

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

rudiments

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

profanity

A library for realtime interactive terminal software in Scala

iridescence

Sophisticated representation of color in Scala

honeycomb

A lightweight and typesafe DSL for embedding HTML in Scala code

optometry

Universal lenses with intuitive syntax

harlequin

Syntax highlighting for Scala code

turbulence

Simple tools for working with data streams in LazyLists in Scala

eucalyptus

Versatile logging with static configuration for Scala

merino

A JSON parser and AST

scalaworld

Scala World website

cataclysm

Typesafe CSS in Scala

umbrageous

Scala compiler plugin to shade packages at compiletime

serpentine

Precise navigation of path structures in Scala

galilei

Simple interfaces for I/O operations in Scala

ethereal

Run Scala applications as daemons

punctuation

Typesafe parsing and rendering of markdown in Scala

savagery

Scala-ble Vector Graphics

ferocity

jacinta

Simple interfaces for reading, processing and writing JSON in Scala

telekinesis

A lightweight URI representation and HTTP client

bifurcate

Deserialize binary data in Scala

anticipation

Minimal typeclass definitions for seamless integration without hard dependencies for Scala

nettlesome

Typesafe representations of network concepts in Scala

dissonance

An implementation of Myers' diff algorithm for Scala

tarantula

Drive a web browser with the WebDriver protocol for Scala

plutocrat

Typesafe representations of monetary values in Scala

panopticon

Versatile and composable lenses for Scala

quantitative

Statically-checked physical units with seamless syntax

spectacular

Scala typeclasses for rendering different values as text for different audiences

gossamer

Lightweight and typesafe strings in Scala

larceny

Scala 3 compiler plugin for testing compiler errors

wrath

Simplistic build script for bootstrapping Scala projects

mitigation

feudalism

Controlled borrowing of mutable values for safe concurrency

mercator

Autogeneration of functor and monad instances for Scala types

superlunary

Exploiting lightweight modular staging in Scala

parasite

Structured asynchronous task management in Scala

escapade

Adventures in ANSI escape codes in Scala

embarcadero

Management of Docker containers for Scala

vacuous

A simple representation of optional values

hypotenuse

A rigorous and consistent foundation for numerical and arithmetic programming

codl

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

nextgen-scala

scala3-training

anthology

A typesafe interface to the Scala compiler

zeppelin

Work with ZIP files in Scala

cellulose

A comprehensive Scala library for working with CoDL files

mosquito

Typesafe vector algebra for Scala

imperial

Access UNIX's standard directory structure from Scala

inimitable

UUIDs for Scala

oubliette

Quickly launch new JVMs by remote control from Scala

hyperbole

Assintance with Scala 3 metaprogramming

dendrology

Rendering of trees and DAGs in the console

nectary

Automatic OpenAPI endpoint generation

camouflage

Caching data structures for Scala

aviation

Representations of time, in its various forms, for Scala

villainy

Record types from JSON schemata in Scala

digression

Utilities for working with exceptions in Scala

amok

A comprehensive API documentation system

frontier

gesticulate

Safe representations of MIME types in Scala

coaxial

Socket handling for Scala

modicum

charisma

Represent chemical formulae in Scala

chiaroscuro

Provides structural comparisons between values

cardinality

Dependently-typed range-checked numbers for Scala

baroque

Make coding with complex numbers more real

hieroglyph

Calculate Unicode character display widths in Scala

ambience

Safely access environment variables and system properties in Scala

abacist

Calculations with non-decimal units and mixed bases

symbolism

A general mechanism to implement overloaded symbolic operators in Scala

octogenarian

Common Git operations for Scala

hellenism

Classpath management facilities for Scala

hallucination

A library for working with images in Scala

typonym

Collections raised to the type-level in Scala