miu

There are 9 repositories under miu topic.

gihanmarasingha/miu_language
A decision procedure for the formal system MIU, written in Lean 3.18.4
Language:Lean8 1 00
AugustArchive/miu
Different components (dependencies) that Maika uses.
Language:JavaScript2 2 0
saifcse06/java-problem-solution
Java Problem And Solution
Language:Java2 2 00
siam-biswas/miu-fpp-pretest
Preparation KIT for Maharishi International University FPP pretest exam
Language:Java2 2 01
sainturb/miu-wap_labs
Education purpose for CS472 (WAP - Web Application Programming) at MIU
Language:HTML1 1 00
Simon-Norris/MIU-Questions-Practice
Solution of Questions for compro.miu.edu
Language:Java1 1 00
Deviloxide/MIU-System
An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid
Language:Java0 1 00
sahedbs23/miu-t-tests
MIU Technical Test
Language:Java1 0
saifcse06/java-OOP-example
Java OOPs Concepts
Language:Java