H&H client
☆52Aug 7, 2020Updated 6 years ago
Alternatives and similar repositories for amber
Users that are interested in amber are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GammaMOO source☆17Jan 16, 2012Updated 14 years ago
- Binary Decision Diagrams in Lean 4☆14Jul 26, 2026Updated 3 months ago
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- ☆10Apr 10, 2026Updated 6 months ago
- Ansible role to deploy burp2 server☆10Nov 20, 2024Updated last year
- 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.
- Type theories as quotient inductive-inductive-recursive types☆11Dec 17, 2025Updated 10 months ago
- Improved port of SMSPlus-GX by gameblabla for libretro☆13Sep 4, 2026Updated 2 months ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆23Updated this week
- ☆11Oct 26, 2023Updated 3 years ago
- A C library to play XM (and MOD) modules on Nintendo DS using only ARM7 resources☆17Jul 31, 2024Updated 2 years ago
- Yet another backup tool☆13Dec 9, 2014Updated 11 years ago
- Microsoft Office 365/2019/2016 for Mac Flight Reset Tool☆17Mar 8, 2019Updated 7 years ago
- A still-nascent, GPL-licensed, modular, "Unix way" game engine.☆10May 17, 2023Updated 3 years ago
- trinary.dart☆16Mar 27, 2015Updated 11 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.
- An example for using the Nintendo 3DS camera with ctrulib (high framerate and fast drawing, 60 times per second).☆13Nov 12, 2015Updated 10 years ago
- Minimal C++ spec framework☆12Feb 5, 2010Updated 16 years ago
- CMake script for creating/running Android APK☆12Dec 30, 2017Updated 8 years ago
- Embedded real-time operating system for the Nintendo DS☆11Aug 28, 2010Updated 16 years ago
- Simple (well, gettin' more complex) Raycaster to learn Zig☆13Nov 14, 2024Updated last year
- Formalization of the Rupert Problem for convex polyhedra.☆21Oct 13, 2026Updated 3 weeks ago
- Simple projects that demonstrate kweb's capabilities 🦆☆12Aug 2, 2021Updated 5 years ago
- clork text adventure code from the London Clojure Dojo☆12Oct 30, 2011Updated 15 years ago
- download your whole humblebundle.com library☆10Jul 4, 2016Updated 10 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An extension of the NbE algorithm to produce computational traces☆22May 5, 2022Updated 4 years ago
- ☆11Mar 6, 2014Updated 12 years ago
- A simple app to test your typing speed.☆12Nov 7, 2015Updated 10 years ago
- A translation framework for eliminating definitional equalities in Lean☆17Jun 17, 2026Updated 4 months ago
- The OpenRA Book for players, modders / game makers, and developers alike!☆22Feb 16, 2022Updated 4 years ago
- Spring MVC Integration with Spring Security's @PreAuthorize Annotation☆13Dec 7, 2012Updated 13 years ago
- Zombunity MUD: A distributed, message processing framework consisting of a message server, database http server and web client.☆12Jul 30, 2013Updated 13 years ago
- A patch for Tony Hawk's Underground 2 on PC that provides bug fixes and compatibility for modern PCs and controllers☆14Jun 6, 2026Updated 5 months ago
- Browser-based 3D hexagonal tile editor built with Three.js☆17Apr 5, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆28May 23, 2022Updated 4 years ago
- The result of running through https://machengine.org/core/getting-started☆16Jun 2, 2024Updated 2 years ago
- ☆12Jul 29, 2018Updated 8 years ago
- Rewrite of old SetConstellation Plugin, allows for turning individual constellation on/off☆11Sep 23, 2023Updated 3 years ago
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 9 months ago
- Module for interfacing React components with Angular applications☆10May 24, 2017Updated 9 years ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆21Apr 29, 2024Updated 2 years ago