m-labs / mtk
The Milkymist GUI toolkit (Genode FX based), because X11 sucks!
☆13Updated 13 years ago
Related projects ⓘ
Alternatives and complementary repositories for mtk
- Pedigree operating system☆89Updated 8 years ago
- Circuit Design Aids -- Schematic editor, netlist conglomerator, static checker, PLD tools and much more!☆8Updated 11 years ago
- gcc+newlib and gcc+glibc toolchains☆18Updated 5 years ago
- FPGA assembler! Create bare-metal FPGA designs without Verilog or VHDL (Not to self: use Lisp next time)☆53Updated 3 years ago
- Portable C Compiler (CVS mirror)☆11Updated 12 years ago
- ☆31Updated 4 months ago
- The CO-PRocessing THReads (COPRTHR) SDK - latest release is v1.6.2 (Freewill)☆94Updated 8 years ago
- Draumr is a 21st century multiprocessing operating system, designed specially for SMP and NUMA.☆10Updated 11 years ago
- NOVA runtime environment (official branch)☆34Updated 3 years ago
- RISC-V emulator☆10Updated 8 years ago
- please use the more up-to-date repo of the original author:☆17Updated 8 years ago
- NOVA userland☆48Updated 10 years ago
- 64-bit MISC Architecture CPU☆10Updated 7 years ago
- A simple, pure C, jit library☆16Updated 8 years ago
- RFC and standards documents relating the 9P protocol (and its extensions and applications)☆76Updated last year
- A quick port of lwIP running on top of BareMetal.☆143Updated 6 years ago
- uefi app/bootloader development sandbox☆15Updated 8 years ago
- resurrected LLVM "C Backend", with improvements☆17Updated 7 years ago
- A kernel with a purpose - to keep most of the code out of the kernel☆14Updated 5 years ago
- System on Chip SPARC V8 using leon3 CPU by Gaisler. C++, vhdl, v files.☆11Updated 12 years ago
- Java virtual machine implementation that converts class files into C source files (HISTORICAL)☆16Updated 9 years ago
- GCC for Epiphany☆16Updated 5 years ago
- Unofficial mirror of freedesktop mesa repository. Updated daily.☆15Updated 3 years ago
- Network Communication Library☆7Updated 9 years ago
- A clang wrapper for musl C library. Pretty hacky, I know.☆34Updated 9 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆45Updated 5 years ago
- A managed platform and language for GPGPU☆32Updated 11 years ago