- Seattle
-
claude.vim Public
Forked from pasky/claude.vimClaude vim plugin for AI pair programming - a hacker's gateway to LLMs
Vim Script MIT License UpdatedFeb 3, 2025 -
lightline.vim Public
Forked from itchyny/lightline.vimA light and configurable statusline/tabline plugin for Vim
Vim Script MIT License UpdatedJan 7, 2025 -
mintabline.vim Public
Forked from Sangdol/mintabline.vimMinimalist Tabline with tab numbers, icons and Neovim terminals
Vim Script MIT License UpdatedJan 6, 2025 -
vim-multisplit Public
A vim plugin that overloads window motion keys to adjust window widths
-
tlaplus-experiments Public
TLA Plus specifications for a couple of common problems, including the farmer-goat-wolf-cabbage riddle
TLA UpdatedSep 6, 2024 -
-
nbexport Public
Export jupyter notebooks to .py like nbdev but lighter
Jupyter Notebook MIT License UpdatedMar 12, 2024 -
ipywidgets Public
Forked from jupyter-widgets/ipywidgetsInteractive Widgets for the Jupyter Notebook
TypeScript BSD 3-Clause "New" or "Revised" License UpdatedMar 6, 2024 -
flatcc Public
Forked from dvidelabs/flatccFlatBuffers Compiler and Library in C for C
C Apache License 2.0 UpdatedJul 31, 2021 -
amazon-freertos Public
Forked from aws/amazon-freertosIoT operating system for microcontrollers.
C MIT License UpdatedOct 16, 2019 -
esp-idf Public
Forked from espressif/esp-idfEspressif IoT Development Framework. Official development framework for ESP32.
C Apache License 2.0 UpdatedFeb 15, 2019 -
UDR Public
Forked from martinetd/UDRA UDT wrapper for rsync that improves throughput of large data transfers over long distances.
C++ Other UpdatedMay 21, 2018 -
cognitivebuilder Public archive
Forked from CognitiveBuilder/cognitivebuilder -
Keyboard Public
Forked from Mottie/KeyboardVirtual Keyboard using jQuery UI ~
JavaScript UpdatedApr 19, 2015 -
observer Public
Python observer class to support data flow programming. Similar to py-notify but simpler. Provides a `Variable` class with support for blocking, and an `Algorithm` class that coalesces updates from…
Python MIT License UpdatedNov 9, 2013