Skip to content
View note's full-sized avatar

Block or report note

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Beautiful Text-based User Interfaces for Scala

Scala 224 11 Updated Mar 11, 2024

Simple, beautiful CLI output

Scala 163 5 Updated Nov 10, 2025

Turso is an in-process SQL database, compatible with SQLite.

Rust 14,650 598 Updated Nov 10, 2025

Asynchronous streaming communication for Clojure - web server, web client, and raw TCP/UDP

Clojure 2,575 241 Updated Nov 10, 2025
Zig 126 6 Updated Nov 9, 2025

Several implementations of a text table, originally using ASCII and UTF-8 characters for borders.

Java 513 63 Updated Apr 9, 2024

Verifies the linearizability of experimentally accessible histories.

Clojure 411 32 Updated Oct 21, 2025

Low-fi text-based progress bar for Obsidian

TypeScript 44 Updated Apr 28, 2023

A native go client for HDFS

Go 1,400 358 Updated Jan 22, 2025

A Kubernetes client for Scala

Scala 127 42 Updated Oct 19, 2025

Snapshot testing for Scala made easy 📸

Scala 63 3 Updated Sep 25, 2025

Multi-platform GPGPU computations with Scala, seamlessly 🚀

Scala 103 11 Updated Nov 10, 2025

Turn your markdown docs into test suites running Scala CLI

Scala 3 Updated Oct 8, 2025

Typesafe wrapper for Apache Spark DataFrame API

Scala 141 9 Updated Oct 8, 2025

Haskell Tiny Game Jam

Haskell 171 31 Updated Aug 31, 2023

Local-First Cooperation based on Event Sourcing

Rust 279 8 Updated Aug 13, 2025

Besom - a Pulumi SDK for Scala. Also, incidentally, a broom made of twigs tied round a stick. Brooms and besoms are used for protection, to ward off evil spirits, and cleansing of ritual spaces.

Scala 160 10 Updated Oct 5, 2025

Scala library for boilerplate-free, type-safe data transformations

Scala 1,236 110 Updated Nov 10, 2025

Composable UIs for interactive data

PureScript 4 Updated Sep 10, 2023

Translation into Alloy of some of the theory of Relations

Alloy 1 Updated Apr 5, 2023

Compositional vector graphics in Scala / Scala.JS

Scala 344 84 Updated Oct 30, 2025

A minimal Scala creative coding library targeting JVM/Javascript/Native

Scala 58 4 Updated Nov 10, 2025

TypeScript types generated from PureScript

PureScript 50 2 Updated Nov 10, 2025

Skia-backed, lightning-fast 2D graphics library for Scala

Scala 4 Updated Jul 11, 2018

Source code for the scalafiddle.io compilation service

Scala 101 33 Updated Feb 9, 2020

A collection of TLA⁺ specifications of varying complexities.

TLA 1,418 211 Updated Sep 10, 2025

Strong type constraints for Scala

Scala 535 62 Updated Nov 5, 2025

Generation of test case data for Scala and Java, in the spirit of QuickCheck. When your test fails, it gives you a minimised failing test case and a way of reproducing the failure immediately.

Scala 17 2 Updated Oct 31, 2025

A python-ish pure and total functional programming language

Scala 229 12 Updated Nov 10, 2025
Scala 14 28 Updated Mar 27, 2025
Next