Tim Süberkrüb (timsueberkrueb)

timsueberkrueb

Geek Repo

Company:@aleph-alpha

Location:Germany

Home Page:https://timsueberkrueb.io

Github PK Tool:Github PK Tool

Tim Süberkrüb's repositories

repline

Haskeline wrapper for GHCi-like REPL interfaces

License:MITStargazers:0Issues:0Issues:0

nxengine-evo

nxengine refactoring

License:GPL-3.0Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

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!)

License:GPL-3.0Stargazers:0Issues:0Issues:0

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!)

License:GPL-3.0Stargazers:0Issues:0Issues:0

idris-tparsec

TParsec - Total Parser Combinators in Idris

License:GPL-3.0Stargazers:0Issues:0Issues:0

snapcraft

Snapcraft is a delightful packaging tool

Language:PythonLicense:GPL-3.0Stargazers:0Issues:0Issues:0

cli

GitHub’s official command line tool

License:MITStargazers:0Issues:0Issues:0

crazy-mark

:notebook_with_decorative_cover: A simple markdown editor for Ubuntu touch

Language:QMLLicense:GPL-3.0Stargazers:3Issues:0Issues:0

Idris-dev

A Dependently Typed Functional Programming Language

License:NOASSERTIONStargazers:0Issues:0Issues:0

telescope

Ubuntu Touch synchronization app for AsteroidOS.

Language:QMLLicense:GPL-3.0Stargazers:0Issues:0Issues:0

ubuntu-post-install

:rocket: My personal post-installation configuration for Ubuntu

Stargazers:2Issues:0Issues:0

yew_router

A routing library for the Yew frontend framework

License:Apache-2.0Stargazers:0Issues:0Issues:0

marp-cli-example

The good starter for using Marp via Marp CLI

License:WTFPLStargazers:0Issues:0Issues:0
Language:C#Stargazers:0Issues:0Issues:0

panpipe

Mirror of http://chriswarbo.net/git/panpipe

License:NOASSERTIONStargazers:0Issues:0Issues:0

r-rust-poc

R-Rust-Interop Proof of Concept

Language:RustLicense:Apache-2.0Stargazers:0Issues:0Issues:0

Idris2-boot

A dependently typed programming language, a successor to Idris

Language:IdrisLicense:NOASSERTIONStargazers:0Issues:0Issues:0

webpack-shell-plugin

Quick and dirty fork of webpack-shell-plugin to execute scripts synchronously

Language:JavaScriptLicense:MITStargazers:0Issues:0Issues:0

switch-reloaded

Simple game about linear algebra

Language:QMLLicense:GPL-3.0Stargazers:2Issues:0Issues:0

nxengine-backport

NXEngine Backport for snap package migration

Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0

visit

Automatically generate Rust code for the Visitor pattern

Language:RustLicense:Apache-2.0Stargazers:6Issues:0Issues:0

cavestory-snap

Submitted upstream

License:GPL-3.0Stargazers:0Issues:0Issues:0

fluffychat

Chat with your friends from Ubuntu Touch

Language:QMLLicense:GPL-3.0Stargazers:0Issues:0Issues:0

clap

This is a dummy repo for testing, nothing to see here

Language:RustLicense:MITStargazers:0Issues:0Issues:0

unity8-snap

Experiment / proof of concept

Language:ShellStargazers:0Issues:0Issues:0

yalr

Yet Another LR parser generator

Language:RustLicense:Apache-2.0Stargazers:2Issues:0Issues:0

jotit

Take notes on your Ubuntu Phone

Language:QMLLicense:GPL-3.0Stargazers:0Issues:0Issues:0

ubup

:rocket: Replace your Ubuntu post installation script with a friendly yaml file

Language:PythonLicense:MITStargazers:6Issues:0Issues:0

snapcraft-desktop-helpers

Various launchers for snapcraft wiki parts

Language:CLicense:MITStargazers:0Issues:0Issues:0