Forked from sysu-software/BiArkit
BiArkit is a versatile toolkit that integrates different modules together and helps researchers approach information on synthetic biology. The first function is GenomeBrowser, which visualizes the …
Forked from Reggino/jsc64
Forked from BobbyS/Emulator
A MIPS Emulator written in Java for a school project
Scanning Tunneling Microscope
Forked from psygnisfive/InversionCalculus
A simply typed lambda calculus solver for Agda, based on Pfenning's Inversion Calculus.