thejevans/pt external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

thejevans/pt

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/thejevans/pt)

Close

thejevans / ptView on GitHubMore

• External links
• Readme badge

☆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

• regdude / makeup

  View on GitHub
  ☆11Jul 15, 2023Updated 2 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus

  View on GitHub
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Jan 11, 2015Updated 11 years ago
• schemedoc / srfi-metadata

  View on GitHub
  Import SRFI metadata into the Scheme API
  ☆11Jan 19, 2026Updated last month
• jagrg / org-emms

  View on GitHub
  Play multimedia files from org-mode
  ☆12Aug 20, 2018Updated 7 years ago
• jpellegrini / gnu-apl-refcard

  View on GitHub
  A reference card for GNU APL
  ☆11Feb 19, 2025Updated last year
• jpellegrini / spartns

  View on GitHub
  Spartns is a SPARse TeNSor representation library. This project moved to Gitlab
  ☆10Apr 19, 2018Updated 7 years ago
• garbeam / 2wm

  View on GitHub
  ☆13Sep 18, 2019Updated 6 years ago
• applePrincess / hackpkgs

  View on GitHub
  nixpkgs aiming for exploiting tools, which may include non-official package or difficult to push to mainstream.
  ☆13Jul 25, 2022Updated 3 years ago
• 5eqn / nothura.nvim

  View on GitHub
  Link to page of PDF in Markdown, with Neovim and Zathura.
  ☆13Nov 11, 2024Updated last year
• 90-008 / ark

  View on GitHub
  My NixOS configuration.
  ☆20Jan 20, 2026Updated last month
• thisirs / openwith

  View on GitHub
  ☆15Dec 10, 2017Updated 8 years ago
• GoNZooo / zig-windows-process

  View on GitHub
  Toolset for interacting with Windows processes in Zig
  ☆17Jul 14, 2020Updated 5 years ago
• magnetophon / nixosConfig

  View on GitHub
  ☆14Feb 24, 2026Updated last week
• MattX / peroxide

  View on GitHub
  Scheme in Rust
  ☆15Dec 10, 2021Updated 4 years ago
• nenbutsu / kiss

  View on GitHub
  a conforming ISLisp processor KISS
  ☆16Feb 6, 2019Updated 7 years ago
• dfrnoch / invite-generator

  View on GitHub
  Discord Invite Generator And Checker. Using HTTPS Proxy (Autoscraper)
  ☆13Oct 31, 2020Updated 5 years ago
• siraben / meta-II

  View on GitHub
  META II compiler, assembler and bytecode interpreter.
  ☆18Jan 20, 2026Updated last month
• C4T4P1LL4 / youtube-dorks

  View on GitHub
  youtube dork queries for default file names
  ☆14Nov 3, 2021Updated 4 years ago
• avkoval / avk-emacs-themes

  View on GitHub
  My Emacs Themes
  ☆15Aug 25, 2023Updated 2 years ago
• enzuru / bsd-lisp-machine

  View on GitHub
  Turn a fresh BSD install into a Lisp workstation
  ☆17Dec 13, 2025Updated 2 months ago
• hyperreal64 / vauxite-build

  View on GitHub
  Fedora-based Xfce Atomic Desktop
  ☆17Feb 11, 2024Updated 2 years ago
• sjohann81 / c-classes

  View on GitHub
  Object-oriented programming (OOP) in pure C
  ☆19Jul 29, 2023Updated 2 years ago
• SqrtMinusOne / perspective-exwm.el

  View on GitHub
  perspective.el ❤️ EXWM
  ☆17Dec 25, 2023Updated 2 years ago
• scottbot95 / nix-steam-servers

  View on GitHub
  Nix packages and NixOS modules for managing Steam game servers
  ☆18Updated this week
• RaubJo / hive

  View on GitHub
  ☆17Apr 13, 2023Updated 2 years ago
• Wojnstup / PipeCatTurbo

  View on GitHub
  PipeCat - but better. And written in bash!
  ☆23Dec 27, 2022Updated 3 years ago
• dylan-lang / dylan-emacs-support

  View on GitHub
  Emacs mode for indenting and highlighting Dylan code
  ☆29Feb 12, 2026Updated 3 weeks ago
• emacsmirror / equake

  View on GitHub
  Drop-down console for (e)shell & terminal emulation
  ☆16Jan 3, 2026Updated 2 months ago
• areina / nixos-config

  View on GitHub
  My NixOS configuration files
  ☆14Apr 7, 2018Updated 7 years ago
• viperML / mkshell-minimal

  View on GitHub
  POC of mkShell with the smallest closure possible
  ☆23Nov 26, 2023Updated 2 years ago
• commonlispbr / quicksys

  View on GitHub
  A tool to install quicklisp systems from multiple distributions over world
  ☆16Apr 18, 2019Updated 6 years ago
• benley / dotfiles

  View on GitHub
  My various login scripts, dotfiles, and other random toys that make my unix environments pleasant.
  ☆20Feb 2, 2026Updated last month
• SqrtMinusOne / exwm-modeline

  View on GitHub
  A modeline segment for EXWM
  ☆17Feb 22, 2025Updated last year
• eltanin-os / glacies

  View on GitHub
  Eltanin Linux distribution
  ☆18Mar 25, 2024Updated last year
• jrhbailey / emacs-http-server

  View on GitHub
  A rudimentary http server in elisp
  ☆26May 3, 2012Updated 13 years ago
• alexherbo2 / webextension-dmenu

  View on GitHub
  Tab search, selection and beyond with a dmenu filter program
  ☆19Oct 21, 2023Updated 2 years ago
• brummer10 / GxSVT.lv2

  View on GitHub
  Bass preamp simulation
  ☆20Mar 8, 2023Updated 2 years ago
• jussihi / Presentations

  View on GitHub
  My public presentations
  ☆27Feb 17, 2025Updated last year
• czaplicki / rofi-polkit-agent

  View on GitHub
  Simple polkit agent for window managers, using rofi for prompts.
  ☆20Jan 13, 2024Updated 2 years ago