- Montenegro
- https://vzhilin.me
- @vzhilin_me
Block or Report
Block or report vzhn
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (5)
Sort Name ascending (A-Z)
Stars
Language
Sort by: Recently starred
an implementation of RFC 6902 JSON Patch written in Kotlin
A CSS-only, resolution-independent "Fork me on GitHub" ribbon.
Путеводитель C++ программиста по неопределенному поведению
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 Ser…
Encoding graphs in graph6, sparse6, and digraph6 formats
Produces CNF formulas for graph colorings
isolators for tournaments and possibly general digraphs int he future
Finding Efficient Circuits Using SAT-solvers
A Parallel SAT Solver with GPU Accelerated Inprocessing
TreeSheets : Free Form Data Organizer (see strlen.com/treesheets)
Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.
Virtual file format for text processing used in @unifiedjs
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.
The ultimate ORM for Node and Typescript
Здесь хранится документация международных экспатских конф
📷 PictShare is an open source image, mp4, pastebin hosting service with a simple resizing and upload API that you can host yourself. 🎑
A quick reference for mapping Coq tactics to Lean tactics
Lean course materials for Brown CS 22, Spring 2023
An example of the MiniLogo DSL using Langium