Interactive Coq Proofs in Vim

A mini-preprocessor library to demostrate the recursive capabilites of the preprocessor

A toy programming language with time travel

Agda interaction in vim

Syntax highlighter for ANTLR files in vim

A PostgresQL server running in your browser

Bring colorful and funny Jumoreski into your workspace!

Join the GitHub Graduation Yearbook and "walk the stage" on June 11.

A syntax highlighting template for the Kotlin language in LaTeX listings.

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

Converts image to maps for Minecraft Java and Bedrock

MemOS

https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.

React-specific linting rules for ESLint

(Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds

Gentoo overlay with yandex things (mostly chromium-based browser)

radare2 plugin - converts asm to pseudo-C code.

List of Russian words

A rating react component with custom symbols.

Yandex Maps API bindings for React

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

The Kotlin Programming Language.

xterm 256 color palette

Vector graphics (SVG) library for PHP

Java library for working with VK API

Boost.org program_options module

We all need karma

A fork of kmyacc, with some essential patches applied

A lexer generator for PHP. It is based on JLex and requires Java to generate the lexer. Once generated, the lexer only requires PHP to run.

A PHP parser written in PHP