valencik Goto Github PK

kind-projector

Compiler plugin for making type lambdas (type projections) easier to write

learn-idris

Playing with idris2

learn-onnx

Playing with onnx-scala

learn-smithy

Goofing about with smithy and smithy4s

learning-typelevel-stack

Toy Project For Learning Typelevel Stack

library.g8

A template for creating libraries.

macaudiohacks

Quick tiny hack to apply live filters to your Mac's audio

mastersapsc

Documents and Resources for my Masters in APSC

mdoc

Typechecked markdown documentation for Scala

mdoc-plotly-example

mjolnir.bg.grid

Mjolnir module for moving/resizing your windows along definable horizontal and vertical grids.

munit

Scala testing library with actionable errors and extensible APIs

munit-cats-effect

Integration library for MUnit & cats-effect

munit-fixture-suite-filtering

nailgun

Nailgun is a client, protocol, and server for running Java programs from the command line without incurring the JVM startup overhead.

natchez

functional tracing for cats

nesp

Node Emulator Service Platform

nixpkgs

Nix Packages collection

nulam

Numerical pattern and trend visualization tool

oh-my-zsh

🙃 A delightful community-driven (with 1,300+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

paiges

an implementation of Wadler's a prettier printer

pigio

pprint

Pretty-printing value, types and type-signatures in Scala

pres-ap-conf

Presentation code examples for AP conference

python-boilerpipe

Python interface to Boilerpipe, Boilerplate Removal and Fulltext Extraction from HTML pages

queryparser

Parsing and analysis of Vertica, Hive, and Presto SQL.

rainier

Bayesian inference in Scala.

randomtodo

Get random things done with everyone else in the world.

randwalks

Exploring random walk visuals.

repos