hacks, a python plugin library that doesn't play by the rules
☆18Jan 27, 2017Updated 9 years ago
Alternatives and similar repositories for hacks
Users that are interested in hacks are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- Workshop on Program Transformations☆26Aug 12, 2023Updated 2 years ago
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Authenticated Data Structures☆16Jul 5, 2015Updated 11 years ago
- ☆17Apr 4, 2024Updated 2 years ago
- strictly is a declarative programming language for interactive web-components☆10Dec 2, 2023Updated 2 years ago
- A Haskell roguelike toolkit☆12Jul 10, 2025Updated 11 months ago
- A functional scripting language.☆17Jan 18, 2025Updated last year
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- Cooperative first-person roguelike dungeon crawler where spells are programs☆18Feb 17, 2024Updated 2 years ago
- A Python library for handling configuration files.☆42May 5, 2024Updated 2 years ago
- ☆15Nov 19, 2025Updated 7 months 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.
- ☆23May 25, 2025Updated last year
- An eDSL for MirageOS apps☆20Jul 30, 2018Updated 7 years ago
- Stack-based esoteric programming language☆18Jan 31, 2025Updated last year
- A monadic approach to static analysis following the methodology of AAM☆18Oct 31, 2015Updated 10 years ago
- A mod that does extremely sketchy stuff to gain a large performance boost, mostly using memory☆12Jun 22, 2024Updated 2 years ago
- Haskell embedded domain-specific language (eDSL) for the algorithmic construction of maps for the computer game "Doom"☆15Jan 26, 2021Updated 5 years ago
- A discord theme which makes the guild and user sidebars collapsible☆14Jan 25, 2026Updated 5 months ago
- A collection of macros for Hy☆10Feb 5, 2015Updated 11 years ago
- Lightweight, Open Source & Keyless lua level 8 executor☆10Mar 7, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Apron: Classic Modding APIs on Babric☆16Mar 12, 2026Updated 3 months ago
- A simple library I wrote to allow me to quickly and easily construct command line interfaces.☆29Feb 25, 2026Updated 4 months ago
- Martin-Löf Extensible Specification and Simulator☆29Jul 1, 2015Updated 11 years ago
- ☆18Jun 17, 2013Updated 13 years ago
- External Homebrew command and repo for TextMate bundles☆14Feb 4, 2018Updated 8 years ago
- A hobby implementation of an ncurses binding for Idris 2☆17Dec 9, 2024Updated last year
- Better taskbar (Minecraft MOD)☆14Jan 6, 2024Updated 2 years ago
- ☆10Apr 15, 2017Updated 9 years ago
- A [ functional stack ] based language.☆30Oct 30, 2023Updated 2 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.
- ☆17Jul 31, 2024Updated last year
- A modern Haskell debugger☆31May 1, 2025Updated last year
- TOML v0.4.0 parser and encoder☆12Oct 23, 2019Updated 6 years ago
- A coremod that hacks Minecraft to use LWJGL3☆17Aug 10, 2022Updated 3 years ago
- neovim python plugin framework☆13Aug 31, 2020Updated 5 years ago
- Immersive UX is for Windows 11 and allows enabling DWM features on Win32 apps and much more.☆37Mar 31, 2026Updated 3 months ago
- Discord Addon | v1.0.1 | by CorellanStoma☆12Nov 9, 2023Updated 2 years ago