Skip to content
View bandali's full-sized avatar

Sponsoring

@protesilaos

Organizations

@NixOS @Debian @ubuntu @vanilla-music @emacsconf @emacsel @unitb @WatForm

Block or report bandali

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Showing results

This repository's CI will daily broadcast snaps branches soon to expire in Mattermost's ~branch-expirations channel.

Shell 3 3 Updated Mar 31, 2026

Des recettes cha-tisfaisantes

Rust 7 2 Updated Feb 16, 2026

An origonal Monospaced font

Python 116 Updated Jun 3, 2024

Compile tasks of daily living into Behavior Trees and interactively executes them. Pure Perl using Mojolicious.

Makefile 4 Updated Jun 20, 2020

A tool for reading ERC out loud using festival, allowing muting of individual or all channels.

Emacs Lisp 1 Updated Feb 26, 2018

Proving a blocking queue deadlock free in a dozen different ways

Dafny 44 5 Updated Oct 28, 2024

ALL Language Learning: a language acquisition Intelligent Tutoring System

Emacs Lisp 1 Updated Nov 11, 2019

Your AI-Powered Personal Finance Assistant

Prolog 33 5 Updated Jul 26, 2025

Free Life Planner: An AI tool for helping with planning for day-to-day life.

HTML 71 8 Updated Sep 4, 2024

Manage world-state by reducing it to an ordered state akin to a logical normal form

HTML 1 Updated Feb 26, 2018

How to run Panoply Git GNU/Linux (the version of FRDCSA made by combining all of the redacted GitHub FRDCSA codebases)

12 2 Updated Dec 19, 2022

A Godot re-implementation of SuperTux

GDScript 214 27 Updated Jun 14, 2023

A Gopher server in Lua

Lua 16 1 Updated Jan 4, 2026

Workspace Set UP. Installs and configures personal configurations by layer

Shell 20 1 Updated Mar 5, 2017

jann - configuration deployment tool for *nix

Rust 37 Updated Dec 25, 2019

Load Emacs Lisp code blocks from Org files

Emacs Lisp 49 6 Updated Jan 3, 2025

Neovim configuration and plugins in Fennel (Lisp compiled to Lua)

Fennel 645 30 Updated Jun 12, 2025
Coq 5 Updated May 13, 2023

Source code for the eu.org project

Python 24 3 Updated Jan 20, 2021

tool for creating and sharing annotations, using github for storage and social network

Haskell 92 9 Updated Jan 9, 2022

simple toy process viewer in rust https://crates.io/crates/bb

Rust 231 7 Updated Mar 10, 2026

Tiny graphical system monitor

Emacs Lisp 300 28 Updated Mar 1, 2026

Python module for reading Emacs org-mode files

Python 423 46 Updated Oct 30, 2025

tine - a modern clone of the AmigaDOS/TRIPOS ED display editor

C 73 6 Updated Mar 28, 2024

A code rewrite tool for structural search and replace that supports ~every language.

OCaml 2,623 70 Updated Aug 23, 2025

Pollen inspired lozenge syntax for Emacs

Emacs Lisp 32 1 Updated Sep 10, 2019

Display all TODO and FIXME entries for a project or buffer in ivy. Extracted from doom-emacs.

Emacs Lisp 33 5 Updated Jun 11, 2020

toot - Mastodon CLI & TUI

Python 1,305 123 Updated Apr 4, 2026

Create a Scientific FORTH Creative Commons release. Volunteers are gladly welcomed!

TeX 80 11 Updated Jul 19, 2025
Next