Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by dwarfmaster

A curated list of projects in awesome lists by dwarfmaster .

https://github.com/dwarfmaster/arkenfox-nixos

Utilities to use arkenfox/user.js in NixOS

Last synced: 06 Apr 2025

https://github.com/dwarfmaster/commutative-diagrams

A coq plugin to deal with commutative diagrams

Last synced: 07 May 2025

https://github.com/dwarfmaster/home-nix

My dotfile as managed by nix with home-manager

home-manager nix nix-dotfiles

Last synced: 03 Jul 2025

https://github.com/dwarfmaster/mach-ipc

GNU Mach IPC mechanism examples

Last synced: 02 Jul 2025

https://github.com/dwarfmaster/notification

Notification system for x11 based system using xcb.

Last synced: 27 Jul 2025

https://github.com/dwarfmaster/babel2

The public release of the Babel2 framework, a framework for Fluid Construction Grammar, multi-agent experiments and Incremental Recruitment Language.

Last synced: 12 May 2025

https://github.com/dwarfmaster/abod

Implementation of a single camera based obstacle detection algorithm.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/absint

Abstract interpretation for a small subset of C

Last synced: 24 Sep 2025

https://github.com/dwarfmaster/m9u

Fork of the m9u music server from http://sqweek.net/code/m9u/

Last synced: 16 Jun 2025

https://github.com/dwarfmaster/project-manager

Simple software to manage a tree of projects

Last synced: 06 Sep 2025

https://github.com/dwarfmaster/rss_filters

RSS filters for newbeuter.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/abook_parseur

A library to work with abook addressbooks.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/abook_extended_index

A clone a abook http://abook.sourceforge.net/ with the extend_index patch.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/smt-solver

A simple SMT solver to experiment on

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/youtube-perl-scripts

A set a scripts to use youtube as a music source.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/ens_sysres

An hurdish TCP/IP stack

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/stereo_calibration

Calibrate and compute the disparity map of stereo camera input.

Last synced: 10 Sep 2025

https://github.com/dwarfmaster/rsscli

Small CLI RSS feed manager compatible with newsboat database

haskell rss

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/empilathor

Ce programme sert à controller un périphérique fischertechnik par bluetooth.

Last synced: 12 Jun 2025

https://github.com/dwarfmaster/texttomorse

Lit un fichier texte et l'affiche en morse via la led de son du PC.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/contact-manager

A simple contact manager written in gawk compatible with abook adressbook files.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/hashcode17-training

Pizza exercice for Google HashCode 2017 training

hashcode

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/sdlvis

Visionneur d'images en SDL.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/memcad_log_printer

helper for reading memcad logs

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/mpe

code de mon année de MPE

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/sdlp_sprite

Cette bibliothèque a pour but de permettre d'intégrer des informations supplémentaires dans les images et de faire des animations dans le cadre d'un projet c++/SDL.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/scrlock

This program is a derivated work from slock utility by suckless.org

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/netlist-compiler

Compile netlist to equivalent programs

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/inferno

Mirror of https://gitlab.inria.fr/fpottier/inferno adding nix flakes

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/free_group_coq

Construction of the free group in coq

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/coq-hott-nix

Nix package of coq HoTT library

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/inter_list

An interactive ncurses list.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/dwmfifo

My own X11 window manager based on dwm.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/ett-in-lambdapi

Formalisation of ETT in the lambda pi proof assistant.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/brainfuck

Brainfuck executer

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/2sat

Solving the 2-SAT problem.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/notifier

Notification displayer system in go

Last synced: 05 Sep 2025

https://github.com/dwarfmaster/fc

Compiler for a small functionnal language

Last synced: 08 Jan 2026

https://github.com/dwarfmaster/stagem2report

Report for my M2 internship

Last synced: 08 Jan 2026

https://github.com/dwarfmaster/carte_de_visite

Code latex de ma carte de visite.

Last synced: 05 Feb 2026

https://github.com/dwarfmaster/wmutils-tiled

Tiled window manager based on wmutils

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/tipe1

Recherche sur une IA de robots explorants un terrain

Last synced: 29 Oct 2025

https://github.com/dwarfmaster/sdlp_position

Cette bibliothèque à pour but de fournir des outils permettant une manipulation améliorée des positions dans des applications SDL.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/sptm

Simple Portable Task Manager.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/ppe

Code for my ppe.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/rss_feeds

Create rss feeds from serialized content.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/pkgbuilds

Versionning my archlinux PKGBUILDs.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/ppe_android

The android code for my ppe.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/ppe_dossier

Le dossier du PPE.

Last synced: 08 Jan 2026

https://github.com/dwarfmaster/notmuch-mh

