Linux shell powered by Lua scripting
☆32Mar 3, 2026Updated 7 months ago
Alternatives and similar repositories for lush
Users that are interested in lush 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 game engine editor for the Quake engine designed to modernize and streamline the development process for mods and games.☆56Oct 11, 2025Updated last year
- A recreation of the original DOOM game written in C++ using raylib.☆13Apr 29, 2024Updated 2 years ago
- Modified Model U, USB-C Breakout Board☆15Jan 16, 2023Updated 3 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- Probabilistic music composition in Idris2☆16Dec 23, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A table library for Idris 2☆16Oct 25, 2022Updated 3 years ago
- A site for publishing Lua packages. Fast, reliable, secure.☆27Updated this week
- A template for idris projects☆11Jun 27, 2021Updated 5 years ago
- FFTVis a simple music player with a bar visualization. Full commented source code.☆11Feb 28, 2016Updated 10 years ago
- SDL2 Bindings for the Idris programming language☆10Feb 26, 2020Updated 6 years ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- Level Viewer for levels in the .BSP format famously used by Quake. Powered by http://raylib.com☆27Nov 24, 2025Updated 10 months ago
- TaPL implementation bits in Idris2☆17Feb 27, 2022Updated 4 years ago
- A LOVE2D shader and lua module to sample classic Perlin and simplex noise☆10Aug 25, 2017Updated 9 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.
- ☆18Sep 19, 2026Updated 3 weeks ago
- ☆14Apr 9, 2017Updated 9 years ago
- Instant feature rich terminal image viewer☆12Apr 4, 2024Updated 2 years ago
- Libgit2 bindings for Idris 2☆13Sep 10, 2020Updated 6 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 9 years ago
- Imperial44 is a compact mechanical keyboard with three thumb keys on each half and the ability to install encoders on either half☆12May 19, 2026Updated 4 months ago
- Formally verified JSON parser☆15Sep 27, 2017Updated 9 years ago
- Haskell pattern match analsyis checker☆15Mar 26, 2015Updated 11 years ago
- Light and fast SDLang parser/generator☆20Oct 15, 2025Updated 11 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- This repository contains deprecated / legacy Unixfs "V2" discussions.☆22Apr 7, 2020Updated 6 years ago
- A Quake engine source port based on Quakespasm, intended for standalone game development.☆31Sep 26, 2020Updated 6 years ago
- A build system.☆14Sep 23, 2026Updated 3 weeks ago
- FireRTC Caller ID Changer allows you to easily change your Caller ID in the free online phone software "FireRTC".☆16Sep 9, 2017Updated 9 years ago
- Static & dynamic D bindings to bgfx, compatible with BetterC, @nogc, and nothrow.☆13Oct 10, 2025Updated last year
- Layouts profiles for XFCE4 (4.16).☆31Aug 30, 2021Updated 5 years ago
- A partial implementation of Protocol Buffers in Idris☆32Aug 12, 2017Updated 9 years ago
- Synthesize Verilog to Minecraft redstone☆23Nov 9, 2024Updated last year
- Harmonize with coworkers around GitHub reviewing.☆25Oct 8, 2026Updated last week
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- official unezQuake source code☆33Updated this week
- Spearmint Quake 3 and Team Arena game code.☆42Apr 7, 2026Updated 6 months ago
- A Haskell monad transformer library for data validation☆38Aug 17, 2023Updated 3 years ago
- 🚀 A simple platform and shell agnostic installer and version manager for Go.☆11Jan 4, 2025Updated last year
- A modified call flooder to disrupt IRS, Vacation, and Tech support scammers.☆11Sep 21, 2017Updated 9 years ago
- A web-based gaming monitor for Red Eclipse☆12Apr 17, 2024Updated 2 years ago
- Easy to register tab completions with data structures. Easy to customize.☆11Sep 13, 2025Updated last year