aspiwack

aspiwack's Stars

• nushell/nushell

  A new type of shell

  Language:Rust31.8k1905.7k1.6k

• jgm/djot

  A light markup language

  Language:Emacs Lisp1.7k2919343

• ProofGeneral/PG

  This repo is the new home of Proof General

  Language:Emacs Lisp4901353086

• jyp/dante

  Language:Emacs Lisp3891712252

• cpitclaudel/company-coq

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

  Language:Emacs Lisp3511023929

• jyp/boon

  Ergonomic Command Mode for Emacs

  Language:Emacs Lisp331168935

• LiveSplit/livesplit-core

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

  Language:Rust209927757

• LiveSplit/obs-livesplit-one

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

  Language:Rust6252517

• 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