Pinned Repositories
dgan
A GAN that combats mode collapse by having the discriminator act on multiple instances produced by the generator
elsan
hiddenAI
An archive of a mini machine learning library
lean-proofs
lean4
Proof of concept of IDE goal/type hints for the Lean 4 programming language and theorem prover
mjtool
nutq-darwin
monocurl
A desktop application used for creating math-based videos and slideshows
lean4ij
A Lean4 plugin for the Intellij Platform
ATLAS
enigmurl's Repositories
enigmurl/mjtool
enigmurl/dgan
A GAN that combats mode collapse by having the discriminator act on multiple instances produced by the generator
enigmurl/elsan
enigmurl/hiddenAI
An archive of a mini machine learning library
enigmurl/lean-proofs
enigmurl/lean4
Proof of concept of IDE goal/type hints for the Lean 4 programming language and theorem prover
enigmurl/nutq-darwin
enigmurl/crater-guardians-BROKEN-
enigma
enigmurl/dotfiles
enigmurl/latex
enigmurl/man
enigmurl/nanosvg
Simple stupid SVG parser (with use)
enigmurl/titan-descent-2