glittershark

Aspen Smith's starred repositories

proptest-stateful

Library for building stateful property tests using the proptest crate

Language:Rust2100

Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale read throughput. Under the hood, ReadySet caches the results of cached select statements and incrementally updates these results over time as the underlying data changes.

Language:RustNOASSERTION404000

docs-old

ReadySet user documentation

Language:MDXApache-2.0800

Vale

Compiler for the Vale programming language - http://vale.dev/

Language:ScalaApache-2.0173800

cargo-call-stack

Whole program static stack analysis

Language:RustApache-2.055400

Changepoints.jl

A Julia package for the detection of multiple changepoints in time series.

Language:JuliaNOASSERTION3200

react-simple-timefield

Simple React time input field

Language:TypeScriptMIT9600

venia

Clojure(Script) graphql query generation

Language:ClojureEPL-1.019700

clj2nix

Convert deps.edn to a nix expression

Language:NixAGPL-3.04100

org-crud

A tool for reading and writing org content via clojure

Language:ClojureMIT1200

re-graph

A graphql client for clojurescript and clojure

Language:Clojure46000

conch

A flexible library for shelling out in Clojure

Language:Clojure6000

nix-serve-nothing

A standalone Nix nothing server

Language:NixLGPL-2.1600

noise-suppression-for-voice

Noise suppression plugin based on Xiph's RNNoise

Language:C++GPL-3.0455300

categories-examples

Examples of categorical structures

Language:AgdaMIT1100

agda-categories

A new Categories library for Agda

Language:AgdaMIT35500

ralphie

A set of commands for the command line, keybindings, and rofi, expressed via Clojure/Babashka.

Language:ClojureMIT1400

witherable

Filter with effects

Language:Haskell7200

pubmethod

Synchronous static publish/subscribe in Clojure(script)

Language:ClojureMIT300

jsx-to-clojurescript

Command and library to convert JSX snippets to Om/Reagent/Rum or other Clojurescript-style format.

Language:Clojure16200

lorri

Your project's nix-env

Language:RustApache-2.099000

linux

Linux kernel source tree

Language:CNOASSERTION12000

react-html5-camera-photo

HTML5 camera photo

Language:JavaScriptMIT20600

lieer

Fast email-fetching and sending and two-way tag synchronization between notmuch and GMail

Language:PythonNOASSERTION50300

nixery

Container registry which transparently builds images using the Nix package manager. Canonical repository is https://cs.tvl.fyi/depot/-/tree/tools/nixery

Language:GoApache-2.0172000

gcs-browser-upload

Resumable chunked uploads to Google Cloud Storage from the browser

Language:JavaScriptMIT8400

higgledy

Higher-kinded data via generics

Language:HaskellMIT17000

hgeometry

HGeometry is a library for computing with geometric objects in Haskell. It defines basic geometric types and primitives, and it implements some geometric data structures and algorithms. The main two focusses are: (1) Strong type safety, and (2) implementations of geometric algorithms and data structures that have good asymptotic running time guarantees.

Language:Haskell12000

comonad-extras

Comonad transformers that require Haskell extensions

Language:HaskellNOASSERTION800

forge

Work with Git forges from the comfort of Magit

Language:Emacs LispGPL-3.0127600