Vladimir Zhilin

painkiller-sbs-stereo-mod. SBS (side-by-side) stereo mod for the original “PainKiller” video game

neLenkin_bot. a telegram bot supporting t.me/lenka_ne_club — a book club where we discuss DDIA, SRE book & more!

veil. A verifier for automated and interactive proofs about transition systems.

ScalaRAID. A scalable RAID system to aggregate performance and capacity of the next-generation storage.

asm-lessons. FFmpeg Assembly Language Lessons

awesome-sat-solvers. A curated collection of resources for the Boolean Satisfiability Problem (SAT).

CRDT. Conflict-free Data Types

lambda. Macro Lambda Calculus

every-programmer-should-know. A collection of (mostly) technical things every software developer should know about

LLM4Decompile. Reverse Engineering: Decompiling Binary Code with Large Language Models

kraftfahrstrasse. Typescript implementation of WAMP protocol.

wamp2spring. WAMP 2 implementation for Spring

mazeppa. A modern supercompiler for call-by-value functional languages

json-joy. json-joy is a library that implements cutting-edge real-time and collaborative editing algorithms and utilities for JSON data models, with a focus on developing the JSON CRDT (Conflict-free Replicated Data Type) specification and implementation.

transaction. Scalable deadlock-resolving MVCC (MultiVersion Concurrency Control) read-committed transaction application

extjwnl. extJWNL (Extended Java WordNet Library) is a Java API for creating, reading and updating dictionaries in WordNet format.

pom-explorer. A tool to aid managing lots of maven projects

kjsonpatch. an implementation of RFC 6902 JSON Patch written in Kotlin

github-fork-ribbon-css. A CSS-only, resolution-independent "Fork me on GitHub" ribbon.

guarded-absint. Guarded abstract interpretation

Textbook. Учебник теории категорий

midi. TypeScript bindings for MIDI files

ubbook. C++ programmer's guide to undefined behavior

santa2023_permutation_puzzle. Rust

example-jira-app-with-docker-compose. This is an example project aimed at demonstrating how to use the official Atlassian Jira Software docker container (https://hub.docker.com/r/atlassian/jira-software) when developing P2 apps for Server/Data Center

rgraph6. Encoding graphs in graph6, sparse6, and digraph6 formats

GraphDrawing. Graph Analysis and Drawing Library - Grad

graph-coloring-cnf. Produces CNF formulas for graph colorings

digraph_isolators. isolators for tournaments and possibly general digraphs int he future

guarded-termination. Termination proofs for guarded algorithms

circuit-synthesis. Finding Efficient Circuits Using SAT-solvers

cadical. CaDiCaL SAT Solver

cbmc. C Bounded Model Checker

ParaFROST. A Parallel SAT Solver with GPU Accelerated Inprocessing

northwind_psql. Northwind sample database for postgres

treesheets. TreeSheets : Free Form Data Organizer (see strlen.com/treesheets)

CQL. Categorical Query Language IDE

system-design-101. Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

vfile. Virtual file format for text processing used in @unifiedjs

souffle. Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

orange-orm. The ultimate ORM for Node and Typescript

peredelanoconf. Здесь хранится документация международных экспатских конф

enumerateCFG. Code for enumeration from a CFG

pictshare. :camera: PictShare is an open source image, mp4, pastebin hosting service with a simple resizing and upload API that you can host yourself. :rice_scene:

coq-lean-cheatsheet. A quick reference for mapping Coq tactics to Lean tactics

CS22-Lean-2023. Lean course materials for Brown CS 22, Spring 2023

langium-minilogo. An example of the MiniLogo DSL using Langium

coloria. :rainbow: Tools for color research

culori. A comprehensive color library for JavaScript.

ksmt. Kotlin/Java API for various SMT solvers

mdx-bundler. 🦤 Give me MDX/TSX strings and I'll give you back a component you can render. Supports imports!

node-systemd-selinux. Files to setup Node JS running on Systemd and SELinux

mind-bicycles. List of future of programming projects

net.akehurst.language. Generic Language (DSL) support for kotlin multiplatform (parser, syntax-analyser, formatter, processor, etc)

10PL. 10 papers that all PhD students in programming languages ought to know, for some value of 10

datascript. Immutable database and Datalog query engine for Clojure, ClojureScript and JS

learn-tt. A collection of resources for learning type theory and type theory adjacent fields.

AbcDatalog. Datalog that's as easy as ABC.

fav-ssr. Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]

