Changlin Li's repositories
neural-nets-from-scratch
Exercises for implementing MLPs from scratch directed at people who have never used PyTorch before.
Language:HTML000
changlinli
Self repo
Language:Jupyter Notebook000
Language:Jupyter Notebook000
Language:ElmMIT000
Language:HaskellBSD-3-Clause000
elm-serialize
Write codecs for encoding and decoding Elm data.
Language:ElmMIT000
elm-state-interface
define an app in a simple, safe and declarative way
Language:ElmMIT000
game_of_life_recurse_pairing
recurse center pairing activity
Language:Python000
ibus-table-chinese
Chinese tables for IBus-Table
Language:PythonGPL-3.0000
Language:Nix000
Language:Python000
Language:Python000
rome
Locating and editing factual associations in GPT (NeurIPS 2022)
Language:PythonMIT000
Language:JavaScript000
tokaz-examples
Examples of what a hypothetical dependently typed language might look like
000
Language:Rust000
tracr
Fork of Deepmind's tracr RASP compiler
Language:PythonApache-2.0000
Language:Python000
verified-auto-differentiation
Using Coq to prove (single-variable) auto differentiation correct!
Language:Haskell000
zokka-package-website
Fork of package.elm-lang.org
Language:HaskellNOASSERTION000