rjrudman/penpa-edit 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

rjrudman/penpa-edit

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/rjrudman/penpa-edit)

Close

rjrudman / penpa-editView on GitHubMore

• External links
• Readme badge

Forked from https://github.com/opt-pan/penpa-edit to provide English translations

☆13Dec 17, 2021Updated 4 years ago

Alternatives and similar repositories for penpa-edit

Users that are interested in penpa-edit are comparing it to the libraries listed below

• Elluran / concentration_notebooks

  View on GitHub
  ☆11Dec 11, 2024Updated last year
• code-423n4 / 2025-03-starknet

  View on GitHub
  ☆10Jun 17, 2025Updated 8 months ago
• rluba / stubborn

  View on GitHub
  Stubborn – a test assertion and matcher library for Jai
  ☆14Feb 4, 2026Updated last month
• pcostanza / claws

  View on GitHub
  CLAWS - Work-stealing scheduler for LispWorks
  ☆12Nov 30, 2018Updated 7 years ago
• alpenlabs / bitcoind-async-client

  View on GitHub
  BitcoinD JSON-RPC Async Client
  ☆21Updated this week
• JWWeatherman / bitcoinMaximalist

  View on GitHub
  ☆12Feb 14, 2021Updated 5 years ago
• franzinc / clx

  View on GitHub
  Common Lisp X11 interface
  ☆17Jun 11, 2025Updated 8 months ago
• yo-yo-yo-jbo / linux_pwn_intro

  View on GitHub
  ☆12Jun 5, 2024Updated last year
• CJex / ydiff

  View on GitHub
  a structural comparison tool for Lisp
  ☆11Jun 2, 2014Updated 11 years ago
• patrickgh3 / jai-getting-started

  View on GitHub
  ☆17Jan 18, 2023Updated 3 years ago
• stegaBOB / solana_ed25519_verify

  View on GitHub
  Helper crate for verifying ed25519 signatures inside of solana programs
  ☆13Apr 28, 2024Updated last year
• murchandamus / study-group-optional-addendum

  View on GitHub
  ☆11Aug 16, 2021Updated 4 years ago
• srstafford1996 / kbd-trainer

  View on GitHub
  ☆18Mar 11, 2025Updated 11 months ago
• LunaNode / launchbtcpay

  View on GitHub
  Launch btcpayserver on LunaNode (https://launchbtcpay.lunanode.com)
  ☆13Jun 12, 2025Updated 8 months ago
• fmdkdd / dotfiles

  View on GitHub
  Configuration files
  ☆12Jan 21, 2024Updated 2 years ago
• smokku / libconcurrency

  View on GitHub
  A lightweight concurrency library for C, featuring symmetric coroutines as the main control flow abstraction.
  ☆12Sep 9, 2015Updated 10 years ago
• paultopia / scholaw

  View on GitHub
  stub repo for prelim work on SSRN replacement
  ☆15May 19, 2016Updated 9 years ago
• cledoux / mate-terminal-colors-solarized

  View on GitHub
  Solarized Gnome Terminal colors, based on http://ethanschoonover.com/solarized
  ☆14Jul 9, 2016Updated 9 years ago
• Kixunil / loptos

  View on GitHub
  Lightning Optimizing Opening Server
  ☆17Nov 17, 2022Updated 3 years ago
• hlissner / practice

  View on GitHub
  Programming exercises. For fun and great good.
  ☆17Oct 27, 2019Updated 6 years ago
• segmond / PrologThingz

  View on GitHub
  Whatever prolog
  ☆16Nov 19, 2015Updated 10 years ago
• expenses / UltimateChinese

  View on GitHub
  ☆19Dec 21, 2024Updated last year
• fedimint / fedimint.org-old

  View on GitHub
  Fedimint.org website
  ☆17Aug 29, 2022Updated 3 years ago
• arminsabouri / Onion78

  View on GitHub
  Bip78 over Tor
  ☆16Jun 9, 2021Updated 4 years ago
• thecasualcoder / neovim-dotfiles

  View on GitHub
  My neovim configuration
  ☆24Dec 20, 2018Updated 7 years ago
• pratul / almost-monokai

  View on GitHub
  A beautiful, fruity and calm Emacs color theme
  ☆50Dec 9, 2014Updated 11 years ago
• PsychoDrive-Dictator / psychodrive

  View on GitHub
  A fighting game simulation engine
  ☆18Feb 12, 2026Updated 3 weeks ago
• jimm / elisp

  View on GitHub
  My Emacs initialization files
  ☆28Updated this week
• synonymdev / omnibolt-js

  View on GitHub
  Library for OmniBOLT for apps to add Lightning token capability.
  ☆19Mar 25, 2022Updated 3 years ago
• bobatkey / CS316-17

  View on GitHub
  The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
  ☆21Dec 1, 2017Updated 8 years ago
• infosec-us-team / ibb

  View on GitHub
  Is like jq for Immunefi REST API. Search, filter and map structured data about bug bounty programs with ease.
  ☆28Nov 24, 2025Updated 3 months ago
• honorarybot / WinDbgSettings

  View on GitHub
  WinDbg workplace settings that I use for debugging
  ☆16Aug 3, 2017Updated 8 years ago
• ThomasDickey / vile-snapshots

  View on GitHub
  snapshots of releases and interim labels for "vi-like-emacs" program (1996-present) https://invisible-island.net/personal/git-exports.htm…
  ☆18Feb 2, 2026Updated last month
• wanderlust / semi

  View on GitHub
  SEMI Development Repository for Wanderlust
  ☆41Nov 30, 2025Updated 3 months ago
• jlopp / bitcoin-savings-plan

  View on GitHub
  A Sane and Simple Bitcoin Savings Plan
  ☆18Jul 9, 2020Updated 5 years ago
• zeriontech / awesome-decentralized-finance

  View on GitHub
  A curated list of awesome decentralized finance projects
  ☆20Dec 21, 2018Updated 7 years ago
• SatoshiPortal / batcher

  View on GitHub
  Batcher CypherApp for Cyphernode by bullbitcoin.com
  ☆19Nov 17, 2025Updated 3 months ago
• zkSync-Community-Hub / community-code

  View on GitHub
  A collaborative repository featuring community-contributed guides for developing on zkSync Era.
  ☆22Updated this week
• yi-editor / yi-rope

  View on GitHub
  Rope data structure used by Yi
  ☆20Jun 6, 2018Updated 7 years ago