Giters
Arnaud Spiwack (aspiwack)

aspiwack

Geek Repo

158

followers

0

following

10

stars

Company:Tweag

Location:Paris

Home Page:http://assert-false.science/arnaud

Twitter:@aspiwack

Github PK Tool:Github PK Tool

Organizations
tweag

Arnaud Spiwack's starred repositories

djot

A light markup language

Language:HTMLLicense:MITStargazers:1631Issues:0Issues:0

livesplit-core

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

Language:RustLicense:Apache-2.0Stargazers:208Issues:0Issues:0

obs-livesplit-one

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

Language:RustLicense:Apache-2.0Stargazers:60Issues:0Issues:0

nushell

A new type of shell

Language:RustLicense:MITStargazers:31100Issues:0Issues:0

company-coq

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

Language:Emacs LispLicense:GPL-3.0Stargazers:349Issues:0Issues:0

PG

This repo is the new home of Proof General

Language:Emacs LispLicense:GPL-3.0Stargazers:486Issues:0Issues:0

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 LispLicense:GPL-3.0Stargazers:9Issues:0Issues:0

boon

Ergonomic Command Mode for Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:324Issues:0Issues:0

dante

Language:Emacs LispStargazers:388Issues:0Issues:0

opam2nix-packages

nix expressions for the official opam repository, using opam2nix

Language:NixStargazers:27Issues:0Issues:0