ineol

brave_new_simplex

mandelgo

Simple mandelbrot set generator

chalk

A PROLOG-ish interpreter written in Rust, intended eventually for use in the compiler

com.sublimemerge.App

coq-lsp

Visual Studio Code Extension and Language Server Protocol for Coq

depygmentize

Use minted without --shell-escape

druid

Data-oriented Rust UI design toolkit.

flatpak

Linux application sandboxing and distribution framework

fuzzybab

hedgehog

io.alacritty.Alacritty

learn-ocaml

A Web Application for Learning OCaml

ineol.github.io

iris-project

lean4-metaprogramming-book

Linear-Cryptanalysis

lsp-mode

Emacs client/library for the Language Server Protocol

nixpkgs

Nix Packages collection

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

typst-prooftree

util-linux

xi-editor

A modern editor with a backend written in Rust. https://xi-editor.github.io/xi-editor