langfield Goto Github PK

a2_wortliste_goethe

A2 Wortliste Goethe (vocab, sentences, audio, translation)

aa

affine

A series of affine transformations for playing around with lexical embeddings.

alacritty

A cross-platform, OpenGL terminal emulator.

amm

Formal verification of an automated market maker.

anking-v11

AnKing Overhaul Step 1/Step 2 Version 11 Update

asta

Shape annotations for numpy arrays and pytorch/tensorflow tensors.

automated-emissions-reduction

It's a lovely day in the village and you are a horrible fridge.

awodey

Incomplete notes on Awodey's Category Theory.

bees

Evolutionary methods for learning PPO reward functions in a multi-agent setting.

browser-batch-remove-formatting

cheat.lean

A field guide to the operators and keywords of the Lean 4 functional programming language.

cider

A tiny utility for UDP NAT traversal built on top of libjuice.

coq

Notes on coq.

corne-nice-view-nano-v2-zmk-config

display-single-note-in-browser

diurnal

An unadorned flutter application for reading/writing schedule data from google sheets.

embedding-encoder

Autoencoder to compress distance matrices of pretrained embedding files.

erlang

problems in erlang.

fdg

fn.py

Missing features of fp in Python -- active fork of kachayev/fn.py

fpil

Solutions to exercises from David Thrane Christiansen's Functional Programming in Lean.

git-playground

A playground for Git experiments.

gitlabtex

glacier

A time-delay lock for *nix read/write/execute permissions.

gsse-anki

Collaborative Anki deck for the General Surgical Sciences Exam

hask

haskell problems

haskell-stack-trace-plugin

hermitian

Utilities for computing expansions of group-invariant Hermitian-symmetric polynomials.

instantnll

An 'instant natural language learner' demonstrating the power of classical word embeddings alone with no training on a simplified NER task.