Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by ayazhafiz

A curated list of projects in awesome lists by ayazhafiz .

https://github.com/ayazhafiz/xorf

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

bloom-filter data-structures hashset probability rust xor-filter

Last synced: 23 Dec 2024

https://github.com/ayazhafiz/plts

A collection of programming languages and type systems.

compiler interpreter programming-language programming-language-theory type-systems

Last synced: 27 Oct 2024

https://github.com/ayazhafiz/cor

Small core of Roc, for experiments

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/hmcd

:black_circle:

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/twoslash-rust

Generate annotated HTML for Rust code snippets

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/rats

RaTS! TypeScript didn't save me

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/lang_narrow

A language with flow typing and structural type narrowing.

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/hotreload

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

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/dts_of_ocaml

Generate TypeScript declarations for js_of_ocaml sources

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/gradec

Tool for grading GitHub-based assignments.

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/marketfs

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/zotero-cli

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

Last synced: 18 Dec 2024

https://github.com/ayazhafiz/tiger

Last synced: 18 Dec 2024

https://github.com/ayazhafiz/finapp

financial applications

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/hoff

Homotopy and Function proofs, for free

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/gww-utterances

https://utteranc.es for ayazhafiz.com

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/ayazhafiz.github.io

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

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/checkmate

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/aframe-toy-repro

Reproduction of a toy problem using A-Frame and TS

Last synced: 12 Oct 2024

https://github.com/ayazhafiz/strictly-annotated

A pretty printer with special support for comment-like annotations

Last synced: 12 Oct 2024