Copy history forward safely and easily
☆26Apr 6, 2012Updated 14 years ago
Alternatives and similar repositories for git-paradox
Users that are interested in git-paradox are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Generate fancy impress.js presentations using markdown.☆23Dec 2, 2014Updated 11 years ago
- Flexible and generic plugin to hook onto sublime's file state events☆20Jul 14, 2012Updated 14 years ago
- ☆27Apr 5, 2012Updated 14 years ago
- Use LSD to VJ live video on the web! Choose video clips and images and blend them together using the mixer controls or the interactive …☆19Jul 26, 2013Updated 13 years ago
- ☆10Mar 13, 2016Updated 10 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.
- simple archlinux installer☆16Jul 4, 2015Updated 11 years ago
- A free and open source dedicated server for Terraria written in Java.☆10Apr 18, 2012Updated 14 years ago
- Track you gym workouts with this localstorage Backbone app☆11Feb 27, 2012Updated 14 years ago
- Tiny sed script for identifying poker hands.☆34May 26, 2012Updated 14 years ago
- A stack-driven generator of arbitrary WebAssembly programs☆22Sep 5, 2021Updated 4 years ago
- Expanded serializers for Gson☆10Nov 3, 2019Updated 6 years ago
- small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2☆19Aug 8, 2015Updated 10 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- Google Cloud Datastore codelab for Google I/O 2013☆16Sep 23, 2015Updated 10 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.
- Proof that Haskell can look and act like an imperative language.☆74Jun 7, 2012Updated 14 years ago
- A Redis-based Django session engine for django.contrib.sessions.☆17May 24, 2016Updated 10 years ago
- Static analysis of a parallel Scheme☆18Jun 3, 2014Updated 12 years ago
- Experimental support for coroutines-based generators in Ada☆13Nov 5, 2022Updated 3 years ago
- Toy compiler for OCaml Meetup☆67Feb 25, 2012Updated 14 years ago
- ☆18Jan 26, 2017Updated 9 years ago
- An editor for interactively building natural deduction proofs☆20Sep 24, 2018Updated 7 years ago
- Offline partial evaluation system for Prolog written using the cogen approach☆21Jul 19, 2016Updated 10 years ago
- see the live version here: https://vicapow.github.com/equation-plot-webgl☆17Dec 16, 2013Updated 12 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.
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- the proxy that breaks all the rules and doesn't ever care.☆16Jun 18, 2012Updated 14 years ago
- GHC patched with the -fcompact-holes flag☆11Nov 12, 2018Updated 7 years ago
- Type operations (checking, dispatch, contracts) for javascript☆15Apr 11, 2012Updated 14 years ago
- Experimental distributed Python packaging.☆16Aug 3, 2011Updated 15 years ago
- Concurrent tasks computation among NodeJS child processes (vertical scaling)☆20Oct 19, 2014Updated 11 years ago
- Regular expressions of types☆16Sep 13, 2018Updated 7 years ago
- ☆11Jun 10, 2026Updated last month
- A brief presentation on Denotational Design, based on Conal Elliott's work☆25Sep 17, 2025Updated 10 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.
- The bitcoin script interpreter (cpp) compiled to webassembly.☆12Aug 26, 2022Updated 3 years ago
- Find your most-used shell commands☆13Dec 14, 2020Updated 5 years ago
- a terminal command to display http statuses☆12Dec 8, 2020Updated 5 years ago
- Home for the WALi weighted automaton library and OpenNWA nested-word automaton library☆17Nov 28, 2018Updated 7 years ago
- Example use of switching between multiple views with an UISegmentedControl☆19Jan 2, 2012Updated 14 years ago
- Version 2 of gofunctional.☆16Aug 23, 2013Updated 12 years ago
- A Debian package which installs the Minecraft client and server.☆18Mar 19, 2019Updated 7 years ago