Scripts to use with notmuch to handle mail.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/cv

My CV

Last synced: 23 Feb 2026

https://github.com/dwarfmaster/diagrams-bezier

Draw bezier curves with diagrams

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/website

The code for my website (perl/html/css).

Last synced: 05 Oct 2025

https://github.com/dwarfmaster/cancer-game

Ce jeu vous met dans la peau d'une cellule cancéreuse qui cherche à se faire des camarades.

Last synced: 05 Oct 2025

https://github.com/dwarfmaster/boxplot

Simplify boxplot drawing in LaTeX.

Last synced: 23 Feb 2026

https://github.com/dwarfmaster/sptm_utils

A program allowing complexe use of SPTM library.

Last synced: 09 Oct 2025

https://github.com/dwarfmaster/hider

Cette bibliothèque permet de dissimuler une texte dans une image bitmap.

Last synced: 11 Oct 2025

https://github.com/dwarfmaster/tipe_dossier

Dossier de mon TIPE

Last synced: 27 Jan 2026

https://github.com/dwarfmaster/snowy

Programme arduino controlant un réveil en forme de bonhomme de neige.

Last synced: 27 Jan 2026

https://github.com/dwarfmaster/blossom

Implementation of the blossom algorithm

Last synced: 25 Oct 2025

https://github.com/dwarfmaster/ppe_cr2

Deuxième compte rendu de mon PPE.

Last synced: 30 Jan 2026

https://github.com/dwarfmaster/mpsi

Scripts et codes faits durant mon année de MPSI.

Last synced: 31 Jan 2026

https://github.com/dwarfmaster/ppe_expo

The LaTeX beamer slides for my PPE presentation.

Last synced: 31 Jan 2026

https://github.com/dwarfmaster/mpe_formulaire

Formulaire pour la promo 2015-2016 de la MPE de fermat

Last synced: 28 Feb 2026

https://github.com/dwarfmaster/config

All my config files and scripts to help the managing.

Last synced: 19 Mar 2026

https://github.com/dwarfmaster/gpg

My public gpg key.

Last synced: 11 Jan 2026

https://github.com/dwarfmaster/abook_colors_patch

Some patch for abook colors. Cloned from https://gitorious.org/abook/abook/source/51847f5bee592bd07abbda526993f08da93fd355:

Last synced: 28 Oct 2025

https://github.com/dwarfmaster/cdcl_sat_solver

New heuristic for MiniSAT, specific for solving HIPP problems

Last synced: 08 Jul 2025

https://github.com/dwarfmaster/memoire-dma-l3

Approche catégorique aux CSP

Last synced: 11 Jan 2026

https://github.com/dwarfmaster/astropong

Portage vers linux du jeu astropong, jeu de pong à plusieurs balles.

Last synced: 09 Sep 2025

https://github.com/dwarfmaster/shell-music-player

A small music player in shell

Last synced: 20 Oct 2025

https://github.com/dwarfmaster/sdlp_event

Simplifie la gestion des évènements avec SDL.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/ppe_follow

Algorithm featuring color-baser object following.

Last synced: 16 Jun 2025

https://github.com/dwarfmaster/notmuch-arrow-haskell

A binding to the notmuch library using the arrow paradigm

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/categories-in-lp

Experiments with category theory in LambdaPi

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/cadavre_exquis

Un cadavre exquis en réseau, basé sur le modèle client-serveur.

Last synced: 01 Apr 2025

https://github.com/dwarfmaster/stagel3

Last synced: 12 Jan 2026

https://github.com/dwarfmaster/cubicle-vim-syntax

Syntax file for cubicle sources

Last synced: 12 Jan 2026

https://github.com/dwarfmaster/dico-handling

Handling of anotated dictionnaries like dicoEnviro

Last synced: 13 Sep 2025

https://github.com/dwarfmaster/mpri-2-39-hexahedral

Presentation of course

Last synced: 03 Feb 2026

https://github.com/dwarfmaster/sdlp_tools

Cette bibliothèque a pour but de fournir des outils utilisés dans les autres bibliothèques SDLP_qqchose.

Last synced: 30 Oct 2025

https://github.com/dwarfmaster/ppe_arduino

The arduino code for my PPE.

Last synced: 02 Aug 2025

https://github.com/dwarfmaster/cli_newsbeuter

CLI program compatible with newbeuter RSS aggregator.

Last synced: 16 Aug 2025

https://github.com/dwarfmaster/korrvigs

Personal wiki system

Last synced: 18 Aug 2025

https://github.com/dwarfmaster/dwmabr

fork de dwmabr permettant de controler les fenêtre/tags/... via une arborescence de fichiers.

Last synced: 31 Aug 2025