Projects in Awesome Lists by rish987
A curated list of projects in awesome lists by rish987 .
https://github.com/rish987/trackswitch-manuform
A Hyper-Ergonomic Dactyl Manuform with a Clickable Trackball
ergomechkeyboards ergonomic-keyboard ergonomics keyboard qmk-firmware trackball
Last synced: 01 Dec 2024
https://github.com/rish987/chair-mounted-mini-tables
Small chair-mounted tables to use with split keyboards
Last synced: 29 Jan 2025
https://github.com/rish987/lean4less
A translation framework for eliminating definitional equalities in Lean
Last synced: 21 Mar 2025
https://github.com/rish987/pokemon-nlp-research-project
Research project for understanding entities and relationships in the Pokemon universe using natural language processing.
Last synced: 24 Mar 2025
https://github.com/rish987/nvim-lspconfig-test
Language-specific integration testing of nvim+LSP via neovim/nvim-lspconfig (intend to upstream to nvim-lua)
Last synced: 24 Mar 2025
https://github.com/rish987/number-detector
A simple number detector, implemented using both one-vs-all logistic regression and neural networks. Written in Python.
Last synced: 24 Mar 2025
https://github.com/rish987/tsp-visualizer-ant-colony-optimization-ant-system
TSP Visualizer, as implemented for the Ant System (AS) variant of the Ant Colony Optimization Algorithm. Written in Processing.
Last synced: 24 Mar 2025
https://github.com/rish987/lean_ctags
Exuberant Ctags patterns for use with Lean Theorem Prover.
Last synced: 24 Mar 2025
https://github.com/rish987/tsp-raw
Raw code for the TSP algorithms. Written in Java.
Last synced: 24 Mar 2025
https://github.com/rish987/tsp-visualizer-greedy
TSP Visualizer, as implemented for the Greedy Algorithm. Written in Processing.
Last synced: 24 Mar 2025
https://github.com/rish987/lean-bayes
Attempting to formalize Bayesian Networks in Lean
Last synced: 24 Mar 2025
https://github.com/rish987/archive
Source code of my personal archive. Latest image available below.
Last synced: 24 Mar 2025
https://github.com/rish987/sway
My Sway config (forked from https://forums.raspberrypi.com/viewtopic.php?t=334118)
Last synced: 24 Mar 2025
https://github.com/rish987/character-drawer
A python application where a user can draw a symbol representing an ASCII character, enter what character they drew, and save the data representing their drawing.
Last synced: 24 Mar 2025