an implementation of RFC 6902 JSON Patch written in Kotlin

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

Guarded abstract interpretation

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

TypeScript bindings for MIDI files

Путеводитель 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

Graph Analysis and Drawing Library - Grad

Produces CNF formulas for graph colorings

isolators for tournaments and possibly general digraphs int he future

Termination proofs for guarded algorithms

Finding Efficient Circuits Using SAT-solvers

CaDiCaL SAT Solver

C Bounded Model Checker

A Parallel SAT Solver with GPU Accelerated Inprocessing

Northwind sample database for postgres

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

Categorical Query Language IDE

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

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

Code for enumeration from a CFG

📷 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