isocert. McKay/Pipperno based graph isomorphism certification

miniF2F. Formal to Formal Mathematics Benchmark

slate. A completely customizable framework for building rich text editors. (Currently in beta.)

sokoban. Simple Sokoban solver using SAT solver Minisat

jvm-explorer. JVM Explorer is a Java desktop application for browsing loaded class files inside locally running Java Virtual Machines.

74844-device-25. Алёна Жилина

doo_it_me_faq. Faq по налогам для айти в Черногории

kanren. An extensible, lightweight relational/logic programming DSL written in pure Python

intellij-arend. Arend plugin for IntelliJ IDEA

computer-science. 🎓 Path to a free self-taught education in Computer Science!

better-parse. A nice parser combinator library for Kotlin

teyjus. An efficient implementation of the higher-order logic programming language Lambda Prolog

makam. The Makam Metalanguage

ksp-sample. Kotlin Symbol Processing (KSP) sample project

codelibrary. :gem:Collection of algorithms and data structures

general-type-theories. A (formalised) general definition of type theories

java-smt. JavaSMT - Unified Java API for SMT solvers.

cvc5. cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

yices2. SRI Yices SMT Solver

ml-course. Open Machine Learning course

marshall. Real number computation software

mm0. Metamath Zero specification language

ghilbert. Automatically exported from code.google.com/p/ghilbert

mmj2. mmj2 GUI Proof Assistant for the Metamath project

or-tools. Google's Operations Research tools:

grade-school-math. Python

ml-course-msu. Lecture notes and code for Machine Learning practical course on CMC MSU

awesome-jetpack-compose-android-apps. 👓 A curated list of awesome Jetpack Compose android apps by open-source contributors.

awesome-jetpack-compose-learning-resources. 👓 A continuously updated list of learning Jetpack Compose for Android apps.

EasierRDF. Making RDF easy enough for most developers

LDflex. A JavaScript DSL for querying Linked Data on the Web

react-fs-tree. JavaScript

graphy.js. A collection of RDF libraries for JavaScript

awesome-ocaml. A curated collection of awesome OCaml tools, frameworks, libraries and articles.

rocq. The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

idris-jvm. Idris on the JVM

awesome-idris. 𝛌 Awesome Idris resources

reanimate. Haskell library for building declarative animations based on SVG graphics

c-rrb. RRB-tree implemented as a library in C.

Primrose. A syntax-highlighting text editors that renders to an HTML5 Canvas

canvas-text-editor-tutorial. Simple text editor using html5 canvas

sqlite-gui. Lightweight SQLite editor for Windows

N3.js. Lightning fast, spec-compatible, streaming RDF for JavaScript

superset. Apache Superset is a Data Visualization and Data Exploration Platform

mini3. C++

info-engineering. Documentation, backgrounders and tutorial material related to information design, engineering, semantics, ontologies, and vocabularies

freebase-python. Unofficial git mirror for freebase-python SVN trunk

awesome-semantic-web. A curated list of various semantic web and linked data resources.

netty-http-authenticator. Basic and digest HTTP authentication for Netty

Multiverse. Software Transactional Memory Implementation for the JVM

grid-cheatsheet. CSS Grid cheat sheet

flex-cheatsheet. 📖 Flexbox cheatsheet

typedb-studio. TypeDB Studio: An interactive visual environment for TypeDB

