☆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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Spartns is a SPARse TeNSor representation library. This project moved to Gitlab☆10Apr 19, 2018Updated 8 years ago
- A reference card for GNU APL☆11Feb 19, 2025Updated last year
- Import SRFI metadata into the Scheme API☆11Jan 19, 2026Updated 4 months ago
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago
- Common Lisp library for Avro☆15Feb 12, 2026Updated 3 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- data-at-rest updatable threshold encryption KMS server and client☆21Apr 16, 2026Updated last month
- POC of mkShell with the smallest closure possible☆23Nov 26, 2023Updated 2 years ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- A tool to install quicklisp systems from multiple distributions over world☆16Apr 18, 2019Updated 7 years ago
- The official repository, taken over from Peter Scott.☆15Aug 4, 2022Updated 3 years ago
- Página oficial da comunidade brasileira de Common Lisp☆18Feb 1, 2025Updated last year
- A demo exploring emacs vector capablities☆28Jan 21, 2021Updated 5 years ago
- A simple app that sends files to a remote server via SFTP (SSH File Transfer Protocol)☆55May 18, 2014Updated 12 years ago
- Emacs mode for indenting and highlighting Dylan code☆29Mar 9, 2026Updated 2 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Unix manual pages for R6RS and R7RS☆20Feb 11, 2024Updated 2 years ago
- ☆22Aug 7, 2020Updated 5 years ago
- ☆12Jul 15, 2023Updated 2 years ago
- ManKai Common Lisp☆37May 18, 2026Updated last week
- Play multimedia files from org-mode☆12Aug 20, 2018Updated 7 years ago
- nixpkgs aiming for exploiting tools, which may include non-official package or difficult to push to mainstream.☆13Jul 25, 2022Updated 3 years ago
- Shade unfocused windows. Give a bright statusline color for active windows *when splits are open*.☆10Aug 6, 2025Updated 9 months ago
- Practical way to Learn Nim language☆12Nov 15, 2015Updated 10 years ago
- My NixOS configuration.☆19Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Link to page of PDF in Markdown, with Neovim and Zathura.☆13Nov 11, 2024Updated last year
- META II compiler, assembler and bytecode interpreter.☆18Jan 20, 2026Updated 4 months ago
- ☆15Dec 10, 2017Updated 8 years ago
- ☆13Sep 18, 2019Updated 6 years ago
- ☆15Apr 9, 2026Updated last month
- Funkwhale package and deployment for NixOS☆16Oct 30, 2020Updated 5 years ago
- Turn a fresh BSD install into a Lisp workstation☆17Dec 13, 2025Updated 5 months ago
- Maxima as a clojure library☆35Feb 15, 2022Updated 4 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆36Aug 10, 2022Updated 3 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.
- Awesome Agda Programming☆19Sep 22, 2025Updated 8 months ago
- youtube dork queries for default file names☆14Nov 3, 2021Updated 4 years ago
- A rudimentary http server in elisp☆26May 3, 2012Updated 14 years ago
- Toolset for interacting with Windows processes in Zig☆19Jul 14, 2020Updated 5 years ago
- My NixOS config and installer☆14Updated this week
- DasherA is a Data General DASHER D200/D210 terminal emulator☆38Feb 21, 2026Updated 3 months ago
- Install Cyclone Scheme on your machine.☆37Mar 13, 2026Updated 2 months ago