ponylang/crypto 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

ponylang/crypto

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/ponylang/crypto)

Close

ponylang / cryptoView on GitHubMore

• External links
• Readme badge

Library of common cryptographic algorithms and functions for Pony

☆12Jul 16, 2025Updated 7 months ago

Alternatives and similar repositories for crypto

Users that are interested in crypto are comparing it to the libraries listed below

• ponylang / http

  View on GitHub
  ponylang HTTP client library
  ☆44Jan 20, 2026Updated last month
• clarus / coq-blog

  View on GitHub
  A blog about Coq
  ☆11Mar 21, 2021Updated 4 years ago
• randombyte-developer / kt-skript

  View on GitHub
  A Sponge plugin.
  ☆10Jul 25, 2020Updated 5 years ago
• uwplse / arvo

  View on GitHub
  A proof assistant.
  ☆12Feb 19, 2016Updated 10 years ago
• mpcsh / ForML

  View on GitHub
  Bachelor's thesis 2019
  ☆12Jun 3, 2023Updated 2 years ago
• seccomp / containers-golang

  View on GitHub
  Common libseccomp container code written in Go
  ☆14Aug 28, 2020Updated 5 years ago
• lisael / pony-postgres

  View on GitHub
  Pure pony PostgreSQL client
  ☆15Jul 4, 2017Updated 8 years ago
• rain-1 / tarot-compiler

  View on GitHub
  ☆18Aug 20, 2019Updated 6 years ago
• joewillsher / Vist

  View on GitHub
  The Vist programming language
  ☆14Feb 21, 2017Updated 9 years ago
• eclipse-tradista / tradista

  View on GitHub
  Open Source Capital Markets Platform: Unified Cross-Asset Trading, Risk Management & Post-Trade Operations. Modular, Auditable, Sovereign…
  ☆16Feb 21, 2026Updated last week
• alexandermburke / FiveNightsAtFreddys

  View on GitHub
  The official Github Repo and Download for the FNAF Mod
  ☆10Nov 10, 2015Updated 10 years ago
• theopenlab / openlab-zuul-jobs

  View on GitHub
  Ansible job definitions for OpenLab projects CI systems
  ☆15Jul 15, 2022Updated 3 years ago
• schmooblidon / slippi-visualiser

  View on GitHub
  A lightweight visualiser for Project Slippi Melee replays
  ☆21Jan 7, 2023Updated 3 years ago
• davidgfnet / reicast-emulator

  View on GitHub
  Reicast is a multiplatform Sega Dreamcast emulator
  ☆21May 26, 2019Updated 6 years ago
• pleiad / Refinements

  View on GitHub
  Experiments in formalizing refinement type systems in Coq
  ☆18Feb 7, 2016Updated 10 years ago
• ponylang / ponyup

  View on GitHub
  The Pony toolchain multiplexer
  ☆212Feb 14, 2026Updated 2 weeks ago
• dobyrch / dbc

  View on GitHub
  B compiler front end implemented using Flex+Bison+LLVM
  ☆21Jan 21, 2017Updated 9 years ago
• tomekw / simple_blockchain

  View on GitHub
  Simple blockchain in Ada
  ☆22Sep 11, 2025Updated 5 months ago
• jam1garner / nail

  View on GitHub
  A vim-inspired hex editor written in rust
  ☆25Feb 20, 2022Updated 4 years ago
• LapisBlue / Nocturne

  View on GitHub
  A graphical tool for creation of Java deobfuscation mappings.
  ☆24Nov 12, 2019Updated 6 years ago
• ponylang / http_server

  View on GitHub
  Pony library for building HTTP server applications.
  ☆36Updated this week
• phase / mars

  View on GitHub
  Minimal programming language with type inference, structures, control flow, and more.
  ☆21Jul 26, 2019Updated 6 years ago
• VincentPvoid / AO3banList-Script

  View on GitHub
  一个简单的屏蔽AO3特定作者和特定用户评论的油猴脚本
  ☆10Apr 27, 2025Updated 10 months ago
• constup / free-up-boot-drive

  View on GitHub
  Instructions and guides how to move applications, their configuration and logs from the boot drive.
  ☆12Aug 16, 2025Updated 6 months ago
• PaymonTeam / paymoncoin

  View on GitHub
  DAG-based blockchain
  ☆10Apr 20, 2019Updated 6 years ago
• electricalice / Ao3-pride-skin

  View on GitHub
  ☆12Nov 4, 2021Updated 4 years ago
• kevinsheehan / jps

  View on GitHub
  Java Jump Point Search Implementation
  ☆26Feb 21, 2016Updated 10 years ago
• Whiley / Jasm

  View on GitHub
  Assembler / Disassembler for Java Bytecode
  ☆23Jun 2, 2021Updated 4 years ago
• john01dav / ServerForge

  View on GitHub
  A Forge based Minecraft server-side plugin API
  ☆13Nov 23, 2014Updated 11 years ago
• jonasgeiler / pathix

  View on GitHub
  A simple Powershell script to clean up your PATH on Windows
  ☆17Mar 6, 2022Updated 3 years ago
• qgevans / WOPO

  View on GitHub
  IRC bot in COBOL-74
  ☆38Feb 15, 2024Updated 2 years ago
• ponylang / reactive_streams

  View on GitHub
  Pony implementation of http://www.reactive-streams.org/
  ☆41Feb 23, 2026Updated last week
• alox-ai / alox-old

  View on GitHub
  GPU Accelerated, Distributed, Actor Model Language (WIP)
  ☆30Jun 21, 2023Updated 2 years ago
• keenanjohnson / zephyr-vscode-workspace

  View on GitHub
  A VS Code Workspace for developing Zephyr Projects
  ☆11Jun 7, 2023Updated 2 years ago
• thetatoken / theta-nft-demo

  View on GitHub
  Demo project for creating and transferring an NFT token
  ☆11Aug 2, 2023Updated 2 years ago
• GoldenFalls / AO3_Skins_Mods

  View on GitHub
  A place to share site and work skins for AO3, and some bookmarklets. May also include browser extensions later on.
  ☆11Jun 16, 2023Updated 2 years ago
• fnproject / fdk-rust

  View on GitHub
  An experimental Function Development Kit for the Rust language
  ☆13Aug 13, 2021Updated 4 years ago
• guilhermec-costa / Tracker.nvim

  View on GitHub
  Data analityics and dashboards about your perfomance inside neovim? yeah 📊
  ☆12May 22, 2024Updated last year
• keeporsweep / keeporsweep-desktop

  View on GitHub
  💻🔀🗑️ Randomly declutter your computer!
  ☆10Oct 3, 2023Updated 2 years ago