Parsa Amini's repositories
AIT
Algorithmic Information Theory, using Binary Lambda Calculus
000
CC0-1.0000
CC0-1.0000
bde-tools
Tools for developing and building libraries modeled on BDE
Apache-2.0000
bde_verify
Tool used to format, improve and verify code to BDE guidelines
Apache-2.0000
ClassicComputerScienceProblemsInPython
Source Code for the Book Classic Computer Science Problems in Python
Language:PythonApache-2.0000
Language:Cuda000
full_octree_id
Moved to https://github.com/STEllAR-GROUP/octotiger/tree/master/tools/octree-extend
Language:C++000
Language:Jupyter Notebook000
Language:TeXCC0-1.0000
Language:C++000
optview2
User-oriented fork of LLVM's opt-viewer
000
Language:HTML000
PowerTiger
Build chain to build octotiger on x86 and ppc64le
Language:ShellMIT000
Language:Shell000
Language:Python000
stabilizer
Stabilizer: Rigorous Performance Evaluation
Language:PrologApache-2.0000