ayaye's Stars
mbrbug/mbr-docker-sopds
devbis/z03mmc
Xiaomi LYWSD03MMC Zigbee Firmware
CadQuery/cadquery
A python parametric CAD scripting framework based on OCCT
evildmp/diataxis-documentation-framework
A systematic approach to creating better documentation.
meraymond2/idris-vscode
Idris front-end for VS Code
rpeszek/IdrisTddNotes
Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell
entangled/entangled
bi-directional tangle daemon for literate programming
bashup/mdsh
Multi-lingual, Markdown-based Literate Programming... in run-anywhere bash
basherpm/basher
A package manager for shell scripts.
nushell/nushell
A new type of shell
stefan-hoeck/idris2-pack
buzden/deptycheck
Facilities for generating dependently-typed data
angristan/openvpn-install
Set up your own OpenVPN server on Debian, Ubuntu, Fedora, CentOS or Arch Linux.
larsks/undocker
zhovner/Y900-Beeline-improve
Y900NB Beeline improvements
mgth/LittleBigMouse
DPI Aware mouse move across screens
mirmik/zencad
CAD system for righteous zen programmers
bi-zone/ruwireguard-spec
Ru-WireGuard: WireGuard protocol with GOST crypto algorithms
idank/bashlex
Python parser for bash
idank/explainshell
match command-line arguments to their help text
elfmz/far2l
Linux port of FAR v2
mitshel/sopds
Simple opds catalog
textX/textX
Domain-Specific Languages and parsers in Python made easy http://textx.github.io/textX/
zerg000000/gshit
An easy-to-use DSL for Excel report
ilyakooo0/isoparsec
🚧 Under construction 🚧 🔄🔡 Isomorphic (invertible) parser library
neoclide/coc.nvim
Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.
sndirsch/ingress-ice
makotokw/redmine_render_markdown_in_repository
Redmine Render Markdown in Repository
MicroHealthLLC/recaptcha
update to support redmine 3.2 x. also adds support for captcha on login page in addition to registration
panicinc/recaptcha
update to support redmine 3.2 x. also adds support for captcha on login page in addition to registration