Skip to content
View bandali0's full-sized avatar

Organizations

@NixOS @Debian @ubuntu @vanilla-music @emacsconf @emacsel @unitb @canonical @WatForm
Block or Report

Block or report bandali0

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
Showing results

Warn of about to expire snap branches.

Shell 2 1 Updated Jul 12, 2024

Des recettes cha-tisfaisantes

Rust 7 2 Updated Jun 18, 2024

An origonal Monospaced font

Python 60 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 41 5 Updated Jun 2, 2021

ALL Language Learning: a language acquisition Intelligent Tutoring System

Emacs Lisp 1 Updated Nov 11, 2019

A temporal metric financial PDDL planning domain and problem w/ tools for personal planning. Extremely simple proof of concept to be expanded upon.

Prolog 10 1 Updated May 1, 2024

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

HTML 54 5 Updated Mar 17, 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)

9 1 Updated Dec 19, 2022

A Godot re-implementation of SuperTux

GDScript 209 28 Updated Jun 14, 2023

A Gopher server in Lua

Lua 16 1 Updated May 27, 2024

Workspace Set UP. Installs and configures personal configurations by layer

Shell 20 2 Updated Mar 5, 2017

jann - configuration deployment tool for *nix

Rust 36 Updated Dec 25, 2019

Load Emacs Lisp code blocks from Org files

Emacs Lisp 44 6 Updated May 26, 2023

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

Fennel 599 28 Updated Nov 17, 2023
Coq 5 Updated May 13, 2023

Source code for the eu.org project

Python 17 4 Updated Jan 20, 2021

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

Haskell 87 9 Updated Jan 9, 2022

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

Rust 222 9 Updated Apr 18, 2024

Tiny graphical system monitor

Emacs Lisp 289 26 Updated Jun 6, 2022

Python module for reading Emacs org-mode files

Python 363 43 Updated May 4, 2024

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

C 60 6 Updated Mar 28, 2024

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

OCaml 2,338 59 Updated May 8, 2024

Pollen inspired lozenge syntax for Emacs

Emacs Lisp 29 1 Updated Sep 10, 2019

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

Emacs Lisp 32 4 Updated Jun 11, 2020

toot - Mastodon CLI & TUI

Python 1,122 107 Updated Jul 10, 2024

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

TeX 68 8 Updated Oct 30, 2020
Next