eBlocBroker is a blockchain based autonomous computational resource broker.

A software attempt to address the "double key press" issue on Apple's butterfly keyboard [not actively maintained]

Checker for "morally correct" induction proofs about haskell programs

Haskell API search engine

My solutions for all exercises in "Programming in Haskell" 2nd ed.

Robust Speech Recognition via Large-Scale Weak Supervision

Fundamental Analysis Files, DCF, Valuation and Yahoo Finance web scraping for Analysis Ratings, etc.

This repository is based on the work of Alejandro Rodriguez and myself for the paper

Quant Journey Public Files

Papers from the computer science community to read and discuss.

Exercises/Homework for the course "Functional Programming and Verification" at TUM

Dynatrace API Python client

Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

ASP.NET Core MVC Active Directory / LDAP authentication example

A repository of code samples for Vector search capabilities in Azure AI Search.

Convert PDF to markdown + JSON quickly with high accuracy

The official Python library for the Google Gemini API

Python Client for Copilot (formerly named Bing Chat), also known as Sydney.

Welcome to the Bot Framework samples repository. Here you will find task-focused samples in C#, JavaScript/TypeScript, and Python to help you get started with the Bot Framework SDK!

Python example app from the OpenAI API quickstart tutorial

Cross-platform GUI written in Rust using ADB to debloat non-rooted Android devices. Improve your privacy, the security and battery life of your device.

Countdown timer and stopwatch in your terminal

We write your reusable computer vision tools. 💜

The official Python library for the OpenAI API

Bitcoin Core integration/staging tree

The Azure Optimization Engine is an extensible solution designed to generate optimization recommendations for your Azure environment. See it like a fully customizable Azure Advisor.

Docker Compose Nodejs Express and MySQL example

📊 An infographics generator with 30+ plugins and 300+ options to display stats about your GitHub account and render them as SVG, Markdown, PDF or JSON!

😎 Awesome lists about all kinds of interesting topics