A collection of scripts to load a custom kernel on Scaleway servers
☆14Nov 4, 2017Updated 8 years ago
Alternatives and similar repositories for Custom-Kernel-Launcher-for-Scaleway
Users that are interested in Custom-Kernel-Launcher-for-Scaleway are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- Open Source EchoLink Proxy☆26Jan 21, 2025Updated last year
- ☆17Jul 17, 2023Updated 3 years ago
- café, a systems language☆19Feb 25, 2018Updated 8 years ago
- Build forms from an ods spreadsheet in a Seafile☆12May 8, 2018Updated 8 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.
- Mechanization of Hazelnut, as submitted to POPL 2017☆16Nov 24, 2021Updated 4 years ago
- Malfunction backend for Idris with a FFI to OCaml☆28Aug 22, 2019Updated 6 years ago
- ☆19Jan 29, 2015Updated 11 years ago
- C API for generative musical sequencing☆19Sep 23, 2023Updated 2 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆26Oct 4, 2020Updated 5 years ago
- OpenStreetMap Changeset Analyzer☆76Apr 20, 2025Updated last year
- Algebraic proof discovery in Agda☆36Dec 6, 2021Updated 4 years ago
- Noncanonical (but only existing) repo for the pijnu PEG parser☆25Jul 30, 2011Updated 14 years ago
- A simple, interrupt driven I2C API for Atmel AVR processors☆23Jun 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.
- ☆31Jul 21, 2023Updated 3 years ago
- AI SDK provider for Google's Gemini models with built-in OAuth authentication. Access Gemini 2.5 Pro/Flash for free using the same auth f…☆18Aug 27, 2025Updated 10 months ago
- Agda programming with holes☆28Feb 2, 2021Updated 5 years ago
- dlang CI testing pipelines☆13May 11, 2026Updated 2 months ago
- Manage a fleet of scaleway servers☆10Apr 27, 2017Updated 9 years ago
- A programming language with infinite arrays☆32Jan 21, 2020Updated 6 years ago
- The Treblle SDK the Django framework☆11Sep 10, 2025Updated 10 months ago
- CA Issuers Monitor (Authority Info Access)☆14Mar 8, 2023Updated 3 years ago
- A polynomial model of a Martin-Löf type theory + a bit of game semantics☆31Dec 3, 2021Updated 4 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.
- A Python tool for parsing and exporting 'aws-nuke' output logs into structured JSON or CSV formats.☆10Jun 7, 2024Updated 2 years ago
- ☆15Jan 30, 2025Updated last year
- Balthazar's case and the design. Updates regularly as we progress.☆12Oct 22, 2024Updated last year
- My blog and its static site generator☆10Oct 28, 2024Updated last year
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆44Apr 14, 2021Updated 5 years ago
- ☆73May 5, 2023Updated 3 years ago
- CM6_control_software☆10Feb 28, 2023Updated 3 years ago
- The Urusai fork of Mastodon-soc, for Sakurajima☆12May 20, 2026Updated 2 months ago
- Command-like expressions for real infinite-precision calculations☆56May 9, 2026Updated 2 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- OpenRISC 1000 processor module for IDA 7.x☆13Feb 13, 2024Updated 2 years ago
- "Talking PD" article code repository☆14Jun 23, 2023Updated 3 years ago
- ☆10Jun 27, 2024Updated 2 years ago
- Work in progress☆41Jun 7, 2025Updated last year
- Schoko Computer☆11Jun 7, 2023Updated 3 years ago
- A tool to generate FreeDSP Aurora plugins from SigmaStudio Exports, written in Perl.☆10Jul 28, 2020Updated 5 years ago
- My second attempt at a RISC-V CPU with learnings form my previous attempt.☆11Apr 27, 2026Updated 2 months ago