• Stars
    star
    2
  • Language
    Haskell
  • License
    MIT License
  • Created over 10 years ago
  • Updated over 6 years ago

Reviews

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

Repository Details

RSS filters for newbeuter.

More Repositories

1

arkenfox-nixos

Utilities to use arkenfox/user.js in NixOS
Nix
33
star
2

commutative-diagrams

A coq plugin to deal with commutative diagrams
Rust
15
star
3

home-nix

My dotfile as managed by nix with home-manager
Nix
8
star
4

mach-ipc

GNU Mach IPC mechanism examples
C
6
star
5

notification

Notification system for x11 based system using xcb.
C
5
star
6

Babel2

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

m9u

Fork of the m9u music server from http://sqweek.net/code/m9u/
C
3
star
8

abod

Implementation of a single camera based obstacle detection algorithm.
C++
3
star
9

absint

Abstract interpretation for a small subset of C
Haskell
3
star
10

project-manager

Simple software to manage a tree of projects
Haskell
2
star
11

abook_parseur

A library to work with abook addressbooks.
C++
2
star
12

empilathor

Ce programme sert à controller un périphérique fischertechnik par bluetooth.
Java
1
star
13

stereo_calibration

Calibrate and compute the disparity map of stereo camera input.
C++
1
star
14

rsscli

Small CLI RSS feed manager compatible with newsboat database
Haskell
1
star
15

ENS_sysres

An hurdish TCP/IP stack
C
1
star
16

textToMorse

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

Youtube-Perl-Scripts

A set a scripts to use youtube as a music source.
Perl
1
star
18

SMT-solver

A simple SMT solver to experiment on
C++
1
star
19

contact-manager

A simple contact manager written in gawk compatible with abook adressbook files.
Ruby
1
star
20

abook_extended_index

A clone a abook http://abook.sourceforge.net/ with the extend_index patch.
C
1
star
21

hashcode17-training

Pizza exercice for Google HashCode 2017 training
C++
1
star