Running Linux on the Thinkpad X1 Carbon 6th
☆63Apr 15, 2022Updated 4 years ago
Alternatives and similar repositories for Thinkpad_X1_Carbon_6th
Users that are interested in Thinkpad_X1_Carbon_6th are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tiny Object Run Time☆24May 24, 2015Updated 11 years ago
- Collection of notes for talks☆13Jan 6, 2024Updated 2 years ago
- Automatically file VATs in Paraguay☆17Jan 23, 2026Updated 5 months ago
- i386, x86_64, ARMv7 assembler/linker; Nothing-like mid-level language; Linear-scan register allocator; Operating system for Raspberry Pi …☆101Oct 1, 2025Updated 9 months ago
- Gambit swank backend for SLIME☆40Aug 16, 2011Updated 14 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.
- ☆15Nov 20, 2024Updated last year
- A more-free-less-libre package channel for the GUIX package manager☆11Mar 6, 2024Updated 2 years ago
- Generate the FFI (foreign function interface) from a C header.☆21Jan 21, 2025Updated last year
- Experiment with synthetic domain theory in cubical agda☆15Nov 8, 2022Updated 3 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- A chrome extension to search wiktionary for a word.☆15Feb 22, 2017Updated 9 years ago
- Helps macro writers produce better errors for macro users☆41Nov 12, 2025Updated 8 months ago
- PoC for Swarm Browser Extension☆15Feb 17, 2023Updated 3 years ago
- Reference manual for the Common Lisp programming language.☆17Jun 10, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A Common Lisp library for logging, tracing, testing and persistence☆44Updated this week
- The official SLIME repo is now at https://github.com/slime/slime☆20Jan 3, 2014Updated 12 years ago
- A Programming Language for Everyone and Everything☆38Nov 9, 2025Updated 8 months ago
- Houyhnhnm Computing☆23Feb 5, 2025Updated last year
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- Uses Google's Directions API to calculate commute times to/from potential homes☆14Jul 3, 2019Updated 7 years ago
- ☆15May 14, 2026Updated 2 months ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Search & Replace, simply & efficiently [neovim only]☆24Jun 6, 2023Updated 3 years 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.
- Making Mes.c M2-Planet friendly☆31May 25, 2022Updated 4 years ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- Experimental evaluation for the Partisan paper at USENIX ATC 2019.☆23Jun 2, 2019Updated 7 years ago
- Simple enhancements for the Ruby stdlib Logger☆18Feb 15, 2018Updated 8 years ago
- A modern alternative to daemon-pid, with bugfixes, ESM, etc☆11Jun 3, 2026Updated last month
- A collection of WebF examples and demos.☆14Aug 14, 2024Updated last year
- Ember.js pattern for rendering arbitrarily large lists to DOM performantly and without memory leaks☆10Dec 20, 2018Updated 7 years ago
- A simple, vimscript only, command runner for sending commands from vim to the kitty terminal emulator.☆10Sep 29, 2022Updated 3 years ago
- accessible data visualizations with Vega Lite☆17Jul 2, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Decentralized network boot backed on p2p network☆30Oct 1, 2024Updated last year
- Slides for Clojure Remote 2016☆10Feb 19, 2016Updated 10 years ago
- ☆11Feb 25, 2026Updated 4 months ago
- An accessible and easy tab component for Ember.js☆12Updated this week
- glimmer syntax highlighting with highlight.js☆14Updated this week
- Series of posts on how to use DynamoDB with Go SDK.☆14Mar 19, 2021Updated 5 years ago
- ☆10Dec 10, 2022Updated 3 years ago