langfield

Expert
@langfield

"When he spoke the words 'algebraic variety', there was a certain resonance in his voice that said distinctly that he was looking into a secret garden."

ki. version control for Anki collections

115

asta. Shape annotations for numpy arrays and pytorch/tensorflow tensors.

14

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

11

AnKing-v11. AnKing Overhaul Step 1/Step 2 Version 11 Update

7

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

6

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

4

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

3

zuzu. A searchable leanprover zulip.

1

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

1

nflow. Brutally simple command line program for managing plaintext hierarchical checklists.

1

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

1

japanese-core-2000. Japanese Core 2000 Step 01 Listening Sentence Vocab + Images

1
12
Apply