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:
- Foxy CSS Framework☆16Jun 29, 2011Updated 15 years ago
- A FUSE filesystem, written in Haskell, that allows one to mount NAR (Nix archive) files and expose them as a virtual Nix store.☆30Apr 17, 2016Updated 10 years ago
- A demo using html5 canvas to help understand Bézier curves.☆17Jul 19, 2012Updated 13 years ago
- Documentation on the Fantom Lachesis Consensus Algorithm☆10Oct 25, 2018Updated 7 years ago
- ☆12Updated this 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.
- Microsite for the MirageOS hack retreats☆13May 10, 2026Updated last month
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- A dashboard displaying useful data from MirageOS project and its related repositories.☆13Sep 7, 2016Updated 9 years ago
- An arcade game that tests your reflexes! Written in C++ using Ogre3D, Bullet Physics and OpenAL.☆14Apr 29, 2011Updated 15 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago
- A laughably simplistic router for node.js☆48Sep 5, 2014Updated 11 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
- ☆10Jun 24, 2026Updated last week
- A node.js templating language with arbitrary nesting☆12Dec 1, 2021Updated 4 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.
- Turn GHC `-pj` profiling output into FlameGraph format.☆13Mar 2, 2018Updated 8 years ago
- A simple optics library based on existential encoding☆14Apr 28, 2022Updated 4 years ago
- Docker container for an OCaml + OPAM setup☆24Nov 28, 2016Updated 9 years ago
- Burkhard Keller Tree implementation in Ruby☆39Jan 31, 2016Updated 10 years ago
- A JavaScript port of Paul Graham's Arc programming language☆20Jul 10, 2008Updated 17 years ago
- Corsaro is a software suite for performing large-scale analysis of trace data. It was specifically designed to be used with passive trace…☆12Jan 30, 2020Updated 6 years ago
- ☆11May 27, 2017Updated 9 years ago
- A novelty PHP ORM☆62Apr 17, 2017Updated 9 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
- 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.
- NixOS-based USB rescue image☆18Oct 30, 2023Updated 2 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Jan 25, 2015Updated 11 years ago
- Expand Node.js Error.stack traces into usable objects providing context and highlighting☆20Mar 15, 2013Updated 13 years ago
- Sly is a turbocharged, cross-browser, library-agnostic JavaScript class for querying DOM documents using CSS3 selectors.☆112Nov 3, 2012Updated 13 years ago
- An example of how to package Coreboot in Nix☆19May 3, 2021Updated 5 years ago
- A Coq plugin that implements exceptions in Coq☆13Jan 7, 2021Updated 5 years ago
- Yet Anther Library for Node.js to manage background execution☆28Jul 27, 2016Updated 9 years ago
- ☆15Aug 21, 2023Updated 2 years ago
- Programmer Dvorak with dead state☆13Mar 18, 2017Updated 9 years 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.
- Dead simple middleware to enable chromeframe on connect/express applications.☆21Feb 24, 2012Updated 14 years ago
- A node.js client for NASA's data API☆17Oct 23, 2011Updated 14 years ago
- A normalization pattern to build, query, and manipulate everything.☆16Sep 23, 2017Updated 8 years ago
- Packer template to build Vagrant based Ubuntu + Xen development environment☆19Jan 25, 2016Updated 10 years ago
- Nitro Web Application Framework☆74Aug 6, 2010Updated 15 years ago
- Commandline interface to the aria2 download manager☆10Sep 12, 2015Updated 10 years ago
- Simulate keyboard and mouse events using Haskell☆18Feb 16, 2015Updated 11 years ago