dwarfmaster/commutative-diagrams

Stars
15
Rank 1,371,379 (Top 28 %)
Language
Rust
License
MIT License
Created over 2 years ago
Updated about 1 year ago

dwarfmaster/commutative-diagrams

dwarfmaster

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A coq plugin to deal with commutative diagrams

arkenfox-nixos

Utilities to use arkenfox/user.js in NixOS

home-nix

My dotfile as managed by nix with home-manager

mach-ipc

GNU Mach IPC mechanism examples

notification

Notification system for x11 based system using xcb.

Babel2

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

m9u

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

abod

Implementation of a single camera based obstacle detection algorithm.

absint

Abstract interpretation for a small subset of C

project-manager

Simple software to manage a tree of projects

abook_parseur

A library to work with abook addressbooks.

rss_filters

RSS filters for newbeuter.

empilathor

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

stereo_calibration

Calibrate and compute the disparity map of stereo camera input.

rsscli

Small CLI RSS feed manager compatible with newsboat database

ENS_sysres

An hurdish TCP/IP stack

textToMorse

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

Youtube-Perl-Scripts

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

SMT-solver

A simple SMT solver to experiment on

contact-manager

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

abook_extended_index

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

hashcode17-training

Pizza exercice for Google HashCode 2017 training