thejevans / ptView external linksLinks
☆15Jan 24, 2022Updated 4 years ago
Alternatives and similar repositories for pt
Users that are interested in pt are comparing it to the libraries listed below
Sorting:
- ☆11Jul 15, 2023Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Play multimedia files from org-mode☆12Aug 20, 2018Updated 7 years ago
- A reference card for GNU APL☆11Feb 19, 2025Updated 11 months ago
- Import SRFI metadata into the Scheme API☆11Jan 19, 2026Updated 3 weeks ago
- nixpkgs aiming for exploiting tools, which may include non-official package or difficult to push to mainstream.☆13Jul 25, 2022Updated 3 years ago
- Link to page of PDF in Markdown, with Neovim and Zathura.☆13Nov 11, 2024Updated last year
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Apr 19, 2018Updated 7 years ago
- ☆13Sep 18, 2019Updated 6 years ago
- wtf is a computer pls help☆18Jan 7, 2026Updated last month
- Common Lisp library for Avro☆15Oct 7, 2025Updated 4 months ago
- Graph visualization for Org-mode to see connections☆41Nov 11, 2025Updated 3 months ago
- ☆14Feb 4, 2026Updated last week
- Discord Invite Generator And Checker. Using HTTPS Proxy (Autoscraper)☆13Oct 31, 2020Updated 5 years ago
- youtube dork queries for default file names☆14Nov 3, 2021Updated 4 years ago
- ☆15Dec 10, 2017Updated 8 years ago
- Turn a fresh BSD install into a Lisp workstation☆17Dec 13, 2025Updated 2 months ago
- Funkwhale package and deployment for NixOS☆16Oct 30, 2020Updated 5 years ago
- Create a nix expression for loading quicklisp packages☆18Nov 12, 2021Updated 4 years ago
- Emacs mode for indenting and highlighting Dylan code☆29Feb 5, 2026Updated last week
- Nix packages and NixOS modules for managing Steam game servers☆18Updated this week
- PipeCat - but better. And written in bash!☆23Dec 27, 2022Updated 3 years ago
- My various login scripts, dotfiles, and other random toys that make my unix environments pleasant.☆20Feb 2, 2026Updated last week
- A rudimentary http server in elisp☆26May 3, 2012Updated 13 years ago
- My NixOS configuration files☆14Apr 7, 2018Updated 7 years ago
- A tool to install quicklisp systems from multiple distributions over world☆16Apr 18, 2019Updated 6 years ago
- A modeline segment for EXWM☆17Feb 22, 2025Updated 11 months ago
- Drop-down console for (e)shell & terminal emulation☆16Jan 3, 2026Updated last month
- ☆15Apr 15, 2015Updated 10 years ago
- My public presentations☆27Feb 17, 2025Updated 11 months ago
- Tab search, selection and beyond with a dmenu filter program☆18Oct 21, 2023Updated 2 years ago
- Unix manual pages for R6RS and R7RS☆20Feb 11, 2024Updated 2 years ago
- 🧠 A POC Minecraft AI, using GPT-3's API to convert natural language into a custom script, interpreted by the bot.☆19Mar 14, 2021Updated 4 years ago
- Página oficial da comunidade brasileira de Common Lisp☆18Feb 1, 2025Updated last year
- A community driven philosophical language☆26Feb 7, 2021Updated 5 years ago
- An interpreter for Bel☆19Aug 24, 2020Updated 5 years ago
- ☆22Aug 7, 2020Updated 5 years ago
- ☆20Jul 17, 2024Updated last year
- A demo exploring emacs vector capablities☆28Jan 21, 2021Updated 5 years ago