Christoph Waffler's repositories
Youtube-Downloader
YouTube Downloader zum Downloaden von YouTube Audiodateien
lowperformer-prevention
A Discord bot for university students, providing personalized reminders to prevent missed homework deadlines.
awesome-opshin
A curated collection of examples, learning materials and libraries for OpShin.
Bundeswettbewerb-2019-20-2.Runde
2. Runde des Bundeswettbewerbs Informatik 2019/20
Bundeswettbewerb-2020-21-2.Runde
2. Runde des Bundeswettbewerbs Informatik 2020/21
check24-holiday-challenge
My submission for the Check24 Holiday Challenge
opshin
A simple pythonic programming language for Smart Contracts on Cardano
The-Art-of-Sentiment
KI-Projekt im Rahmen des Bundeswettbewerb "Künstliche Intelligenz" 2020.
diamond-app-frontend
diamond app for deso
drizzle-turso-bug
Minimum Code to reproduce the drizzle-orm bug for Next.js 13
haskell-course
My Homework files for the Haskell Course by IOHK
homebrew-ethereum
Homebrew Tap for Ethereum
nonvanilla_testing
Testing Setup we use for our online store.
opshin-pioneer-program
This repository hosts an opshin/python implementation of the lectures of the Plutus Pioneers Program, a training course for Cardano Smart Contract Engineers.
plutonomy-cli
An extremely simple CLI for well-typed/plutonomy
pycardano
A lightweight Cardano library in Python
SublimeHaskell
A Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.
Superalgos
Free, open-source crypto trading bot, automated bitcoin / cryptocurrency trading software, algorithmic trading bots. Visually design your crypto trading bot, leveraging an integrated charting system, data-mining, backtesting, paper trading, and multi-server crypto bot deployments.
vscode-extension-samples
Sample code illustrating the VS Code extension API.
vscode-python-tools-extension-template
Template for creating VS Code extensions for python tools.
yoroi-frontend
Yoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
youtube_api
This Plugin will help you in fetching data from Youtube. You just need YOUTUBE API KEY.