A warp drive mod for minecraft
☆19Oct 24, 2015Updated 10 years ago
Alternatives and similar repositories for WarpDrive
Users that are interested in WarpDrive are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Latest version of 4Space that adds new planets to Galacticraft.☆11Jun 25, 2018Updated 8 years ago
- (the first half of) an ML compiler☆10Sep 6, 2014Updated 11 years ago
- Archimedes' Ships Minecraft mod☆50Aug 31, 2021Updated 5 years ago
- Frege interface to Android☆15Sep 16, 2015Updated 10 years ago
- An experimental typing of Lojban grammar, in Haskell☆13Jun 20, 2013Updated 13 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- SCUT 本科毕业论文 Word 格式化模板☆10May 12, 2015Updated 11 years ago
- DaftPVF's Treecapitator mod for Minecraft. Chops down trees in a single blow. Requires bspkrsCore.☆43Feb 17, 2016Updated 10 years ago
- Proclaim and encourage a stress-free environment in your open source project.☆12Aug 20, 2016Updated 10 years ago
- Voxel based game engine written in D2 programming language.☆13Jun 4, 2014Updated 12 years ago
- A mod for minetest that adds villagers performing work☆13Jan 1, 2024Updated 2 years ago
- minetest blockexchange mod☆19Jun 19, 2026Updated 2 months ago
- a federated social network☆16Apr 8, 2018Updated 8 years ago
- Voxlap binding for Rust☆12Jul 27, 2020Updated 6 years ago
- Levenshtein edit distance, packaged for ATS☆12Apr 11, 2022Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- MOVED TO https://github.com/L-Leite/cso2-master-server . A web frontend to handle users for a CSO2 master server☆10Dec 12, 2022Updated 3 years ago
- A GTA V trainer made to enhance the FiveM (a GTA V multiplayer modification) experience☆20Dec 17, 2015Updated 10 years ago
- Haskell implementation of interaction net-based lambda evaluation☆21Jun 24, 2016Updated 10 years ago
- ☆10Dec 9, 2015Updated 10 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 14 years ago
- Iron Chests for Fabric Mod Loader☆13Jun 18, 2026Updated 2 months ago
- Garry's Mod main menu rewritten in Lua☆10May 16, 2023Updated 3 years ago
- Attempt to automate Cyrillic calligraphy called Vyaz☆13Apr 14, 2024Updated 2 years ago
- GRIN Haskell backend stripped out from JHC. (GRIN from scratch: https://github.com/grin-tech/grin)☆16Dec 13, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- There is nothing technologically advanced about FermiumBooter.☆12Aug 15, 2026Updated 2 weeks ago
- Quark - the editor the world doesn't need☆16Jan 8, 2024Updated 2 years ago
- Through crafting, to the stars☆18Apr 18, 2021Updated 5 years ago
- A Minetest mod providing computer nodes that can function on their own or work as a network.☆12Jun 30, 2019Updated 7 years ago
- Porting from Darcs for collecting issues and other informations. Based on frag-1.1.2b.tar-0001.gz .☆13Feb 2, 2017Updated 9 years ago
- 2D ship-to-ship combat☆13Jun 16, 2016Updated 10 years ago
- dtanks☆12Jan 28, 2016Updated 10 years ago
- Haskell Library to Parse MS Excel (.xls format)☆16Sep 12, 2024Updated last year
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆18Jul 1, 2026Updated 2 months ago
- Interpolate plugin for GHC 8.10.7☆13Apr 15, 2022Updated 4 years ago
- An UnOfficial Version Of TerraFirmaRescue☆17Jul 12, 2026Updated last month
- jellyfish is helping yes☆20Aug 10, 2014Updated 12 years ago
- Issue tracked and localization repo for the MInecraft mod Mystcraft☆31Jun 21, 2019Updated 7 years ago
- A gamemode for Garry's Mod where players create complicated factories!☆17Apr 16, 2024Updated 2 years ago
- Minecraft mod intended as an example for teaching☆30Apr 21, 2018Updated 8 years ago