aspiwack

aspiwack's Stars

• nushell/nushell

  A new type of shell

  Language:Rust33.1k1905.9k1.7k

• jgm/djot

  A light markup language

  Language:Emacs Lisp1.7k2919747

• ProofGeneral/PG

  This repo is the new home of Proof General

  Language:Emacs Lisp4941353790

• jyp/dante

  Language:Emacs Lisp3921612352

• cpitclaudel/company-coq

  A Coq IDE build on top of Proof General's Coq mode

  Language:Emacs Lisp3511024028

• jyp/boon

  Ergonomic Command Mode for Emacs

  Language:Emacs Lisp334169134

• LiveSplit/livesplit-core

  livesplit-core is a library that provides a lot of functionality for creating a speedrun timer.

  Language:Rust212928059

• LiveSplit/obs-livesplit-one

  A plugin for OBS Studio that allows adding LiveSplit One as a source.

  Language:Rust6562616

• timbertson/opam2nix-packages

  nix expressions for the official opam repository, using opam2nix

  Language:Nix2753212

• psteckler/ProofGeneral

  This repo is a fork of the Proof-General github repo. The `server-protocol' branch uses Coq's XML protocol, which support async processing

  Language:Emacs Lisp9500