generating mazes in different shapes
☆24Oct 28, 2019Updated 6 years ago
Alternatives and similar repositories for cpp_maze_generation
Users that are interested in cpp_maze_generation are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An interpreted lambda calculus with Algebraic and Recursive Types.☆20Jul 13, 2021Updated 4 years ago
- it's like a blockchain but for collaborative editing of json documents☆40Dec 22, 2019Updated 6 years ago
- GO GO GADGET: VIDEO☆14Apr 5, 2020Updated 6 years ago
- A simple Prolog API for the Z3 constraint solver☆15Feb 5, 2018Updated 8 years ago
- ☆11Jul 22, 2025Updated 9 months 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.
- A library for creating and verifying orthogonal arrays for Monte Carlo sampling☆13Feb 9, 2026Updated 3 months ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 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 4 years ago
- An example for a blogpost about gluing Terraform and Nix flakes together☆21Dec 7, 2022Updated 3 years ago
- A toy implementation of the dependently typed lambda calculus known as λΠ☆12Jan 29, 2020Updated 6 years ago
- ☆11Apr 19, 2019Updated 7 years ago
- Funny little Haskell impl☆18Oct 28, 2020Updated 5 years ago
- the ever-shifting depths of the Underworld are not as once they were...☆17May 7, 2026Updated last week
- Haskell Profunctor Optics experiments☆15Sep 23, 2021Updated 4 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.
- disable the HTML ping attribute☆12Dec 10, 2022Updated 3 years ago
- Async tutorial (my HaskellerZ 2020 talk)☆13Apr 30, 2020Updated 6 years ago
- A nix flake that provides various fonts that aren't in nixpkgs.☆18Jul 16, 2023Updated 2 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated last year
- micro-library to produce a couple of basic, attractive, printable plots with matplotlib☆11Mar 4, 2018Updated 8 years ago
- An index of formal complaint systems☆17Aug 23, 2018Updated 7 years ago
- 🖥💬 A GPT-3 powered tool for (dangerously) asking your computer questions about itself☆13Dec 22, 2022Updated 3 years ago
- ☆10Feb 24, 2026Updated 2 months ago
- Open Source EDK2 GDB Server☆14Jun 19, 2018Updated 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.
- Summit Route End Point Protection - Client code☆16Apr 10, 2016Updated 10 years ago
- Algebraic Structures in OCaml Structs☆16Dec 15, 2022Updated 3 years ago
- Decrypt Mach-O executables using injection☆20May 23, 2019Updated 6 years ago
- A Flask web app for running collaborative playlist parties☆33Mar 11, 2026Updated 2 months ago
- ☆20Nov 26, 2024Updated last year
- UEFI Hypervisor☆21Feb 1, 2016Updated 10 years ago
- lojax_uefi_rootkit_checker☆19Nov 18, 2018Updated 7 years ago
- A tool for OpenTelemetry tracing on the command line☆22Mar 8, 2025Updated last year
- Scan USB host controllers and connections under UEFI☆10Mar 7, 2018Updated 8 years ago
- 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.
- A modified version of the University of Pennsylvania's CIS194☆19Jan 8, 2019Updated 7 years ago
- Implementation of Tetris in C.☆10Apr 5, 2018Updated 8 years ago
- A plugin for the Kitura-Credentials framework that authenticates using HTTP Basic and Digest authentication☆16Nov 27, 2020Updated 5 years ago
- Sampler content for Raspberry Pi Cookbook (9781449365226)☆11Jan 15, 2014Updated 12 years ago
- Skin for XBMC☆20Nov 28, 2012Updated 13 years ago
- A fully type-safe finite state machines☆20Nov 19, 2024Updated last year
- Free categories, free arrows and free categories with monadic actions☆24Mar 4, 2025Updated last year