Vim keybindings for CM6

🐻 Bear necessities for state management in React

A Simple Profiling Library for OCaml

A Vim plugin that provides GraphQL file detection, syntax highlighting, and indentation.

📜 CCL: Categorical Configuration Language, The most elegant configuration language

Statically typed embedding of miniKanren relational programming language into OCaml

A certified semantics for relational programming workout.

A wrapper around data fetching

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

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)

r2dec-js is a JavaScript-based decompiler that converts assembly code into pseudo-C. It aids users in understanding assembly by providing readable high-level explanations, making low-level programm…

List of Russian words

A rating react component with custom symbols.