ayazhafiz

xorf

Xor filters - efficient probabilistic hashsets. Faster and smaller than bloom and cuckoo filters.

plts

A collection of programming languages and type systems.

cor

Small core of Roc, for experiments

hmcd

:black_circle:

twoslash-rust

Generate annotated HTML for Rust code snippets

lang_narrow

A language with flow typing and structural type narrowing.

dts_of_ocaml

Generate TypeScript declarations for js_of_ocaml sources

marketfs

roc

Roc is a language for making delightful software.

roc-advent-of-code

ayazhafiz.github.io

production mirror of https://github.com/ayazhafiz/gww

black

The uncompromising Python code formatter

captain

The Captain CLI can detect and quarantine flaky tests, automatically retry failed tests, partition files for parallel execution, produce markdown failure summaries, and more. It's compatible with 16 testing frameworks.

checkmate

cropperjs

JavaScript image cropper.

dsolnik.github.io

github-actions-ulimit

hash-files

hoff

Homotopy and Function proofs, for free

jest-bail-issue-reproduction

melodi-sdk-typescript

Think sdk for getting your data into Melodi

moby

The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems

nerdctl

contaiNERD CTL - Docker-compatible CLI for containerd, with support for Compose, Rootless, eStargz, OCIcrypt, IPFS, ...

podman

Podman: A tool for managing OCI containers and pods.

roc-vscode-unofficial

An experimental VSCode extension for Roc language

rspec-core

RSpec runner and formatters

slide

A math expression rewrite system.

typos

Source code spell checker

visivo

Pip installable visivo command line tool

vscode

Visual Studio Code