guygastineau Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

array

An interface and test harness for making a C array library. Especially useful for building on beginner skills with memory management in C.

attiny85-ssd1306

Display an image on an OLED with a Digispark

avr01dx_twi

bash

Exercism exercises in Bash.

bash-track-test-generator

Lets help make maintaining the bash track easy as 3.14159265359!

c

Exercism exercises in C.

cman

C Project Manager

configlet

Tool to assist in managing Exercism language tracks.

cqueue

A test harness for implementing queues in C.

documentation

Documentation for the PureScript language, compiler, and tools.

elisp

Exercism exercises in Emacs Lisp.

emacs

Mirror of GNU Emacs

emby

Emby Server is a personal media server with apps on just about every device.

evdev

Haskell bindings to libevdev.

evdev-streamly-blocking-bug

Example of `nextEvent` from Haskell's Evdev blocking as a SerialT from Streamly

exercism-firacode

Add Fira Code and ligatures for exercism solution and test files in the browser.

festival-hs

Haskell bindings to the festival project for Text To Speech.

gentoo-on-rpi-64bit

Bootable 64-bit Gentoo image for the Raspberry Pi4B, 3B & 3B+, with Linux 5.4, OpenRC, Xfce4, VC4/V3D, camera and h/w codec support, weekly-autobuild binhost

gi-gtk-declarative

Declarative GTK+ programming in Haskell

haskell

Exercism exercises in Haskell.

haskell-docker-privilege-test

Explore a weird bug concerning threaded haskell container in some environments.

hera

IOCTL wrapper for wireless functions on Linux

jupyter

Various Jupyter Notebooks, many aimed at teaching undergraduate physics

libgit2

md5-sml

An implementation of streaming MD5 in SML

nasm_repl

nyxt

Nyxt - Be productive.

pi-hole-docs

The official Pi-hole documentation

pmcomm

BOGART ENGINEERING PMComm