- Pittsburgh, PA
-
17:44
(UTC -05:00) - https://claire.gdn
- https://orcid.org/0000-0002-9637-7894
Lists (1)
Sort Name ascending (A-Z)
Stars
A modern Prolog implementation written mostly in Rust.
Pixel graphics in terminal with unicode braille characters
A simple, fast command-line tool for searching and comparing text documents.
A flexible event/agent & automation system with lots of bees ๐
A bitmap programming font optimized for coziness ๐
Userspace for the open-source QMK keyboard firmware.
Lenscap is a static site generator for creating beautiful photo narratives
Arthaey / substudy
Forked from emk/subtitles-rsUse SRT subtitle files to study foreign languages (in progress)
C1710 / blobmoji
Forked from googlefonts/noto-emojiNoto Emoji with extended Blob support
Bypass that mental block when writing your papers.
Common Lisp editor/IDE with high expansibility
๐บ [ Dream Emacs ๐ ] My GNU๐ฎ Emacs configuration.
Supercharge your Python with parts of Lisp and Haskell.
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
Script that installs/configures a Dovecot, Postfix, Spam Assassin, OpenDKIM Debian web server
Java implementation (without imports) of basic algorithms and data structures
an interpreter for ฮป-calculus implemented in ruby
Lightning โก๏ธ fast forecasting with statistical and econometric models.
connmap is an X11 desktop widget that shows location of your current network peers on a world map
Tiny subset of JavaScript for ocap-safe universal mobile code
๐ง (Alpha stage software) A declarative data definition language for formally specifying binary data formats. ๐ง
An ongoing attempt to re-engineer LuaJIT from scratch
๐ Learning Kotlin Coroutines and Flows for Android by example. ๐ Sample implementations for real-world Android use cases. ๐ Unit tests included!
A single repository to learn the basics of Android in Java without all the fluff.