Skip to content
View basil-conto's full-sized avatar
65 followers · 58 following

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@ai-msceteers

Block or report basil-conto

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • fts-xapian Public

    Forked from grosjo/fts-xapian

    Dovecot FTS plugin based on Xapian

    C++ GNU Lesser General Public License v2.1 Updated Jan 17, 2025

  • dotfiles Public

    dotdotdot

    dotfiles-linux
    Emacs Lisp 4 Updated Jan 15, 2025

  • swiper Public

    Forked from abo-abo/swiper

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

    Emacs Lisp Updated Jan 9, 2025

  • nix-emacs-ci Public

    Forked from purcell/nix-emacs-ci

    Emacs builds for continuous integration

    Nix Updated Aug 13, 2024

  • matmul Public

    Forked from SimonFM/MatMul

    Parallel matrix multiplication

    C BSD 3-Clause "New" or "Revised" License Updated Jun 1, 2024

  • dap-mode Public

    Forked from emacs-lsp/dap-mode

    Emacs ❤️ Debug Adapter Protocol

    Emacs Lisp GNU General Public License v3.0 Updated May 14, 2024

  • melpa Public

    Forked from melpa/melpa

    Recipes and build machinery for the biggest Emacs package repo

    Emacs Lisp Other Updated Apr 22, 2024

  • magit Public

    Forked from magit/magit

    It's Magit! A Git Porcelain inside Emacs.

    Emacs Lisp GNU General Public License v3.0 Updated Mar 27, 2024

  • epic-guide.github.io Public

    Forked from EPIC-guide/epic-guide.github.io

    Guidebook for IC PhD life at EPFL

    Dockerfile MIT License Updated Mar 4, 2024

  • relint Public

    Forked from mattiase/relint

    Elisp regexp lint tool

    Emacs Lisp Updated Jan 23, 2024

  • xr Public

    Forked from mattiase/xr

    Inverse of rx: convert Emacs string regexps to rx form

    Emacs Lisp Updated Jan 23, 2024

  • eglot Public

    Forked from joaotavora/eglot

    A client for Language Server Protocol servers

    Emacs Lisp GNU General Public License v3.0 Updated Jan 19, 2024

  • PG Public

    Forked from ProofGeneral/PG

    This repo is the new home of Proof General

    Emacs Lisp GNU General Public License v3.0 Updated Aug 31, 2023

  • transient Public

    Forked from magit/transient

    Transient commands

    Emacs Lisp GNU General Public License v3.0 Updated Jun 1, 2023

  • pdf-tools Public

    Forked from vedang/pdf-tools

    Emacs support library for PDF files.

    C GNU General Public License v3.0 Updated Apr 19, 2023

  • sketch-mode Public

    Forked from dalanicolai/sketch-mode

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

    Emacs Lisp GNU General Public License v3.0 Updated Apr 18, 2023

  • bott Public archive

    Simple Emacs rcirc bot

    emacs irc-bot
    Emacs Lisp Creative Commons Zero v1.0 Universal Updated Mar 5, 2023

  • company-coq Public

    Forked from cpitclaudel/company-coq

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

    Emacs Lisp GNU General Public License v3.0 Updated Feb 3, 2023

  • gauss-newton Public

    Simple Python implementation of the Gauss-Newton algorithm

    Python 8 2 BSD 3-Clause "New" or "Revised" License Updated Jan 27, 2023

  • pifra Public

    Forked from sengleung/pifra

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

    Go 1 MIT License Updated Aug 8, 2021

  • keycast Public

    Forked from tarsius/keycast

    Show current command and its key in the mode line

    Emacs Lisp Updated May 21, 2021

  • rfc-mode Public

    Forked from galdor/rfc-mode

    An Emacs major mode to read and browse RFC documents.

    Emacs Lisp ISC License Updated May 10, 2021

  • zenburn-emacs Public

    Forked from bbatsov/zenburn-emacs

    The Zenburn colour theme ported to Emacs

    Emacs Lisp GNU General Public License v3.0 Updated Mar 5, 2021

  • emacs-wonderland Public

    Forked from kurisuwhyte/emacs-wonderland

    A library for declaratively describing your Emacs configuration.

    Emacs Lisp MIT License Updated Feb 20, 2021

  • org-sidebar Public

    Forked from alphapapa/org-sidebar

    A helpful sidebar for Org mode

    Shell GNU General Public License v3.0 Updated Feb 19, 2021

  • org-ql Public

    Forked from alphapapa/org-ql

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

    Emacs Lisp GNU General Public License v3.0 Updated Feb 19, 2021

  • ob-ipython Public

    Forked from gregsexton/ob-ipython

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

    Emacs Lisp Updated Feb 19, 2021

  • ob-cypher Public

    Forked from zweifisch/ob-cypher

    query neo4j using cypher in org-mode blocks

    Emacs Lisp Updated Feb 19, 2021

  • foreman-mode Public

    Forked from zweifisch/foreman-mode

    Manage Procfile-based applications in Emacs

    Emacs Lisp Updated Feb 19, 2021

  • emacs-celery Public

    Forked from ardumont/emacs-celery

    a minor mode to draw stats from celery and more?

    Emacs Lisp GNU General Public License v2.0 Updated Feb 19, 2021