Pinned Repositories
acl2
ACL2 System and Books as Maintained by the Community
blueshift
An extensible and highly configurable alternative to redshift
c-light
checkio-mission-lamp-02-start
cherrytree
cherrytree
Clone-Wars
100+ open-source clones of popular sites like Airbnb, Amazon, Instagram, Netflix, Tiktok, Spotify, Whatsapp, Youtube etc. See source code, demo links, tech stack, github stars.
gruppa-gruppa-nsk.github.io
наш сайт(jekyll)
tkintertable
A pure python library for adding tables to a Tkinter application
tks
Tkinter widgets for dates, times, colours, passwords et.
zim-desktop-wiki
Main repository of the zim desktop wiki project
ainoneko's Repositories
ainoneko/acl2
ACL2 System and Books as Maintained by the Community
ainoneko/c-light
ainoneko/checkio-mission-lamp-02-start
ainoneko/cherrytree
cherrytree
ainoneko/Clone-Wars
100+ open-source clones of popular sites like Airbnb, Amazon, Instagram, Netflix, Tiktok, Spotify, Whatsapp, Youtube etc. See source code, demo links, tech stack, github stars.
ainoneko/gruppa-gruppa-nsk.github.io
наш сайт(jekyll)
ainoneko/tkintertable
A pure python library for adding tables to a Tkinter application
ainoneko/tks
Tkinter widgets for dates, times, colours, passwords et.
ainoneko/zim-desktop-wiki
Main repository of the zim desktop wiki project
ainoneko/codimd
CodiMD - Realtime collaborative markdown notes on all platforms.
ainoneko/CompCert
The CompCert formally-verified C compiler
ainoneko/fingen
Универсальное андроид-приложение для учета доходов и расходов со встроенным парсером смс.
ainoneko/FPTaylor
Tool for Rigorous Estimation of Round-Off Floating-Point Errors
ainoneko/Guitar
Git GUI Client
ainoneko/Hack
A typeface designed for source code
ainoneko/heads_x_hands
Test task for Heads x Hands: function for array of sorted arrays
ainoneko/innValidator
simple module for validation inn control number
ainoneko/kanban
Simple kanban board for gitlab
ainoneko/lwt
Learning with Texts (LWT) is a tool for Language Learning. Please use the official download available at :
ainoneko/mnemo_bot
Translate numbers to words to memorize them
ainoneko/mytetra_dev
MyTetra - smart crossplatform manager for information collecting / MyTetra - кроссплатформенный менеджер накопления информации / Официальная страница:
ainoneko/natribu.org
НАХУЙ — официальный сайт символического направления
ainoneko/r4s-bluetooth
Hacking Ready For Sky (R4S) home appliances
ainoneko/ServoLLeo
Arduino, ESP8266, Servo library with speed control
ainoneko/sherlock
ainoneko/ssyp18-ws09
ainoneko/visual-git-guide
A visual guide to git.
ainoneko/vscode-promela
ainoneko/yt-dlp-telegram
Use yt-dlp on Telegram
ainoneko/ZeroBraneStudio
Lightweight Lua-based IDE for Lua with code completion, syntax highlighting, live coding, remote debugger, and code analyzer; supports Lua 5.1, 5.2, 5.3, LuaJIT and other Lua interpreters on Windows, macOS, and Linux