Beast code in Giters

Aki Hideaki Kawai's repositories

tree-sitter-idris

Language:CMIT6 2 3

xcrysden-nix

Language:Nix2 20

qst-tfp

Language:Mathematica1 20

api-takeover

Language:HaskellBSD-3-Clause030

aqo-ligo

Language:Nix020

chotto-jigsaw

Language:Ruby030

chottomir

Language:Ruby030

dft-hands-on

Language:PostScript020

direnv

unclutter your .profile

Language:GoMIT020

dotfiles

Language:Common Lisp030

exercism-rust

Language:Rust000

from-fp-to-fv

Language:Nix000

higaidar

Language:PureScript030

idris2-algebra

Lawful algebraic structures in Idris2

BSD-3-Clause000

idris2-forth

Language:Idris030

idris2-lsp-nix

Language:Nix020

kanji-oboe

Language:HTML020

katla

Language:IdrisNOASSERTION000

kikitool

Language:Ruby030

marp-cli-example

Language:JavaScriptWTFPL020

maruoboe

Language:Shell000

modeldb-zang2021

Multiplexed coding in Purkinje neuron dendrites (Zang and De Schutter 2021)

Language:NMODL000

nixpkgs

Nix Packages collection

Language:NixMIT000

purescript-faker

Language:PureScript030

qiskit-textbook

Language:Jupyter Notebook000

qst-sandbox

Language:Python020

qst-tfm-dfs

Language:Shell020

qutip-qtrl

The QuTiP quantum optimal control package

Language:PythonBSD-3-Clause000

solobania

Language:PureScript020

timecard_kun

Language:Ruby030