Helper scripts for Crouton, a way to run Linux in a chroot on Chrome OS
☆19May 10, 2021Updated 4 years ago
Alternatives and similar repositories for crouton-crucial
Users that are interested in crouton-crucial are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆26Jan 14, 2019Updated 7 years ago
- [Archive] FSharp.MongoDB - F# driver prototype for MongoDB - This Repository is NOT a supported MongoDB product☆29Sep 6, 2013Updated 12 years ago
- A converter for LaTeX documents to EPUB/Mobipocket with a web interface written in Python.☆29Oct 11, 2021Updated 4 years ago
- 💾 Windows Me®, but fully isolated and disposable — the way it was meant to be.☆34Jul 19, 2022Updated 3 years ago
- Simple printing with Text☆10Jan 3, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Totally functional programming literature☆60Feb 15, 2019Updated 7 years ago
- i3 on Windows 10☆14Sep 22, 2019Updated 6 years ago
- A small repo of notes and scripts for collecting data on U.S. deadly force police incidents☆10Aug 9, 2015Updated 10 years ago
- ☆10Mar 17, 2020Updated 6 years ago
- Generate scala sources for sbt 0.10☆30Jul 10, 2015Updated 10 years ago
- US election metadata, packaged as python!☆10Mar 16, 2022Updated 4 years ago
- A Datasette plugin providing an MLOps platform to train, eval and predict machine learning models☆17Mar 31, 2026Updated last week
- (Actually) flexible law checking for Scala☆15Dec 22, 2016Updated 9 years ago
- A dumb tool to mirror changes in a directory between hosts☆13Mar 1, 2017Updated 9 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Generic Input Method for VSCode, mainly focusing on Unicode Symbol input for Theorem Provers, and YaTeX-like image completion for LaTeX☆11Jul 19, 2023Updated 2 years ago
- Example of a Flourish bar chart☆14Jul 8, 2023Updated 2 years ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 2 months ago
- Browser plugin to automatically redirect Hackage library pages to Stackage pages.☆15Jun 24, 2017Updated 8 years ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- Bash script to enable git-worktree to use relative path☆11Mar 7, 2022Updated 4 years ago
- Google maps http and ip lookup for ida pro☆14Mar 10, 2019Updated 7 years ago
- ✏️ Simple and sexy looking terminal spinners and progress bars.☆18Jun 14, 2021Updated 4 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Fail fast when accessing undefined properties on objects.☆14Jan 24, 2017Updated 9 years ago
- External Code Formatter, an IntelliJ IDEA plugin.☆11Jun 21, 2012Updated 13 years ago
- Notes for my talk "Exploring the Radio Spectrum for News"☆13Mar 6, 2020Updated 6 years ago
- F-omega with interval kinds mechanized in Agda☆14Aug 1, 2024Updated last year
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago
- QFeldspar: a QDSL front-end for MiniFeldspar☆14Nov 11, 2015Updated 10 years ago
- code to remove "noise" from hOCR output of Tesseract OCR.☆14Oct 24, 2016Updated 9 years ago
- Library-based Language Extensibility☆39Sep 2, 2014Updated 11 years ago
- Format and Complete Few-Shot LLM Prompts☆19Jan 14, 2025Updated last year
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- Database migration API for Knex☆12Apr 17, 2015Updated 10 years ago
- Serverless setup using node.js☆14Jun 8, 2021Updated 4 years ago
- Study dotty source code using org-mode☆10Jan 10, 2017Updated 9 years ago
- ☆13Jan 27, 2026Updated 2 months ago
- Exploration of FEC contributions data with dplyr☆13Dec 5, 2013Updated 12 years ago
- get facebook data☆10Sep 14, 2014Updated 11 years ago
- LISP Evaluator for FreeBASIC. An embedded LISP interpreter written entirely in FreeBASIC for use with FreeBASIC applications.☆11Nov 20, 2017Updated 8 years ago