Arya-Elfren/sapf
Sound As Pure Form - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping.
Repositories
Arya-Elfren/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
Arya-Elfren/scc-nix
Arya-Elfren/HTTM
High Throughput Turing Machine
Arya-Elfren/trocq
A modular parametricity plugin for proof transfer in Coq [maintainers=@CohenCyril,@ecranceMERCE,@amahboubi]
Arya-Elfren/nixpkgs
Nix Packages collection & NixOS
Arya-Elfren/zffmpeg
ffmpeg with the build system replaced by zig
Arya-Elfren/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
Arya-Elfren/templates
Templates that are directly maintained by the Typst team.
Arya-Elfren/matklad.github.io
My coding related blog
Arya-Elfren/www.ziglang.org
Arya-Elfren/Regular-Languages-and-Automata
Arya-Elfren/SAT-Solver
Arya-Elfren/notcurses
blingful character graphics/TUI library. definitely not curses.