-
UserData Public
Forked from TravelMapping/UserDataRepository for User Files
Shell UpdatedOct 12, 2025 -
-
dotfiles Public
Personal configuration files and scripts for my Arch Linux system
Python Other UpdatedJul 10, 2025 -
fireroad-server Public
Forked from sipb/fireroad-serverA central location for student-developed planning tools to access MIT course and requirements data.
Python MIT License UpdatedJun 13, 2025 -
ipa-compose Public
Script for generating a Compose file for typing in the International Phonetic Alphabet
-
booklist Public
A LaTeX document class for keeping a list of books read
TeX Mozilla Public License 2.0 UpdatedMar 8, 2025 -
RailwayData Public
Forked from TravelMapping/RailwayDataTravel Mapping's Railway Data
Python UpdatedAug 24, 2024 -
-
-
fiat2 Public
Forked from mit-plv/fiat2A high level language that will compile to bedrock2 using database-style techniques
Coq MIT License UpdatedFeb 7, 2024 -
-
Signal-Android Public
Forked from signalapp/Signal-AndroidA private messenger for Android.
Java GNU Affero General Public License v3.0 UpdatedJan 16, 2024 -
bedrock2 Public
Forked from mit-plv/bedrock2A work-in-progress language and compiler for verified low-level programming
Coq MIT License UpdatedJan 11, 2024 -
ical-generator Public
Forked from sebbo2002/ical-generatorical-generator is a small piece of code which generates ical calendar files
TypeScript MIT License UpdatedJan 10, 2024 -
python-syntax Public
Forked from vim-python/python-syntaxPython syntax highlighting for Vim
Vim Script MIT License UpdatedAug 4, 2023 -
-
-
courseroad2 Public
Forked from sipb/courseroad2A 4-year academic planner for the MIT community.
JavaScript UpdatedMar 17, 2023 -
classroom-export-viewer Public
A Web-based tool for viewing JSON exports (from Google Takeout) of Google Classroom data
-
i3blocks-contrib Public
Forked from vivien/i3blocks-contribOfficial repository for community contributed blocklets
Python Other UpdatedJan 4, 2023 -
react-colorful Public
Forked from omgovich/react-colorful🎨 A tiny (2,8 KB) color picker component for React and Preact apps
TypeScript MIT License UpdatedOct 5, 2022 -
keepmenu Public
Forked from firecat53/keepmenuDmenu/Rofi frontend for Keepass databases
Python GNU General Public License v3.0 UpdatedMar 27, 2022 -
course-connect Public
Forked from jadebuckwalter/course-connectStudent to student course selection mentoring
JavaScript GNU General Public License v3.0 UpdatedMar 25, 2022 -
alacritty Public
Forked from alacritty/alacrittyA cross-platform, OpenGL terminal emulator.
Rust Apache License 2.0 UpdatedFeb 21, 2022 -
vim-fakeclip Public
Forked from kana/vim-fakeclipVim plugin: Provide pseudo "clipboard" registers
Vim Script UpdatedNov 26, 2021 -
dmenu-maim Public
dmenu wrapper for maim supporting saving to a file and copying to the system clipboard, using the entire screen, a selection, or the currently focused window
Python BSD 2-Clause "Simplified" License UpdatedNov 20, 2021 -
vrms-arch Public
Forked from orospakr/vrms-archVirtual Richard M. Stallman for Arch Linux
Python BSD 3-Clause "New" or "Revised" License UpdatedNov 15, 2021 -
30-day-maps-2020 Public
Forked from katiejolly/30-day-maps-2020Collection of maps I made during the 30 day map challenge in November 2020
R GNU General Public License v3.0 UpdatedSep 6, 2021 -
vimtex Public
Forked from lervag/vimtexVimTeX: A modern Vim and neovim filetype plugin for LaTeX files.
TeX MIT License UpdatedAug 17, 2021 -
invidious Public
Forked from iv-org/invidiousInvidious is an alternative front-end to YouTube
Crystal GNU Affero General Public License v3.0 UpdatedMay 15, 2021
{{ message }}