basil-conto

Lausanne, CH

Pinned Repositories

swiper
Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!
Language:Emacs Lisp2.3k 52 2.2k338
ace-window
Quickly switch windows in Emacs
Language:Emacs Lisp0 2 00
blc-netsoc
Personal Netsoc website - https://gitlab.com/basil-conto/blc-netsoc
Language:HTML0 2 00
bott
Simple Emacs rcirc bot
Language:Emacs Lisp0 3 00
dotfiles
dotdotdot
Language:Emacs Lisp4 2 10
gauss-newton
Simple Python implementation of the Gauss-Newton algorithm
Language:Python8 3 02
sethi-ullman
Implementation of the Sethi-Ullman numbering algorithm
Language:C2 2 00
hackernews.el
Hacker News client for Emacs
Language:Emacs Lisp250 15 1926
bog
Extensions for research notes in Org mode
Language:Emacs Lisp63 9 24
dash.el
A modern list library for Emacs
Language:Emacs Lisp1.7k 40 199137

basil-conto's Repositories

basil-conto/gauss-newton
Simple Python implementation of the Gauss-Newton algorithm
Language:Python8 3 02
basil-conto/dotfiles
dotdotdot
Language:Emacs Lisp4 2 10
basil-conto/bott
Simple Emacs rcirc bot
Language:Emacs Lisp0 3 00
basil-conto/company-coq
A Coq IDE build on top of Proof General's Coq mode
Language:Emacs Lisp0 0
basil-conto/dap-mode
Emacs :heart: Debug Adapter Protocol
Language:Emacs Lisp0 0
basil-conto/eglot
A client for Language Server Protocol servers
Language:Emacs Lisp1 0
basil-conto/emacs-celery
a minor mode to draw stats from celery and more?
Language:Emacs Lisp1 0
basil-conto/emacs-wonderland
A library for declaratively describing your Emacs configuration.
Language:Emacs Lisp1 0
basil-conto/epic-guide.github.io
Guidebook for IC PhD life at EPFL
Language:Dockerfile0 0
basil-conto/foreman-mode
Manage Procfile-based applications in Emacs
Language:Emacs Lisp1 0
basil-conto/keycast
Show current command and its key in the mode line
Language:Emacs Lisp1 0
basil-conto/magit
It's Magit! A Git Porcelain inside Emacs.
Language:Emacs Lisp2 0
basil-conto/matmul
Parallel matrix multiplication
Language:C2 0
basil-conto/mbsync-el
Wrap calling mbsync in Emacs Lisp, with a gnus hook
Language:Emacs Lisp2 0
basil-conto/melpa
Recipes and build machinery for the biggest Emacs package repo
Language:Emacs Lisp1 0
basil-conto/nix-emacs-ci
Emacs builds for continuous integration
Language:Nix
basil-conto/ob-cypher
query neo4j using cypher in org-mode blocks
Language:Emacs Lisp1 0
basil-conto/ob-ipython
org-babel integration with Jupyter for evaluation of (Python by default) code blocks
Language:Emacs Lisp1 0
basil-conto/org-ql
An Org-mode query language, including search commands and saved views
Language:Emacs Lisp1 0
basil-conto/org-sidebar
A helpful sidebar for Org mode
Language:Shell1 0
basil-conto/pdf-tools
Emacs support library for PDF files.
Language:C1 0
basil-conto/PG
This repo is the new home of Proof General
Language:Emacs Lisp0 0
basil-conto/pifra
Generate labelled transition systems of pi-calculus models represented by fresh-register automata
Language:Go1 01
basil-conto/relint
Elisp regexp lint tool
Language:Emacs Lisp0 0
basil-conto/rfc-mode
An Emacs major mode to read and browse RFC documents.
Language:Emacs Lisp1 0
basil-conto/sketch-mode
Quickly create/draw/paint SVG sketches with keyboard and mouse
Language:Emacs Lisp0 0
basil-conto/swiper
Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. Oh, man!
Language:Emacs Lisp2 0
basil-conto/transient
Transient commands
Language:Emacs Lisp0 0
basil-conto/xr
Inverse of rx: convert Emacs string regexps to rx form
Language:Emacs Lisp0 0
basil-conto/zenburn-emacs
The Zenburn colour theme ported to Emacs
Language:Emacs Lisp2 0