Fix .app programs installed by Nix on Mac

Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4

A new markup-based typesetting system that is powerful and easy to learn.

remarkable2 framebuffer reversing

A modern commutative diagram editor for the web.

org-mode modules for citations, cross-references, bibliographies in org-mode and useful bibtex tools to go with it.

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

PBR rendering example/experiment with rendy

dynamic binary analysis via platform emulation

Writing an OS in Rust

Python sample codes for robotics algorithms.

Emacs client/library for the Language Server Protocol

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

The Julia Programming Language

🐉 Dark powered asynchronous unite all interfaces for Neovim/Vim8

🌠 Dark powered asynchronous completion framework for neovim/Vim8

Vim-fork focused on extensibility and usability

Adds file type icons to Vim plugins such as: NERDTree, vim-airline, CtrlP, unite, Denite, lightline, vim-startify and many more

Rust <-> Python bindings