Ayaz

A collection of programming languages and type systems.

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.

Kythe is a pluggable, (mostly) language-agnostic ecosystem for building tools that work with code.

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

Simple browser engine.

Small core of Roc, for experiments

Generate annotated HTML for Rust code snippets

:black_circle:

:zap: A server for my site, a mail client, online compilers, etc.

RaTS! TypeScript didn't save me

A language with flow typing and structural type narrowing.

Generate TypeScript declarations for js_of_ocaml sources

No description.

Roc is a language for making delightful software.

No description.

A small framework for running programs with hot code reloading. Targets machine code or JavaScript in a browser.

No description.

Tool for grading GitHub-based assignments.

(WIP) zotero-cli. Not ready for public use.

Podman: A tool for managing OCI containers and pods.

You take some Shiki, add a hint of TypeScript compiler, and 🎉 incredible static code samples

No description.

evaluated the zig language writing a small text editor

Think sdk for getting your data into Melodi

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

The uncompromising Python code formatter

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

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

Pip installable visivo command line tool

No description.

No description.

An experimental VSCode extension for Roc language

No description.

No description.

No hints will be given.

Homotopy and Function proofs, for free

JavaScript image cropper.

RSpec runner and formatters

Source code spell checker

Visual Studio Code

Simple hotkey daemon for macOS

My website

It's a New Kind of Wrapper for Exposing LLVM (Safely)

Reproduction of a toy problem using A-Frame and TS

Readline Implementation in Rust

CLI tool for Angular

Nix Packages collection

Artifactory REST Client Java API bindings

Rust teams structure

A Rust library for moving files to the Recycle Bin

UnderHood is a code browsing interface backed by Kythe indices.

financial applications

https://utteranc.es for ayazhafiz.com

A pretty printer with special support for comment-like annotations

No description.

A math expression rewrite system.

A OpenAI gym for an octorotor

ACL2 System and Books as Maintained by the Community

One framework. Mobile & desktop.

Alternative algorithm for algebraic subtyping.

the VandyHacks internal slack bot

VS Code plugin for the Angular Language Service

The Rust package manager

No description.

C++ Insights - See your source code with the eyes of a compiler

Empowering everyone to build reliable and efficient software.

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

A Vim Plugin for Lively Previewing LaTeX PDF Output

Format Rust code

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

GitHub Action to send LGTM reaction

A small test framework to write your own test harness that looks and behaves like the built-in test harness used by `rustc --test`

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero dependencies. https://vlang.io

An experimental Rust compiler front-end for IDEs

Structural utility directives for Angular

No description.

Angular Language Service coc extension for (neo)vim

Go library implementing xor filters

A minimum lisp

No description.

Test helpers for VSCode textmate grammars

A good looking terminal emulator which mimics the old cathode display...

The Italian C

vim language server, lsp for viml

Static analysis for Angular projects.

Parsing, analyzing, and comparing source code across many languages

Next-gen hacker portal

The sysroot manager that lets you build and customize `std`

robust, optimal, and maintainable programming language

Window handling library in pure Rust

The Pyret language.

A TypeScript project template for Aggie Coding Club students to get started with TypeScript.

Rust framework for making client web apps

TypeScript AST viewer.

Tsickle — TypeScript to Closure Translator

Utility for embedding code snippets into markdown documents

The repository for high quality TypeScript type definitions.

:sparkles: A (Neo)vim plugin for formatting code.

An incremental parsing system for programming tools

Component infrastructure and Material Design components for Angular

The Crystal Programming Language

Code that'll help you kickstart a personal website that showcases your work as a software developer.

Add CMake to your Heroku slug compilation process

🦆 Adding support for Git submodules to Heroku apps.

A buildpack for Rust applications on Heroku, with full support for Rustup, cargo and build caching.

A Crystal shard for S3.

🦔 A Webpack plugin to inline your critical CSS and lazy-load the rest.

Ackermann Function with more languages

No description.

Compare selected cryptocurrencies in a clean, simple layout using the coinmarketcap.com API. Made using HTML, CSS, and JavaScript.

Emoji images and names.

Minimal Jekyll blog styled to resemble the look and layout of Edward Tufte's books

Mirror of GNU Octave

Node.js JavaScript runtime :sparkles::turtle::rocket::sparkles:

VandyHacks 2017 website

The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.