Giters
Basil L. Contovounesios (basil-conto)

basil-conto

Geek Repo

61

followers

56

following

71

stars

Location:Lausanne, CH

Home Page:https://basil.contovou.net

Github PK Tool:Github PK Tool

Organizations
ai-msceteers

Basil L. Contovounesios's repositories

gauss-newton

Simple Python implementation of the Gauss-Newton algorithm

Language:PythonLicense:BSD-3-ClauseStargazers:8Issues:3Issues:0

dotfiles

dotdotdot

Language:Emacs LispStargazers:4Issues:0Issues:0

bott

Simple Emacs rcirc bot

Language:Emacs LispLicense:CC0-1.0Stargazers:0Issues:3Issues:0

company-coq

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

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

dap-mode

Emacs :heart: Debug Adapter Protocol

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

eglot

A client for Language Server Protocol servers

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

emacs-celery

a minor mode to draw stats from celery and more?

Language:Emacs LispLicense:GPL-2.0Stargazers:0Issues:1Issues:0

emacs-wonderland

A library for declaratively describing your Emacs configuration.

Language:Emacs LispLicense:MITStargazers:0Issues:1Issues:0

epic-guide.github.io

Guidebook for IC PhD life at EPFL

Language:DockerfileLicense:MITStargazers:0Issues:0Issues:0

foreman-mode

Manage Procfile-based applications in Emacs

Language:Emacs LispStargazers:0Issues:1Issues:0

keycast

Show current command and its key in the mode line

Language:Emacs LispStargazers:0Issues:1Issues:0

magit

It's Magit! A Git Porcelain inside Emacs.

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

matmul

Parallel matrix multiplication

Language:CLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

mbsync-el

Wrap calling mbsync in Emacs Lisp, with a gnus hook

Language:Emacs LispLicense:WTFPLStargazers:0Issues:2Issues:0

melpa

Recipes and build machinery for the biggest Emacs package repo

Language:Emacs LispLicense:NOASSERTIONStargazers:0Issues:1Issues:0

nix-emacs-ci

Emacs builds for continuous integration

Stargazers:0Issues:0Issues:0

ob-cypher

query neo4j using cypher in org-mode blocks

Language:Emacs LispStargazers:0Issues:1Issues:0

ob-ipython

org-babel integration with Jupyter for evaluation of (Python by default) code blocks

Language:Emacs LispStargazers:0Issues:1Issues:0

org-ql

An Org-mode query language, including search commands and saved views

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

org-sidebar

A helpful sidebar for Org mode

Language:ShellLicense:GPL-3.0Stargazers:0Issues:1Issues:0

pdf-tools

Emacs support library for PDF files.

Language:CLicense:GPL-3.0Stargazers:0Issues:1Issues:0

PG

This repo is the new home of Proof General

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

pifra

Generate labelled transition systems of pi-calculus models represented by fresh-register automata

Language:GoLicense:MITStargazers:0Issues:1Issues:0

relint

Elisp regexp lint tool

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

rfc-mode

An Emacs major mode to read and browse RFC documents.

Language:Emacs LispLicense:ISCStargazers:0Issues:1Issues:0

sketch-mode

Quickly create/draw/paint SVG sketches with keyboard and mouse

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

swiper

Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!

Language:Emacs LispStargazers:0Issues:2Issues:0

transient

Transient commands

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

xr

Inverse of rx: convert Emacs string regexps to rx form

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

zenburn-emacs

The Zenburn colour theme ported to Emacs

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