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:
- C-Style For-Loops for Python☆19Oct 28, 2019Updated 6 years ago
- Imagine a Dependently Typed Python☆10Apr 4, 2025Updated last year
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 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.
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- strictly is a declarative programming language for interactive web-components☆10Dec 2, 2023Updated 2 years ago
- ☆11Oct 27, 2024Updated last year
- Typing Haskell in Haskell☆15Apr 12, 2010Updated 16 years ago
- A Haskell roguelike toolkit☆12Jul 10, 2025Updated 9 months ago
- Minecraft mod connectivity which fixes connection issues☆11Apr 3, 2026Updated 2 weeks ago
- Nix configurations files for corytertel☆14Feb 19, 2025Updated last year
- Violate Nix philosophy, install Python packages mid-session with `from nixpkgs.scipy import scipy`.☆40Aug 22, 2019Updated 6 years ago
- A functional scripting language.☆17Jan 18, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆15Jan 23, 2024Updated 2 years ago
- Optimizing Brainfuck interpreter☆12Dec 30, 2020Updated 5 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 last year
- German enigma machine implemented with pure functional programming☆19Oct 26, 2020Updated 5 years ago
- Shaarli + SingleFile for local archiving of your bookmarks☆13Aug 8, 2023Updated 2 years ago
- sockets for Lean 4☆22Jul 10, 2025Updated 9 months ago
- Simple lambda functions without `lambda x:` prefix and with string conversion capability.☆14Apr 24, 2020Updated 5 years ago
- Toolkit for building prompt templates for language models☆12Sep 30, 2022Updated 3 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.
- Loads OpenSubtitles v2018 dataset without having to load everything into memory at once. Works well with pytorch.☆13Aug 26, 2020Updated 5 years ago
- ☆23May 25, 2025Updated 10 months ago
- 🚀 Python asyncio actor library☆14Aug 16, 2017Updated 8 years ago
- An eDSL for MirageOS apps☆20Jul 30, 2018Updated 7 years ago
- 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 last year
- Prototype for an F# MSIL DSL☆27Oct 24, 2013Updated 12 years ago
- Tools for functors from Hask^k to Hask☆23Aug 25, 2019Updated 6 years ago
- An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.☆21Feb 22, 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.
- A python open-source distributed in-memory cache and database.☆21Jul 30, 2020Updated 5 years ago
- A mod, a mod whose use you know by heart.☆10Jun 29, 2025Updated 9 months ago
- Lightweight, Open Source & Keyless lua level 8 executor☆10Mar 7, 2023Updated 3 years ago
- Apron: Classic Modding APIs on Babric☆16Mar 12, 2026Updated last month
- simple way to change colors☆20May 22, 2020Updated 5 years ago
- Additional set of icons for Gnome's default theme - Adwaita.☆10Oct 9, 2022Updated 3 years ago
- Repository for code, data, and other artifacts for "Minibatch Processing in Spiking Neural Networks"☆14Nov 5, 2019Updated 6 years ago