AviFS
i like elegance, expressiveness and abstraction. i’m interested in languages, notation & interfaces.
University of EdinburghSan Diego, CA
AviFS's Stars
iamadamdev/bypass-paywalls-chrome
Bypass Paywalls web browser extension for Chrome and Firefox.
joewalnes/websocketd
Turn any program that uses STDIN/STDOUT into a WebSocket server. Like inetd, but for WebSockets.
p0deje/Maccy
Lightweight clipboard manager for macOS
cknadler/vim-anywhere
Use Vim everywhere you've always wanted to
aardappel/treesheets
TreeSheets : Free Form Data Organizer (see strlen.com/treesheets)
LeelaChessZero/lc0
The rewritten engine, originally for tensorflow. Now all other backends have been ported here.
aardappel/lobster
The Lobster Programming Language
AmokHuginnsson/replxx
A readline and libedit replacement that supports UTF-8, syntax highlighting, hints and Windows and is BSD licensed.
rooklift/nibbler
Chess analysis GUI for UCI engines, with extra features for Leela (Lc0) in particular.
jgagneastro/coffeegrindsize
Detects the individual coffee grounds in a white-background picture to determine particle size distribution
davidoc/taskpaper.vim
This package contains a syntax file and a file-type plugin for the simple format used by the TaskPaper application.
dzaima/CBQN
a BQN implementation in C
qwfy/doc-browser
A documentation browser with support for DevDocs, Dash and Hoogle, written in Haskell and QML
csatt/coffeegrindsize
Detects the individual coffee grounds in a white-background picture to determine particle size distribution
giuseppeg/refined-twitter-lite
✨ Adds UI improvements and new useful features to Twitter Lite
mikinty/Understanding-Analysis-Abbott-Solutions
Unofficial solutions to Understanding Analysis by Stephen Abbott (1st Edition)
haskell/error-messages
gershwin/gershwin
Gershwin programming language
lark-parser/Lark.js
Live port of Lark's standalone parser to Javascript
sharkdp/yinsh
A web-based version of the board game Yinsh
mechanize-systems/bqnpad
Online REPL for BQN
xieyuheng/joy
backup of the joy programming language
m-ender/stackcats
A stack-based programming language with a lot of symmetry.
Laragear/Clipboard
Cut, copy and paste values inside your app
donaldp/imba-shell
Interactive debugger, REPL and runtime for Imba, inspired by PsySH.
Ludeme/LudiiPythonAI
Example repo for running Python-based AIs in Ludii
opensourceame/trim-template
An HTML template engine for Python, inspired by Ruby's Slim templating
bcdavasconcelos/Obsidian-Ayu_Mirage
owainlewis/joy
Compiler for the functional stack based programming language Joy
GrayJoKing/Symbolic-Raku
A version of Raku (Perl 6) that disallows alphanumeric characters