Discover @langfield Open Source projects

@langfield

langfield

Stars
107
Global Rank 198,084 (Top 7 %)
Followers 20
Following 18
Registered almost 7 years ago
Most used languages

Python
55.6 %

Lean 22.2 %

Shell
11.1 %

Common Lisp
11.1 %

ki

version control for Anki collections

asta

Shape annotations for numpy arrays and pytorch/tensorflow tensors.

AnKing-v11

AnKing Overhaul Step 1/Step 2 Version 11 Update

A2_Wortliste_Goethe

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

spred

An orderbook regression model using OpenAI's GPT implementing: https://arxiv.org/abs/1601.01987

Cheat.lean

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

bees

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

mergesort

Mergesort (and an implicit proof that it terminates) in Lean 4.

nflow

Brutally simple command line program for managing plaintext hierarchical checklists.

hermitian

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

zuzu

A searchable leanprover zulip.