christofsteel Goto Github PK

anaconda-build-files

Buildfiles for the christofsteel anaconda channel

bioconda-recipes

Conda recipes for the bioconda channel.

bumblebee

Bumblebee daemon and client rewritten in C

caddy-auth-portal

Authentication Plugin for Caddy v2 implementing Form-Based, Basic, Local, LDAP, OpenID Connect, OAuth 2.0 (Github, Google, Facebook, Okta, etc.), SAML Authentication. MFA with App Authenticators and Yubico.

cbs

List coverage blind spots

cdgplay

Standalone cdg player

cecanyway

A small tool to help control xbmc by cec.

cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

complexityposter

A poster for many well known complexity classes

coquille

Interactive theorem proving with Coq in vim.

dbraas

"Du bist raus." as a service

evory

gbemu

Personal Gameboy emulation Project

hcp

Hauer Chat Protocol

hsbf

Rather fast Brainfuck interpreter in haskell

hsddppxp

The DDPPXP protocol implemented in haskell

hsio_vortrag

haskell IO monaden Vortrag

hstwitt

interactive-typechecker

An interactive web application for learning the fundamental concepts of type inference.

ip2klingon

Converts IPv4 adresses to klingon.

jellyfin-web

Web Interface for Jellyfin

karlyriceditor

lyrics editor and CD+G/video exporter for Karaoke

lambda

A simple lambda calculus interpreter

latex-exsheetans

A LaTeX documentclass for submissions for exercise sheets

latex_beamer_tu

libctl

A C++ library to evaluate Computational Tree Logic formulas

lpp-3ds

Lua Player Plus for 3DS

lyricsync

matrix-corporal-policy-ldap

Generate policy for matrix corporal from ldap

mkspellbook

Generate and organize Spellbooks for d20 based role playing games. Includes a script to import spells from dndtools.eu