sylphenix / Great-IMD-evoView external linksLinks
☆11Dec 6, 2022Updated 3 years ago
Alternatives and similar repositories for Great-IMD-evo
Users that are interested in Great-IMD-evo are comparing it to the libraries listed below
Sorting:
- ☆15Dec 26, 2022Updated 3 years ago
- Yet another 4DWM/SGI theme for FVWM2 (also works with FVWM3)☆26Mar 17, 2023Updated 2 years ago
- A minimal Adwaita GTK3 theme☆20Apr 7, 2020Updated 5 years ago
- GTK theme based on the appearance of Solaris 11 'Nimbus'☆32Jun 21, 2023Updated 2 years ago
- Simple and clean gtk theme☆61Dec 4, 2020Updated 5 years ago
- Write Interactive Fiction / text adventures with Inform6 for Psion & EPOC32 devices!☆12May 24, 2023Updated 2 years ago
- ☆17Jan 3, 2025Updated last year
- ☆10Jul 20, 2018Updated 7 years ago
- Library for MSP430 processors implemented as C++ templates☆10Dec 11, 2015Updated 10 years ago
- guarded interaction trees☆10Jul 4, 2025Updated 7 months ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- OSMesa source code and cargo build scripts to compile on Linux and Mac☆12Mar 20, 2024Updated last year
- Allows one-click installation of Mac OS 0.x - 9.x software.☆11Apr 24, 2014Updated 11 years ago
- ☆17Dec 23, 2025Updated last month
- Simple drivers and other small software hacks for Tandy 1000 and other old computers.☆13Nov 14, 2022Updated 3 years ago
- File manager for b2g(KaiOS)☆10Nov 16, 2022Updated 3 years ago
- The CYC1000 is the next generation of Arrow’s FPGA IoT/Maker boards based on the latest Intel FPGA family Cyclone 10 LP.☆10Jan 27, 2022Updated 4 years ago
- Create, manage and edit your audio book library from the command line.☆10Oct 20, 2024Updated last year
- Wired Server application for Mac OS X☆14May 12, 2020Updated 5 years ago
- A port of Grafx2 to DOS☆12Apr 3, 2022Updated 3 years ago
- Fork of http://sourceforge.net/p/xfer9860/ because SF is terrible☆10Feb 4, 2022Updated 4 years ago
- A listing of CP/M Floppy Definitions to access CP/M Images☆16Aug 22, 2025Updated 5 months ago
- SAM Coupe for MiST board☆10May 30, 2020Updated 5 years ago
- Firmware source codes for the CRISS CP/M modern single-board 8-bit full-featured personal computer!☆18Mar 1, 2024Updated last year
- A very simple ipfwGUI for FreeBSD☆13Sep 16, 2025Updated 5 months ago
- A dark, compact and minimalistic theme for XFCE desktop ( xfm4 windows-manager ).☆10Jul 4, 2016Updated 9 years ago
- A generic Either type implementation for Rust☆14Jan 4, 2023Updated 3 years ago
- GW-BASIC ASCII Star Trek game based on code from Creative Computing☆11Sep 19, 2024Updated last year
- An enhancement for phpBB that will show users how strong (or weak) their password is as they type it into the password field when creatin…☆11Dec 14, 2025Updated 2 months ago
- Cross Platform - Psion Organiser II Emulator☆10Jun 3, 2023Updated 2 years ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- Mirror of Dr. Bolsen's Java decompiler for BlackBerry apps☆12Apr 20, 2015Updated 10 years ago
- Resource (icon) extraction tools☆12Apr 22, 2024Updated last year
- Information & binaries for Senhor board☆18Updated this week
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- A modified default GNOME/GTK theme with some extras/enhancements/additions.☆31Aug 17, 2020Updated 5 years ago
- Linux port of RISC OS. Please note that the Linux2-rebased is a rebased copy of Linux2 and will be rebased often.☆45Jan 1, 2023Updated 3 years ago
- S3D ToolKit SDK 2.6, for S3 ViRGE.☆14Jun 30, 2017Updated 8 years ago