This is my playground. It's where experiments with new technology happen, benchmarks of different things. Many real projects start their life here.
☆37Oct 1, 2020Updated 5 years ago
Alternatives and similar repositories for random-coding
Users that are interested in random-coding are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆16Apr 4, 2012Updated 14 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- A JavaScript port of Paul Graham's Arc programming language☆20Jul 10, 2008Updated 18 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- ☆10Jul 18, 2026Updated last week
- 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.
- Minimal PID 1 for initramfs☆19Jan 16, 2025Updated last year
- A minimalistic javascript library that prefers performance and brevity over convenience or ease-of-use.☆38Dec 13, 2011Updated 14 years ago
- A simple optics library based on existential encoding☆14Apr 28, 2022Updated 4 years ago
- SubtleLocationProxy will proxy the location of one frame to the hash of another and vice-versa. It's handy for sites that simply wrap a…☆14Sep 27, 2011Updated 14 years ago
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- My branch of the Cyclone programming language☆19Jul 8, 2011Updated 15 years ago
- How to implement free transforms in Ember. Check out the branches for the various stages.☆10Mar 2, 2015Updated 11 years ago
- My customized version of tmux, built with Nix.☆16Nov 6, 2025Updated 8 months 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.
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- Dependencies for Nvim CI☆17Updated this week
- A normalization pattern to build, query, and manipulate everything.☆16Sep 23, 2017Updated 8 years ago
- Load in One☆41Dec 23, 2010Updated 15 years ago
- Lisp oozes like molten rock☆15Aug 18, 2014Updated 11 years ago
- Vim extensions for Jekyll 2+ sites☆10Mar 26, 2021Updated 5 years ago
- ☆13Dec 7, 2024Updated last year
- Juicy Language Compiler☆11Oct 8, 2017Updated 8 years ago
- Node RSS EventEmitter☆14Feb 12, 2012Updated 14 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.
- Buffalo token-based-authentication middleware☆13Feb 15, 2023Updated 3 years ago
- Calculating and filling the Canadian income tax forms☆18Apr 12, 2026Updated 3 months ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- git-annex repo of papers☆14Jun 11, 2016Updated 10 years ago
- A library for creating a JavaScript namespace.☆10Jan 26, 2012Updated 14 years ago
- Internet Explorer version detector☆20Mar 14, 2015Updated 11 years ago
- Tiny library to make optimized regexes for a specific set of texts☆19Sep 21, 2011Updated 14 years ago
- Fork of flaxcode htmltotext module☆13Jul 30, 2011Updated 14 years ago
- ☆24Feb 15, 2013Updated 13 years ago
- 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.
- jQuery plugin that allows objects to be dragged between discrete containers ... via wormholes!☆31Feb 9, 2013Updated 13 years ago
- This allows commits and pull requests to be imported to Discourse as topics and reviewed☆18Jul 14, 2026Updated last week
- [DEPRECATED], now lives at https://github.com/neovim/doc☆24Sep 19, 2021Updated 4 years ago
- A Nix flake providing a Datomic Pro package and NixOS module☆21Jul 16, 2026Updated last week
- Write HTML with JavaScript using Less Mark-up☆12Jul 1, 2013Updated 13 years ago
- Atom/Electron Application for calling PanDoc Converter with Shell Commands on Linux Windows Mac☆18Jun 12, 2021Updated 5 years ago
- A ticking application. The example app for "Rails 4 in Action"☆16Jun 5, 2013Updated 13 years ago