Aida Torajiro's repositories
gov-takedowns
Text of government takedown notices as received. GitHub does not endorse or adopt any assertion contained in the following notices.
000
Language:JavaScriptWTFPL000
RDWP-dist
dist files for RDWP
Language:JavaScript000
ghcjs
Haskell to JavaScript compiler, based on GHC
Language:HaskellMIT000
Language:C++LGPL-3.0000
does_nothing
does_nothing : A library that does nothing
Language:JavaScript000
Language:Python000
Language:Python000
syscall-asobi
Calling native syscalls inside Wine
Language:Assembly000
elelib
fun library for electrum. have fun!
Language:PythonMIT000
sakusaku
sakusaku sakubunnnn
Language:JavaScript000
WorksOfProof
My works of mathematical proof using functional languages
Language:Coq000
Language:Python000
Language:Python000
elonafoobar
One of the Elona variants
Language:C++MIT000
Language:Python000
ipynb-docs
My studies on mathematics, science, etc. Origami is a lot of fun!
Language:Jupyter Notebook000
Language:Haskell000
wakame
wakame mitaini fueruyo
Language:RustUnlicense000
blockchain-haskell
A blockchain library for haskell.
eth-block-expl
Ethereum storage DHT explorer.
Language:HTML000
Language:Ruby000
poac.pm
API server and Web server for poac.pm
Language:ElixirApache-2.0000
HomomorphicPayment
homomorphic payment contract & frontend in Ethereum
Language:JavaScript000