Beast code in Giters

davidblitz's starred repositories

ben-docs

A user-friendly introduction to the multi-modal BigEarthNet-MM dataset.

Language:Jupyter NotebookMIT5100

Consent-O-Matic

Browser extension that automatically fills out cookie popups based on your preferences

Language:JavaScriptNOASSERTION257700

fawkes

Fawkes, privacy preserving tool against facial recognition systems. More info at https://sandlab.cs.uchicago.edu/fawkes

Language:PythonBSD-3-Clause516700

deltachat-desktop

Email-based instant messaging for Desktop.

Language:TypeScriptGPL-3.089700

ceramist

Verified hash-based AMQ structures in Coq

Language:CoqGPL-3.012200

generalization-experiment

TBA

Language:Python7200

natural_number_game

Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

Language:LeanApache-2.028800

real-number-game

A gamification of the theorems in MATH40002 Analysis 1

Language:LeanApache-2.07700

complex-number-game

The Complex Number Game. Make the complex numbers in Lean.

Language:LeanApache-2.03400

gardenbuilder-backend-python

Django-based REST API

Language:JavaScript600

OpenFarm

A free and open database for farming and gardening knowledge. You can grow anything!

Language:RubyMIT154100

fast-kraskov-mutual-information-estimation

Kraskov mutual information estimation based on approximate nearest neighbours

Language:PythonMIT500

purple-signald

Pidgin libpurple bridge to signald.

Language:CGPL-3.014900

purple-matrix

Libpurple protocol plugin for matrix

Language:CGPL-2.022400

coconut

Simple, elegant, Pythonic functional programming.

Language:PythonApache-2.0401600

lemmy

🐀 A link aggregator and forum for the fediverse

Language:RustAGPL-3.01301100

conjecturing

Adding conjecturing to Sage

Language:C1200

mkernel

A minimalist kernel

Language:CGPL-2.0132800

Tusky

An Android client for the microblogging server Mastodon

Language:KotlinGPL-3.0242200

inventaire

a libre collaborative resource mapper powered by open-knowledge, starting with books! :books:

Language:TypeScript43200

Multiscale-Truchet

Clickable, multicsale truchet tiling generator in javascript

Language:JavaScript1000

telegram-export-converter

Script to convert Telegram .html chat export files to easier to process .csv.

Language:PythonMIT6100

git-quick-stats

▁▅▆▃▅ Git quick statistics is a simple and efficient way to access various statistics in git repository.

Language:ShellMIT623500

learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

Language:AgdaBSD-3-Clause31100

ZeroNet

ZeroNet - Decentralized websites using Bitcoin crypto and BitTorrent network

Language:JavaScriptNOASSERTION1827800

outbreaks

outbreaks: an R package compiling disease outbreak data

Language:RNOASSERTION5000

deep-bottleneck

Repository of the Study Project "Understanding learning in deep neural networks with the help of information theory"

Language:Jupyter NotebookNOASSERTION2400

buku

:bookmark: Personal mini-web in text

Language:PythonGPL-3.0641200

bashmarks

Directory bookmarks for the shell

Language:ShellBSD-3-Clause186700

PyMiniSolvers

A Python API for the MiniSat and MiniCard constraint solvers.

Language:C++NOASSERTION2000