Aki Hideaki Kawai's repositories
mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
Language:HTMLApache-2.0000
Language:Shell000
Language:Common Lisp000
qutip-qtrl
The QuTiP quantum optimal control package
BSD-3-Clause000
modeldb-zang2021
Multiplexed coding in Purkinje neuron dendrites (Zang and De Schutter 2021)
Language:NMODL000
NOASSERTION000
idris2-algebra
Lawful algebraic structures in Idris2
BSD-3-Clause000
Language:Rust000
Language:PureScript000
Language:HTML000
Language:Shell000
nixpkgs
Nix Packages collection
Language:NixMIT000
Language:Jupyter Notebook000
Language:JavaScriptWTFPL000
Language:Nix000
Language:Idris000
Language:Ruby000
Language:PostScript000
Language:Nix000
Language:PureScript000
Language:HaskellBSD-3-Clause000
direnv
unclutter your .profile
Language:GoMIT000
Language:Python000
Language:Nix000
Language:PureScript000
Language:Ruby000
Language:Ruby000