projedi Goto Github PK

agda-2.3.2.2-haskell-export

Experiment on exporting Agda into Haskell(a la Coq Extraction) based on Agda 2.3.2.2

antishake

backlightd

Currently a small setuid-root program to change brightness up/down. All config is in the source file. Sometime in the future it might become a dbus-powered daemon monitoring backlight.

capnproto-rust

Cap'n Proto for Rust

cfg-files

See https://github.com/projedi/dotfiles which has superseded this. For keeping /etc too I suggest http://joeyh.name/code/etckeeper/

check-recogniser

clang_navigate

Navigating C code using clang API. (AU devdays project)

colorscheme

cv

db

Database Management System project

dbus-idris

deprecated-blog

Legacy hakyll-powered blog. Moved to https://github.com/projedi/projedi.github.io

dt2022

Dependent types 2022

equality-in-type-theory

fluidsynth-hs-complete

(WIP) Complete Haskell bindings to fluidsynth v1.1.6

fp-mooc

geometry-kirkpatrick

Homework for computational geometry - implementation of Kirkpatrick triangulation refinement algorithm.

girara

user interface library

gnome-shell-minimum-workspaces

Set a minimum number of dynamic workspaces.

graphics-hw01

graphics-hw02

graphics-hw03

gs-extensions-drop-down-terminal

Drop Down Terminal extension for the Gnome Shell

haskell-mvm

An exercise in implementing JIT. Based on https://code.google.com/p/mathvm/

headphone-event

A small service that uses pulseaudio to monitor headphone insert/remove events and execute an action. Currently actions are hardcoded.

highlighting-kate

A syntax highlighting library in Haskell, based on Kate syntax definitions

hsmenu

idris-dev

A Dependently Typed Functional Programming Language

idris-playground

jonprl-playground