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
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 8 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 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
- The future starts here☆12Mar 15, 2017Updated 9 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.
- ☆10Updated this week
- 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
- ☆10Jun 30, 2021Updated 5 years ago
- Systemd user units☆13Dec 10, 2014Updated 11 years ago
- Common Lisp Package for Parallel Corpus Processing☆13Feb 17, 2024Updated 2 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
- Lists of Dynamic DNS Domains/FQDNs as well as lists of services/providers that offer free dynamic dns domains.☆14Nov 2, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆11May 27, 2017Updated 9 years ago
- Telegram bot that sends a message to the channel when fires webhook in JIRA or BitBucket(feature).☆10Jun 28, 2016Updated 10 years ago
- Publicly-available tools from Rogue Valley Information Security☆15Feb 5, 2025Updated last year
- Facilitates conversion of Flux Standard Action (FSA) to Canonical Composition Action (CCA) and vice-versa.☆15Sep 16, 2015Updated 11 years ago
- being the materials from my YOW LambdaJam 2016 talk☆11Jun 11, 2016Updated 10 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
- Nvim dependency cache, for "offline" builds☆17Sep 4, 2026Updated 2 weeks ago
- Rustato: A powerful, thread-safe global state management library for Rust applications, offering type-safe, reactive state handling with …☆19Aug 12, 2024Updated 2 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.
- Load in One☆40Dec 23, 2010Updated 15 years ago
- A Website for Collectors☆13May 21, 2015Updated 11 years ago
- Vim extensions for Jekyll 2+ sites☆10Mar 26, 2021Updated 5 years ago
- @ryantm's dotfiles☆16Aug 27, 2026Updated 3 weeks ago
- Bot to anonymously send E2EE messages over Signal to a subscriber list.☆12Aug 14, 2026Updated last month
- Extensible implementation of the RISC-V ISA based on FreeMonads☆20Dec 3, 2025Updated 9 months ago
- Generates .pyi files from external .so libraries built using pyo3☆16Nov 15, 2024Updated last year
- Calculating and filling the Canadian income tax forms☆18Apr 12, 2026Updated 5 months ago
- Some RSA attacks with sage☆11Nov 15, 2016Updated 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.
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Efficient cryptanalysis of homophonic substitution ciphers☆16Aug 22, 2020Updated 6 years ago
- Bublé transform for your esnext tests + a little bit of Babel☆15Jan 13, 2017Updated 9 years ago
- A library for creating a JavaScript namespace.☆10Jan 26, 2012Updated 14 years ago
- Moved to https://github.com/haskell/haskell-snippets☆15Sep 7, 2017Updated 9 years ago
- A fun plugin so your elements can have their proper family reunions.☆98Jan 5, 2013Updated 13 years ago
- A powerful utility for function chaining☆21Apr 3, 2012Updated 14 years ago