balajirrao/lispyscript
A javascript with Lispy syntax and macros
Developer Profile
balajirrao
Discovered public repositories for balajirrao in the GitHub catalog.
balajirrao/func--
A collection of C++ programs written for practice
balajirrao/symphony
A protoptype distributed message oriented service architecture
balajirrao/agda-feit-higman-theorem
Formalization of Feit Higman Theorem - v 2.0
balajirrao/hask-progs
A collection of haskell programs written for practice
balajirrao/feit-higman-agda
Formalising generalised polygons with an intention to prove Feit-Higman theorem
balajirrao/PyChaitin
Demonstration of Chaitin's incompleteness in Python
balajirrao/qwiz
A PyGTK+ application to manage a question bank and generate question papers
balajirrao/StackPDF
Pull questions out of a StackExchange site and prepare a PDF
balajirrao/qm_progs
Repository of some python programs for simulation of quantum systems