silentbicycle / ansible_thinkpad
Example Ansible-based setup for a 6th gen. Thinkpad X1 Carbon
☆16Updated 6 years ago
Alternatives and similar repositories for ansible_thinkpad:
Users that are interested in ansible_thinkpad are comparing it to the libraries listed below
- Small CLI tool for configuration file management and swapping☆33Updated 5 years ago
- An example Sinatra project using Nix to configure the development environment☆14Updated 7 years ago
- My xmonad configuration.☆33Updated 9 years ago
- tiny command-line skeleton/snippet thing☆21Updated 6 years ago
- An Helm front-end for Lobste.rs☆20Updated last year
- simple charting tools for unix.☆28Updated 9 years ago
- IRC Integration for LiffyBot (a WIP port of Erlbot)☆14Updated 8 years ago
- Rust mg☆11Updated 5 years ago
- Slack client for Emacs☆12Updated 8 years ago
- organizes tags☆23Updated 7 years ago
- Very small examples of TLA+ features.☆43Updated 5 years ago
- Examples of the nice parts of Racket☆22Updated 7 years ago
- ☆10Updated 2 years ago
- IP stack written in Dylan - includes binary parsing and interactive GUI☆25Updated 10 years ago
- Geneva: portable document preparation system☆9Updated 8 years ago
- A DNS server that automatically starts unikernels on demand☆22Updated 9 years ago
- an example airship app☆14Updated 8 years ago
- Demonstration NATting unikernel.☆29Updated 8 years ago
- APL compiler written in Standard ML☆35Updated 3 years ago
- SML On Stilts☆37Updated 10 years ago
- Browse lobste.rs stories from emacs with ivy☆24Updated 4 years ago
- Verified vector clocks, with Coq!☆13Updated 11 years ago
- a Chicken Scheme port of the QuickCheck unit test framework☆13Updated 4 years ago
- A instance-per-page demo☆56Updated 9 years ago
- 9P file server for Upspin☆11Updated last year
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 7 years ago
- Obsolete, see: https://github.com/feuerbach/bert☆24Updated 11 years ago