English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
☆40Jun 16, 2026Updated 4 months ago
Alternatives and similar repositories for Peano_Book
Users that are interested in Peano_Book are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Repository for statically built Shadowsocks binaries☆10Jul 1, 2020Updated 6 years ago
- Block that provides a QR code that teachers can show on introductory slides☆12Jul 29, 2026Updated 3 months ago
- Web application for course on Formal Reasoning About Programs☆20Sep 17, 2025Updated last year
- A compiler and bytecode interpreter for a subset of Python☆10Jan 23, 2021Updated 5 years ago
- Modern web interface for ReCodEx system☆13Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Yet Another Aria2 JSON-RPC Client.☆22Jun 15, 2025Updated last year
- A simple 'hello-world' app using SwiftGtk☆17Nov 7, 2025Updated 11 months ago
- Artifact for paper: Breaking and Fixing Speculative Load Hardening☆11Jan 3, 2024Updated 2 years ago
- Fancy New Discord Lib Written in Emojicode☆15Mar 3, 2019Updated 7 years ago
- A porting of the Beamer "Metropolis" theme (https://github.com/matze/mtheme) to Libreoffice Impress.☆15Jan 11, 2018Updated 8 years ago
- Create a Healy-style CV in latex without having to tweak latex files. This fork uses biblatex to generate the bibliography and includes l…☆15Oct 14, 2026Updated 2 weeks ago
- Pure function validation for Kotlin multiplatform☆10May 8, 2019Updated 7 years ago
- Contains exercises for the workshop in generic programming at Lambda World 2019☆10Oct 17, 2019Updated 7 years ago
- The Rocq Prover bot☆32Oct 26, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Textbook on Gödel's incompleteness theorems and computability theory☆22Jul 12, 2026Updated 3 months ago
- Simple monitoring network ports☆13Jun 2, 2024Updated 2 years ago
- Open textbook on modal logic☆25Jul 12, 2026Updated 3 months ago
- ☆20Dec 12, 2024Updated last year
- code that orchestrates ebook conversion for project gutenberg☆15Oct 19, 2026Updated 2 weeks ago
- Restoration for the six-part Sega Dreamcast multimedia discs "Grauen no Torikago".☆10Aug 23, 2024Updated 2 years ago
- Coq plugin for extracting Rust code☆25Jun 29, 2026Updated 4 months ago
- 防災アプリ開発 Advent Calendar 2024 24日目の記事で作成したパッケージ☆14Dec 23, 2024Updated last year
- V6 Thompson Shell Port☆13Sep 10, 2011Updated 15 years 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.
- In the beginning... [Revision E, from February 1985, transcribed in its entirety from printout and restored.]☆14Sep 5, 2025Updated last year
- Aulas práticas UM CP19-20☆10May 21, 2020Updated 6 years ago
- .SRCINFO parsing library☆11Oct 6, 2026Updated 3 weeks ago
- Get description of any word from merriam-webster on your CLI, in nice format!☆10Dec 19, 2022Updated 3 years ago
- 新浪博客到WordPress搬家工具 | Move Sina Blog to WordPress☆10Oct 10, 2018Updated 8 years ago
- Fast, reliable ebook management☆10Sep 3, 2024Updated 2 years ago
- Transform a Folder into a Stack Template☆15Aug 23, 2026Updated 2 months ago
- ☆12Mar 30, 2023Updated 3 years ago
- Functional Language extending the enriched effect calculus. Linear usage of effects. Implemented with Scala 3.☆21Aug 5, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- A mirror of Ada Reference Manual sources☆11Nov 11, 2023Updated 2 years ago
- A toy IO library for Arend☆19Feb 12, 2021Updated 5 years ago
- Decompilation of Cave Story. Made with IDA Pro☆20Oct 4, 2018Updated 8 years ago
- ☆10Apr 28, 2019Updated 7 years ago
- ☆26Mar 30, 2026Updated 7 months ago
- Faster Montgomery and Joye ladder formulas for short Weierstrass elliptic curves☆22Jul 1, 2020Updated 6 years ago