ainoneko Goto Github PK

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.

codimd

CodiMD - Realtime collaborative markdown notes on all platforms.

compcert

The CompCert formally-verified C compiler

fingen

Универсальное андроид-приложение для учета доходов и расходов со встроенным парсером смс.

fptaylor

Tool for Rigorous Estimation of Round-Off Floating-Point Errors

gruppa-gruppa-nsk.github.io

наш сайт(jekyll)

guitar

Git GUI Client

hack

A typeface designed for source code

heads_x_hands

Test task for Heads x Hands: function for array of sorted arrays

hello-world

innvalidator

simple module for validation inn control number

kanban

Simple kanban board for gitlab

lwt

Learning with Texts (LWT) is a tool for Language Learning. Please use the official download available at :

mytetra_dev

MyTetra - smart crossplatform manager for information collecting / MyTetra - кроссплатформенный менеджер накопления информации / Официальная страница:

natribu.org

НАХУЙ — официальный сайт символического направления

r4s-bluetooth

Hacking Ready For Sky (R4S) home appliances

servolleo

Arduino, ESP8266, Servo library with speed control

sherlock

ssyp18-ws09

tkintertable

A pure python library for adding tables to a Tkinter application

tks

Tkinter widgets for dates, times, colours, passwords et.

visual-git-guide

A visual guide to git.

vscode-promela

yt-dlp-telegram

Use yt-dlp on Telegram

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