Example Ansible-based setup for a 6th gen. Thinkpad X1 Carbon
☆16Oct 28, 2018Updated 7 years ago
Alternatives and similar repositories for ansible_thinkpad
Users that are interested in ansible_thinkpad are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- an example airship app☆14Jul 14, 2016Updated 9 years ago
- Small example MirageOS unikernels.☆16Jun 14, 2019Updated 7 years ago
- A Common Lisp Bayesian Network Inference Engine☆27Apr 15, 2013Updated 13 years ago
- ☆11Apr 20, 2016Updated 10 years ago
- A Squeak Smalltalk RISC-V ISA implementation, with basic simulation☆26Feb 10, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Rust-based Scheme Compiler, written in the Nanopass style☆11Jun 12, 2018Updated 8 years ago
- lightweight search engine for local text docs☆29Feb 19, 2012Updated 14 years ago
- Interpreter for inference rules☆14May 5, 2018Updated 8 years ago
- ☆12Nov 16, 2021Updated 4 years ago
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 4 years ago
- A Raspberry Pi-based Digital Assistant for Spin Bikes☆11Mar 31, 2021Updated 5 years ago
- Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.☆15Jun 21, 2021Updated 5 years ago
- How to be a Good Open Source Shepherd☆11Feb 7, 2024Updated 2 years ago
- ☆11May 26, 2020Updated 6 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.
- A library geared towards separating persistence concerns from data model classes☆52May 21, 2015Updated 11 years ago
- Guess sentences from initial letters of each word☆24Aug 22, 2022Updated 3 years ago
- Hacks related to dissertation☆13Dec 24, 2019Updated 6 years ago
- A logger/profiler that helps you to track heavy calls in rails apps☆142Dec 6, 2014Updated 11 years ago
- My favorite quotes☆17Oct 12, 2025Updated 8 months ago
- Disassembled code of SPECTRUM micro-PROLOG T1.0☆36Mar 26, 2026Updated 3 months ago
- A pass extension that lets you quickly create ssh keypairs and output public keys using fzf or rofi.☆16Dec 19, 2021Updated 4 years ago
- Make rpc:calls from erlang to haskell☆17Mar 30, 2015Updated 11 years ago
- Well-typed JSON parser generator inspired by Type Provider☆16Feb 26, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Economics games, inspired by David D. Friedman's☆12Aug 26, 2017Updated 8 years ago
- kernel normal form formatter☆32Jun 6, 2026Updated last month
- Elm + F#☆16Sep 11, 2016Updated 9 years ago
- OpenBSD Wireless Network Manager☆14Oct 26, 2018Updated 7 years ago
- A collection of mechanised proofs☆19Feb 4, 2020Updated 6 years ago
- Automatically sync your Peloton schedule to Google Calendar☆12Feb 11, 2026Updated 4 months ago
- A book of explanations: a project for nanogenmo 2016☆11Dec 1, 2016Updated 9 years ago
- Higher-order FRP compiler☆17Oct 20, 2021Updated 4 years ago
- ROM loader for ESP chips☆10Apr 23, 2026Updated 2 months 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.
- Create Apple mobileconfig configuration files☆11Jul 1, 2016Updated 10 years ago
- Repo for NYPL's 2016 Event, Open Audio Weekend☆14Jun 30, 2016Updated 10 years ago
- A hierarchical timer wheel in Rust☆17Feb 1, 2018Updated 8 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- ghci with autocomplete, calltips, colors with type information, variable inspector, and more.☆21Dec 24, 2011Updated 14 years ago
- ☆22Apr 1, 2013Updated 13 years ago
- a quick system I hacked together to bundle a few thousand pages of notes I mostly haven’t published before up into an archive of pregener…☆15Dec 29, 2021Updated 4 years ago