Theoretical Next Gen™ automation for Haskell.org (DO NOT USE)
☆20Nov 26, 2021Updated 4 years ago
Alternatives and similar repositories for auron
Users that are interested in auron are comparing it to the libraries listed below
Sorting:
- Ruby Regular Expression Helper Gem☆17Oct 30, 2016Updated 9 years ago
- System F implemented in Haskell☆24Mar 15, 2012Updated 13 years ago
- Monadic Constraint Programming framework☆28May 9, 2018Updated 7 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- Modularized configuration for a NixOS system☆42Dec 19, 2018Updated 7 years ago
- wpa supplicant control interface wrapper for rust☆10May 10, 2025Updated 9 months ago
- rv6 is a kernel & operating system written entirely in rust.☆11Nov 7, 2019Updated 6 years ago
- Scripts to build ManageIQ appliances☆10Jan 13, 2026Updated last month
- an extremely tight lint config supporting TypeScript, React, Jest, and Ramda.☆10Jul 27, 2023Updated 2 years ago
- A long list of piracy and warez links!☆12Jun 28, 2019Updated 6 years ago
- A numerical orbital propagator written in Python.☆10Sep 25, 2021Updated 4 years ago
- ☆40Oct 18, 2024Updated last year
- A small Lisp implementation in Go☆10Jan 27, 2022Updated 4 years ago
- Eza's Menu Editor☆13Oct 12, 2020Updated 5 years ago
- SecrutiyTube Linux Assembly Exam☆11Dec 30, 2019Updated 6 years ago
- Mirror of svn://svn.sv.gnu.org/sysvinit/sysvinit/trunk☆14Dec 30, 2015Updated 10 years ago
- Higher-order Masking of AES-128 based on the Rivain and Prouff method, CPRR method and Common Shares with Random Reduction method.☆14May 13, 2017Updated 8 years ago
- Life is too short for bullshit jobs. Wisely invest the 2,000 hours a year you spend at work. Use StartupIntel to discover tech startups t…☆10Jul 22, 2023Updated 2 years ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- negamax AI algorithm for turn-based games☆13Oct 6, 2019Updated 6 years ago
- Clion + OpenOCD + My Plugin + STM32F4-Discovery example☆10Jul 5, 2018Updated 7 years ago
- NixOS and friends☆12Updated this week
- A programming language focused on concurrency and low memory usage☆12Apr 29, 2019Updated 6 years ago
- Publishing geospatial vector data online☆10Feb 23, 2026Updated last week
- Snooze - Log aggregation and alerting☆10Sep 19, 2025Updated 5 months ago
- [Discontinued] Light themes for Rofi (run dialog, dmenu replacement)☆10Jan 8, 2022Updated 4 years ago
- $HOME — neovim, literate vanilla emacs and doom emacs, fish, tmux, and others☆18Sep 19, 2025Updated 5 months ago
- ☆14Nov 23, 2016Updated 9 years ago
- Server Mission Files for Pripyat☆13Feb 15, 2024Updated 2 years ago
- NixOS configurations☆17Dec 7, 2015Updated 10 years ago
- ECSS Services for UPSat☆12Dec 17, 2018Updated 7 years ago
- Remake DarkColony (1997) on OpenRA platform☆13Mar 23, 2022Updated 3 years ago
- Introduction to Internet of Things Platforms☆12Sep 1, 2021Updated 4 years ago
- ☆10Jan 18, 2019Updated 7 years ago
- ☆23Nov 17, 2025Updated 3 months ago
- 🐦 spideog - Command line utility for Kraken2 reports.☆11Nov 30, 2020Updated 5 years ago
- CDF FAQ☆12Aug 16, 2022Updated 3 years ago
- ☆17May 8, 2014Updated 11 years ago
- A formalisation of Pure Type Systems☆10Dec 7, 2019Updated 6 years ago