Utility for Aurora 4X players that run with Linux
☆23Aug 6, 2020Updated 6 years ago
Alternatives and similar repositories for aurora_linux
Users that are interested in aurora_linux are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Fan work recreation of Aurora4x in C#☆178Updated this week
- Wrenegade is a toolkit for developing backends for embedded Wren based projects.☆18Aug 1, 2019Updated 7 years ago
- A tool that generates a data structure from a schema and some relational queries, using modern database techniques to make queries highly…☆10Jul 25, 2021Updated 5 years ago
- Integrates Astroneer mods based on any metadata.json file found in their pak.☆10Apr 16, 2022Updated 4 years ago
- A minor mode to edit TikZ pictures with Emacs☆11May 26, 2022Updated 4 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.
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- An example for a blogpost about gluing Terraform and Nix flakes together☆21Dec 7, 2022Updated 3 years ago
- An extreme condensation of the tutorial for Haskell's Servant (web server and client) library☆11Feb 2, 2018Updated 8 years ago
- A simple library for defining ADTs☆15Oct 10, 2023Updated 2 years ago
- Metin2 Resource Dumper/Extractor Tool. Dump 100% of the resources from almost any Metin2 Client☆16Dec 24, 2021Updated 4 years ago
- url shortener☆10Dec 3, 2019Updated 6 years ago
- ☆15Mar 30, 2018Updated 8 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- A Cataclysm DDA mod that makes helicopters fully craftable\modifiable.☆10Aug 7, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Главный репозиторий сайта lesswrong.ru☆15Nov 7, 2019Updated 6 years ago
- Simplified logic programming language for Unity3D☆11Sep 6, 2020Updated 5 years ago
- QuickCheck extension for higher-order properties☆19Feb 14, 2022Updated 4 years ago
- Modern org mode editor, for iOS, android & Mac OS☆15Jun 14, 2025Updated last year
- GraphQL Schema generation in Haskell☆17Mar 27, 2020Updated 6 years ago
- ☆15Updated this week
- Haskell Profunctor Optics experiments☆17Sep 23, 2021Updated 4 years ago
- Script and autoload that automatically attaches sounds to buttons, tab bars, sliders, and line edits.☆12Updated this week
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 6 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.
- A nix flake that provides various fonts that aren't in nixpkgs.☆18Jul 16, 2023Updated 3 years ago
- Java based gameboy emulator☆10Jul 21, 2013Updated 13 years ago
- Rules to contribute: Do NOT edit icons/mob/items_lefthand and items_righthand. If you have in-hands you need to add, do so in the icons/m…☆16Nov 29, 2014Updated 11 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated 2 years ago
- egui integration for Tetra.☆17Mar 18, 2023Updated 3 years ago
- Automatically exported from code.google.com/p/df-soundsense☆14Jan 3, 2018Updated 8 years ago
- ☆21Nov 3, 2024Updated last year
- ☆13Dec 1, 2015Updated 10 years ago
- Vessel Viewer plugin for KSP☆17Apr 29, 2016Updated 10 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.
- Automatically exported from code.google.com/p/libjcsi☆17Jan 22, 2022Updated 4 years ago
- There are many category theory implementations, but this one is mine☆16Aug 22, 2024Updated last year
- the global haskell instance repository☆16Feb 5, 2019Updated 7 years ago
- NixOS for Turris Omnia router☆13Mar 3, 2021Updated 5 years ago
- Python bindings for xor and fuse filters (faster and smaller than bloom and cuckoo filters)☆15Aug 31, 2025Updated 11 months ago
- Algebraic Structures in OCaml Structs☆16Dec 15, 2022Updated 3 years ago
- Ultravisor is a scalable, cloud-native Postgres connection pooler☆16Updated this week