Running Linux on the Thinkpad X1 Carbon 6th
☆62Apr 15, 2022Updated 3 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 10 years ago
- Collection of notes for talks☆13Jan 6, 2024Updated 2 years ago
- A simple, fast, and intuitive Terminal User Interface (TUI) for Google Tasks.☆23Oct 30, 2025Updated 4 months ago
- Automatically file VATs in Paraguay☆14Jan 23, 2026Updated 2 months ago
- i386, x86_64, ARMv7 assembler/linker; Nothing-like mid-level language; Linear-scan register allocator; Operating system for Raspberry Pi …☆100Oct 1, 2025Updated 5 months ago
- Gambit swank backend for SLIME☆40Aug 16, 2011Updated 14 years ago
- Generate the FFI (foreign function interface) from a C header.☆20Jan 21, 2025Updated last year
- A more-free-less-libre package channel for the GUIX package manager☆11Mar 6, 2024Updated 2 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
- RISC-V OCaml cross compiler☆14Feb 25, 2019Updated 7 years ago
- Helps macro writers produce better errors for macro users☆41Nov 12, 2025Updated 4 months ago
- ☆11Nov 29, 2020Updated 5 years ago
- A Common Lisp library for logging, tracing, testing and persistence.☆44Feb 5, 2026Updated last month
- Reference manual for the Common Lisp programming language.☆17Jun 10, 2017Updated 8 years ago
- Houyhnhnm Computing☆23Feb 5, 2025Updated last year
- A Programming Language for Everyone and Everything☆37Nov 9, 2025Updated 4 months ago
- Material for ProLaLa Keynote☆14Feb 4, 2022Updated 4 years ago
- ☆14Mar 13, 2026Updated last week
- OCaml tutorial conducted at Abstraction 2019 (https://abstraction-iitm.surge.sh)☆15Apr 21, 2019Updated 6 years ago
- A style guide for Coq☆18Nov 30, 2021Updated 4 years ago
- Audio/Video toolkit for Python☆13May 10, 2019Updated 6 years ago
- Search & Replace, simply & efficiently [neovim only]☆24Jun 6, 2023Updated 2 years ago
- Making Mes.c M2-Planet friendly☆30May 25, 2022Updated 3 years ago
- Verifying concurrent code with layers and movers☆13Feb 18, 2020Updated 6 years ago
- TPTP linear logic version☆15Jan 27, 2025Updated last year
- Uses Google's Directions API to calculate commute times to/from potential homes☆13Jul 3, 2019Updated 6 years ago
- Intrinsic Verification of Formal Grammar Theory☆27Nov 22, 2025Updated 4 months ago
- Simple enhancements for the Ruby stdlib Logger☆18Feb 15, 2018Updated 8 years ago
- A simple, vimscript only, command runner for sending commands from vim to the kitty terminal emulator.☆10Sep 29, 2022Updated 3 years ago
- Decentralized network boot backed on p2p network☆29Oct 1, 2024Updated last year
- mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml☆36Sep 30, 2016Updated 9 years ago
- Slides for Clojure Remote 2016☆10Feb 19, 2016Updated 10 years ago
- TÂCHES amazing GSD modified to work with GEMINI☆31Jan 26, 2026Updated last month
- ☆11Feb 25, 2026Updated 3 weeks ago
- Based on scheme to LLVM compiler from https://web.archive.org/web/20111220233738/http://www.ida.liu.se/~tobnu/scheme2llvm/☆72Jun 6, 2017Updated 8 years ago
- 👷♀️ Gleam on GitHub Actions☆18Jan 4, 2022Updated 4 years ago
- Designing Programs with Class☆28Jan 30, 2018Updated 8 years ago
- Named readtables for Common Lisp☆73Mar 4, 2026Updated 2 weeks ago