Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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/twoslash-rust
Generate annotated HTML for Rust code snippets
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/zotero-cli
(WIP) zotero-cli. Not ready for public use.
Last synced: 18 Dec 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/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