Pinned Repositories
cor
Small core of Roc, for experiments
hmcd
:black_circle:
plts
A collection of programming languages and type systems.
sherpa_41
Simple browser engine.
siraben
xorf
Xor filters - efficient probabilistic hashsets. Faster and smaller than bloom and cuckoo filters.
kythe
Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.
roc
A fast, friendly, functional language.
abq
ABQ is a universal test runner that runs test suites in parallel. It’s the best tool for splitting test suites into parallel jobs locally or on CI
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 17 testing frameworks.
ayazhafiz's Repositories
ayazhafiz/xorf
Xor filters - efficient probabilistic hashsets. Faster and smaller than bloom and cuckoo filters.
ayazhafiz/plts
A collection of programming languages and type systems.
ayazhafiz/cor
Small core of Roc, for experiments
ayazhafiz/hmcd
:black_circle:
ayazhafiz/twoslash-rust
Generate annotated HTML for Rust code snippets
ayazhafiz/lang_narrow
A language with flow typing and structural type narrowing.
ayazhafiz/dts_of_ocaml
Generate TypeScript declarations for js_of_ocaml sources
ayazhafiz/marketfs
ayazhafiz/roc
Roc is a language for making delightful software.
ayazhafiz/roc-advent-of-code
ayazhafiz/ayazhafiz.github.io
production mirror of https://github.com/ayazhafiz/gww
ayazhafiz/black
The uncompromising Python code formatter
ayazhafiz/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.
ayazhafiz/checkmate
ayazhafiz/cropperjs
JavaScript image cropper.
ayazhafiz/dsolnik.github.io
ayazhafiz/github-actions-ulimit
ayazhafiz/hash-files
ayazhafiz/hoff
Homotopy and Function proofs, for free
ayazhafiz/jest-bail-issue-reproduction
ayazhafiz/moby
The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems
ayazhafiz/nerdctl
contaiNERD CTL - Docker-compatible CLI for containerd, with support for Compose, Rootless, eStargz, OCIcrypt, IPFS, ...
ayazhafiz/podman
Podman: A tool for managing OCI containers and pods.
ayazhafiz/roc-vscode-unofficial
An experimental VSCode extension for Roc language
ayazhafiz/rspec-core
RSpec runner and formatters
ayazhafiz/slide
A math expression rewrite system.
ayazhafiz/twoslash
You take some Shiki, add a hint of TypeScript compiler, and 🎉 incredible static code samples
ayazhafiz/typos
Source code spell checker
ayazhafiz/visivo
Pip installable visivo command line tool
ayazhafiz/vscode
Visual Studio Code