This tracks development for the things such as scripts and (defaults for) config files for Bedrock Linux
☆49Jan 30, 2018Updated 8 years ago
Alternatives and similar repositories for bedrocklinux-userland
Users that are interested in bedrocklinux-userland are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This tracks website development for Bedrock Linux☆30Nov 8, 2020Updated 5 years ago
- A rkt-stage1 based on the Xen hypervisor☆10Feb 24, 2020Updated 6 years ago
- Battery Fix☆13Jun 30, 2018Updated 8 years ago
- An implementation of Racket's Scribble in Clojure☆24Sep 20, 2013Updated 12 years ago
- Demo: OS sandboxing for unsafe code in Rust☆14Mar 10, 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.
- ☆24Nov 6, 2015Updated 10 years ago
- [MIRROR] layman: Gentoo overlay manager☆27Oct 1, 2021Updated 4 years ago
- Demo: third-party authentication for horizon☆11Nov 14, 2016Updated 9 years ago
- programs, including busybox, statically linked for the initial ram disk☆12Dec 27, 2025Updated 8 months ago
- Lein template for LightTable plugin projects☆27Jan 2, 2015Updated 11 years ago
- Overlay for Gentoo/Linux packages☆18Updated this week
- Alpine ISO image generation scripts (mirror)☆16Dec 17, 2018Updated 7 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- A transducer library for Rust☆10May 22, 2016Updated 10 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Common Lisp interface to D-Wave's Python Pack for adiabatic quantum computer energy programming☆11Jul 30, 2015Updated 11 years ago
- Ring solver for Idris☆20Nov 12, 2018Updated 7 years ago
- An improved and modern remake of Gentoo genkernel (in: udev, plymouth; out: cross compiler support)☆48Aug 20, 2020Updated 6 years ago
- The Haskell tracer - generating and viewing Haskell execution traces☆38Jun 1, 2023Updated 3 years ago
- OpenCL octree voxel raytracer☆10Dec 7, 2015Updated 10 years ago
- Standard ML autoformatter☆15Dec 25, 2021Updated 4 years ago
- NIH library for OpenGL window/context creation for X11/Win32/OSX.☆12Sep 14, 2012Updated 13 years ago
- Collection of composable, simple, and hopefully useful scripts.☆11Jul 7, 2024Updated 2 years ago
- Checks that your hardware is supported by the kernel and enabled in its config☆11May 5, 2020Updated 6 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.
- The SMoL (Standard Model of Languages) Family of Languages☆23Jan 2, 2025Updated last year
- Some benchmarks for Idris☆12Aug 12, 2017Updated 9 years ago
- Common Lisp implementation of the Erlang External Term Format☆16Dec 31, 2022Updated 3 years ago
- Implementation 2-3 heap on C++☆11Dec 16, 2014Updated 11 years ago
- Emacs support for the Chruby version switcher for Ruby☆37Jan 14, 2018Updated 8 years ago
- A framework for representing and manipulating documents.☆43Jan 2, 2023Updated 3 years ago
- Budgie Screensaver is a fork of old gnome screensaver for purposes of providing an authentication prompt on wake.☆18Apr 17, 2024Updated 2 years ago
- A script to add/remove hosts from the /etc/hosts file☆16Mar 4, 2013Updated 13 years ago
- Slides from ACCU Bay Area meetups in 2016☆14Jul 11, 2016Updated 10 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.
- Editor is an experimental HTTP/HTTPS server exposing webpages that can still be modified from the browser.☆21Oct 2, 2023Updated 2 years ago
- Align clojure let forms.☆38Jan 12, 2016Updated 10 years ago
- Collection-based backup tool for MongoDB, supporting incremental backup with ObjectId and more.☆11Jul 31, 2015Updated 11 years ago
- An editor for non-euclidean worlds.☆19Apr 21, 2023Updated 3 years ago
- GC statistics for Racket☆12Feb 2, 2026Updated 6 months ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Sep 10, 2015Updated 10 years ago
- Certified Refurbished Private Key Depot☆12Oct 17, 2019Updated 6 years ago