GitHub topics: miu
gihanmarasingha/miu_language
A decision procedure for the formal system MIU, written in Lean 3.18.4
Language: Lean - Size: 123 KB - Last synced at: 6 months ago - Pushed at: over 4 years ago - Stars: 8 - Forks: 0
Simon-Norris/MIU-Questions-Practice
Solution of Questions for compro.miu.edu
Language: Java - Size: 763 KB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
sahedbs23/miu-t-tests
MIU Technical Test
Language: Java - Size: 43.9 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
saifcse06/java-OOP-example
Java OOPs Concepts
Language: Java - Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0
Deviloxide/MIU-System
An automated solver for Hofstadter’s formal system called MIU, from Gödel, Escher, Bach: an Eternal Golden Braid
Language: Java - Size: 21.5 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0
siam-biswas/miu-fpp-pretest
Preparation KIT for Maharishi International University FPP pretest exam
Language: Java - Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 0
sainturb/miu-wap_labs
Education purpose for CS472 (WAP - Web Application Programming) at MIU
Language: HTML - Size: 18.5 MB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0
AugustArchive/miu
Different components (dependencies) that Maika uses.
Language: JavaScript - Size: 37.1 KB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 2 - Forks: 0