typeql. TypeQL: Built for systems, not records

grafar. Reactive multidimensional math & data visualization for the web.

Arend. The Arend Proof Assistant

Grammar-Kit. Grammar files support & parser/PSI generation for IntelliJ IDEA

nice-grpc. A TypeScript gRPC library that is nice to you

telegram-chart. 🎖 A prize winning JS solution for the Telegram April 2019 coding contest

byte-buddy. Runtime code generation for the Java virtual machine.

callspy. A simple tracing agent

jvmti-tools. Collection of small Java serviceability improvements based on JVM Tool Interface

VivienneVMM. VivienneVMM is a stealthy debugging framework implemented via an Intel VT-x hypervisor.

intellij-sdk-code-samples. Mirror of the IntelliJ SDK Docs Code Samples

typedb. TypeDB: Built for systems, not records

northwind. Database agnostic DB Script to create Northwind Data Model with some sample data

io_uring-echo-server. io_uring echo server

tslint-to-eslint-config. Converts your TSLint configuration to the closest possible ESLint equivalent. 🚀

game-programmer. A Study Path for Game Programmer

snake. python moving through the wall on python

Core2D. A multi-platform data driven 2D diagram editor.

async-profiler. Sampling CPU and HEAP profiler for Java featuring AsyncGetCallTrace + perf_events

jekyll-seo-tag. A Jekyll plugin to add metadata tags for search engines and social networks to better index and display your site's content.

libio. libio is a cross platform high performance io library written in C. It provides ability to write event driven servers and applications with continuous code without callback hell

installer. Installer scripts for Eclipse Temurin binaries

c. Implementation of All ▲lgorithms in C Programming Language

uxy. UXY: Adding structure to the UNIX tools

java-keyring. Copy of Java Keyring library from bitbucket.org/bpsnervepoint -- with working CI in for osx/linux/windows keystore.

githubble. :octocat: All GitHub stars/forks in real-time

FileChangesWatcher. Watcher & Notifier for changes in files

java-keyring. Copy of Java Keyring library from bitbucket.org/bpsnervepoint

secret-service. A Java library for storing secrets under linux in the gnome-keyring over D-Bus. Like libsecret, but for Java.

java-minimum-desktop-app. Java Minimum Desktop App | Sample project

NorthwindOracle_DDL. Create a sample DB in Oracle for Northwind

rocollections. Mutator-free wrappers for Java Collections

ActorModel. Actor model (concurrent computation model)

dbeaver. Free universal database tool and SQL client

SchemaCrawler. Free database schema discovery and comprehension tool

ton. Main TON monorepo

rtsp-camera-view. View IP-camera RTSP in grid, auto bandwidth, full-screen, command line support

nuklear. A single-header ANSI C gui library

marlin-renderer. Marlin is the FAST Java2D antialiasing rasterizer derived from OpenJDK Pisces (shape)

mtcp. mTCP: A Highly Scalable User-level TCP Stack for Multicore Systems

mermaid. Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

libcds. A C++ library of Concurrent Data Structures

libaco. A blazing fast and lightweight C asymmetric coroutine library 💎 ⛅🚀⛅🌞

coro. Coroutines in C

sort. Simple, online, and realtime tracking of multiple objects in a video sequence.

hprof-parser. An extensible parser for hprof heap dump files produced by various JVMs

JCTools. Java

pdfs. Technically-oriented PDF Collection (Papers, Specs, Decks, Manuals, etc)

Wix-Setup-Samples. Wix Setup Samples is a project with basic backbone to install “Sample Application”. Motive of the setup to provide basic knowledge of Wix Toolset Setup to beginners or newbie ad extend it to advanced users.

ffmpeg. a java library interface to access ffmpeg

inflectible. Template engine for natural languages that allows using grammatically appropriate word forms

dumb. higloadcup-2018

cryptominisat. An advanced SAT solver