Tim Süberkrüb's repositories
repline
Haskeline wrapper for GHCi-like REPL interfaces
nxengine-evo
nxengine refactoring
geonkick
A free software percussion synthesizer for GNU/Linux (This project is no more developed and no more maintained. If you find it useful you can fork it. Thank you for all contributions!)
redkite
A small GUI toolkit (This project is no more developed and no more maintained. If you find it useful you can fork it. Thank you for all contributions!)
idris-tparsec
TParsec - Total Parser Combinators in Idris
snapcraft
Snapcraft is a delightful packaging tool
cli
GitHub’s official command line tool
crazy-mark
:notebook_with_decorative_cover: A simple markdown editor for Ubuntu touch
Idris-dev
A Dependently Typed Functional Programming Language
telescope
Ubuntu Touch synchronization app for AsteroidOS.
ubuntu-post-install
:rocket: My personal post-installation configuration for Ubuntu
yew_router
A routing library for the Yew frontend framework
marp-cli-example
The good starter for using Marp via Marp CLI
panpipe
Mirror of http://chriswarbo.net/git/panpipe
r-rust-poc
R-Rust-Interop Proof of Concept
Idris2-boot
A dependently typed programming language, a successor to Idris
webpack-shell-plugin
Quick and dirty fork of webpack-shell-plugin to execute scripts synchronously
switch-reloaded
Simple game about linear algebra
nxengine-backport
NXEngine Backport for snap package migration
cavestory-snap
Submitted upstream
fluffychat
Chat with your friends from Ubuntu Touch
clap
This is a dummy repo for testing, nothing to see here
unity8-snap
Experiment / proof of concept
jotit
Take notes on your Ubuntu Phone
snapcraft-desktop-helpers
Various launchers for snapcraft wiki parts