mdnahas / Peano_BookView external linksLinks
English translation with original Latin for "Arithmetices Principia, Nova Methodo Exposita" by Giuseppe Peano
☆37Apr 24, 2022Updated 3 years ago
Alternatives and similar repositories for Peano_Book
Users that are interested in Peano_Book are comparing it to the libraries listed below
Sorting:
- A toy IO library for Arend☆18Feb 12, 2021Updated 5 years ago
- Working through the Thinking with Types book in Haskell☆34May 1, 2020Updated 5 years ago
- Sage implementation of the MAYO scheme☆14Feb 3, 2025Updated last year
- Python interface to online UC Davis student services☆11Sep 20, 2016Updated 9 years ago
- Fubiz client for mac using Murlok.☆10Feb 4, 2017Updated 9 years ago
- A Python package that downloads BBC radio programme tracklists; ideal for use with get_iplayer☆14May 21, 2024Updated last year
- A Vim/Neovim plugin for typing ancient Greek characters☆11Jul 17, 2025Updated 6 months ago
- csvt is a command line tool for processing CSV.☆13Jan 14, 2026Updated last month
- Contains exercises for the workshop in generic programming at Lambda World 2019☆10Oct 17, 2019Updated 6 years ago
- Working through https://leanpub.com/optics-by-example by Chris Penner☆11Sep 9, 2021Updated 4 years ago
- A formatter for QMK keymaps.☆15Dec 29, 2025Updated last month
- p5.gvm.js is a library for p5.js that allows you to easily create generative video with rhythm.☆12Jun 23, 2025Updated 7 months ago
- ADA4522-2ARMZ Lownoise Amp☆11Jul 3, 2022Updated 3 years ago
- ScummVM fork for AmigaOS 3☆10Dec 27, 2016Updated 9 years ago
- Save Editor for PC version of Dead Space☆13Dec 8, 2022Updated 3 years ago
- Fast, reliable ebook management☆10Sep 3, 2024Updated last year
- A web application that allows users to quickly get disaster prevention information☆11Dec 31, 2025Updated last month
- ofuton provides N-dimensional FFT.☆11Jan 1, 2018Updated 8 years ago
- serverless framework plugin for writing functions with Reason☆13Sep 21, 2020Updated 5 years ago
- V6 Thompson Shell Port☆11Sep 10, 2011Updated 14 years ago
- MQL5 source code (select BRANCH for a specific strategy)☆10Mar 2, 2015Updated 10 years ago
- DocumentosBr é um 'wrapper' para a suíte de funcionalidades das Gems 'CpfUtils', 'CnpjUtils' e 'TituloEleitorUtils'.☆10Jun 30, 2018Updated 7 years ago
- Local driven AI assistent plugin written in the cutting-edge Vim9 script and powered by ollama☆12Apr 11, 2024Updated last year
- Chrome extension to summarize and translate web pages. Uses Claude as the backend.☆14Jan 17, 2026Updated 3 weeks ago
- Lyricaly gets Lyrics delivered to your Terminal for any Song. Uses Python beautifulsoup4 to scrap lyrics. pypi: lyricaly☆10Jan 2, 2017Updated 9 years ago
- ガリグ先生 2018年度後期・数理解析・計算機数学 II (同 概論II)☆13Feb 27, 2019Updated 6 years ago
- ☆11Dec 13, 2020Updated 5 years ago
- App for setting the volume for USB dacs on Android (Can fix the low volume issue with the Apple USB jack adapter)☆21Dec 18, 2024Updated last year
- A command and control system for C2A-based satellites☆16Feb 6, 2026Updated last week
- ☆12Jul 13, 2017Updated 8 years ago
- ☆16Feb 6, 2026Updated last week
- An Android/Kotlin example of a Dagger/Retrofit implementation for an environment with both basic auth and bearer token secured endpoints.☆13May 23, 2018Updated 7 years ago
- explainshell.com CLI implementation in Rust☆15Mar 27, 2019Updated 6 years ago
- Solution for the testing kata imparted during the mobile testing training written in Kotlin☆15Mar 10, 2020Updated 5 years ago
- Coq plugin for extracting Rust code☆18Dec 15, 2025Updated last month
- Kotlin Gradle plugins for conveniently setting up Kotlin projects (JVM/MPP), publishing, Dokka, etc☆16Feb 5, 2026Updated last week
- A long, two-lines fish prompt theme☆13May 17, 2022Updated 3 years ago
- Flowbject is a library that allows you to describe state machines with objects.☆13Sep 29, 2019Updated 6 years ago
- ☆13Nov 13, 2015Updated 10 years ago