Alex's repositories
congruencer
Test lattice identity holding in lattice of congruences of automaton
Language:Verilog000
kedah-mips-as
Kedah MIPS64 assembler
Language:Perl000
lattice-modularity-test
Program build lattice of congruences of act (automata)
Language:C++000
MIPSFreeRTOS
FreeRTOS port to MIPS64R2 processor
Language:C000
Language:C000