Helper scripts for Crouton, a way to run Linux in a chroot on Chrome OS
☆19May 10, 2021Updated 5 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
- Simple printing with Text☆10Jan 3, 2017Updated 9 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
- Material for the course on Programming Languages and Types at University of Marburg☆15Feb 6, 2012Updated 14 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆12Jul 8, 2019Updated 6 years ago
- Write Datasette canned queries as plain SQL files☆14Jul 2, 2022Updated 3 years ago
- A library and command-line tool for fetching Facebook Pages' published posts.☆13Jul 18, 2017Updated 8 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☆17Apr 21, 2026Updated 3 weeks ago
- (Actually) flexible law checking for Scala☆15Dec 22, 2016Updated 9 years ago
- Agda suffices: software written from A to Z in Agda☆16Mar 31, 2019Updated 7 years ago
- A dumb tool to mirror changes in a directory between hosts☆13Mar 1, 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.
- 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 3 months ago
- Chrome extension that disables WebBluetooth☆14Mar 4, 2018Updated 8 years ago
- ST with efficient exceptions☆20Nov 11, 2016Updated 9 years ago
- Bash script to enable git-worktree to use relative path☆12Mar 7, 2022Updated 4 years ago
- Demonstration project for building out a data news rig.☆10Mar 15, 2022Updated 4 years ago
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- External Code Formatter, an IntelliJ IDEA plugin.☆11Jun 21, 2012Updated 13 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Handouts/Tipsheets for the 2015 Global Investigative Journalism Conference☆10Oct 9, 2015Updated 10 years ago
- A Ruby parser for electronic candidate, PAC and party campaign filings from the Federal Election Commission.☆15Feb 3, 2024Updated 2 years ago
- Notes for my talk "Exploring the Radio Spectrum for News"☆13Mar 6, 2020Updated 6 years ago
- ET (IPL) language interpreters and literature☆26Feb 15, 2019Updated 7 years ago
- A series of implementations of a simple functional programming language.☆30Jan 4, 2016Updated 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☆21Apr 22, 2026Updated 3 weeks ago
- get facebook data☆10Sep 14, 2014Updated 11 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.
- pyfpds is a python wrapper around the FPDS ATOM feed☆13Mar 1, 2019Updated 7 years ago
- A demo project and template repository showing how I use SpatiaLite with Datasette for quick spatial analysis.☆17Jul 7, 2024Updated last year
- A language-generic implementation of equality saturation in Haskell☆22Dec 4, 2018Updated 7 years ago
- STLC-related snippets in Agda☆16May 1, 2013Updated 13 years ago
- ☆27May 3, 2023Updated 3 years ago
- Modern compiler implementation in ML, in Haskell☆16Apr 4, 2018Updated 8 years ago
- ☆19Nov 24, 2025Updated 5 months ago