Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by ethan-leba
A curated list of projects in awesome lists by ethan-leba .
https://github.com/ethan-leba/tree-edit
🌲 Structural editing in Emacs for any™ language!
Last synced: 09 Oct 2024
https://github.com/ethan-leba/stop-and-wait-arq-proof
An ACL2 proof modelling the stop-and-wait protocol.
Last synced: 01 Nov 2024
https://github.com/ethan-leba/website-in-progress
My personal website! (A work in progress)
Last synced: 01 Nov 2024
https://github.com/ethan-leba/inkfish-cli
A CLI tool for grading assignments on https://inkfish.ntuck-neu.site/.
Last synced: 01 Nov 2024
https://github.com/ethan-leba/transcriboid-backend
The back-end of Transcriboid, a musical training web application.
Last synced: 01 Nov 2024
https://github.com/ethan-leba/transcriboid-frontend
The front-end of Transcriboid, a musical training web application.
Last synced: 01 Nov 2024
https://github.com/ethan-leba/trace-scraper
A web-scraper for TRACE evaluations on myNEU.
Last synced: 27 Oct 2024