Stars
- All languages
- ATS
- Alloy
- Assembly
- C
- C++
- Clojure
- Common Lisp
- Dhall
- Dockerfile
- Elixir
- Erlang
- Fortran
- Frege
- Go
- Groovy
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lua
- Nix
- Objective-C
- PHP
- PowerShell
- PureScript
- Python
- Racket
- Ruby
- Rust
- Scala
- Shell
- SystemVerilog
- TLA
- TeX
- TypeScript
- Verilog
- Zig
Beautiful Text-based User Interfaces for Scala
Turso is an in-process SQL database, compatible with SQLite.
Asynchronous streaming communication for Clojure - web server, web client, and raw TCP/UDP
Several implementations of a text table, originally using ASCII and UTF-8 characters for borders.
Verifies the linearizability of experimentally accessible histories.
Low-fi text-based progress bar for Obsidian
Multi-platform GPGPU computations with Scala, seamlessly 🚀
Turn your markdown docs into test suites running Scala CLI
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 library for boilerplate-free, type-safe data transformations
Composable UIs for interactive data
Translation into Alloy of some of the theory of Relations
Compositional vector graphics in Scala / Scala.JS
A minimal Scala creative coding library targeting JVM/Javascript/Native
TypeScript types generated from PureScript
Skia-backed, lightning-fast 2D graphics library for Scala
Source code for the scalafiddle.io compilation service
A collection of TLA⁺ specifications of varying complexities.
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.
A python-ish pure and total functional programming language