☆16Jan 24, 2024Updated 2 years ago
Alternatives and similar repositories for 03_Mathematical_logic_and_foundations
Users that are interested in 03_Mathematical_logic_and_foundations are comparing it to the libraries listed below
Sorting:
- 2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)☆19Mar 8, 2016Updated 9 years ago
- ☆39Mar 10, 2018Updated 7 years ago
- ☆11May 3, 2023Updated 2 years ago
- ☆26Jun 26, 2023Updated 2 years ago
- ☆23Feb 5, 2024Updated 2 years ago
- Create a Toxicity Chart based on metrics provided by checkstyle rules.☆10Aug 13, 2015Updated 10 years ago
- Some hacks on top of Alain Picard's CSV parser☆16Jun 2, 2014Updated 11 years ago
- My SMW workspace for all of my public stuff. Contributions via pull requests are welcome!☆11Jan 24, 2025Updated last year
- Quantnet: SFE quantlets☆11Oct 27, 2025Updated 4 months ago
- ☆14Dec 7, 2022Updated 3 years ago
- A minimal runtime for seL4 applications.☆14Mar 17, 2025Updated 11 months ago
- The spell program from the 10th Edition Unix system☆10Jul 12, 2020Updated 5 years ago
- ☆11Dec 4, 2024Updated last year
- Dumpy: A Compact and Adaptive Index for Large Data Series Collections (SIGMOD'23)☆13Dec 12, 2023Updated 2 years ago
- Finance 6470: Derivatives Markets☆10Apr 15, 2021Updated 4 years ago
- Zclassic Official Website - https://zclassic.org☆12Jul 30, 2022Updated 3 years ago
- Utility classes for dense and sparse matrices in JCuda☆11Mar 8, 2019Updated 6 years ago
- Custom GPIO-based I2C master kernel module (based on OpenWrt version)☆11Feb 6, 2019Updated 7 years ago
- WavSpA: Wavelet Space Attention for Enhancing Transformer's Long Sequence Learning☆12Feb 24, 2024Updated 2 years ago
- ☆12Jan 27, 2026Updated last month
- cybersecurity toolbox☆10Dec 7, 2022Updated 3 years ago
- This repository contains static builds of Qt for Windows that are compatible with Bitcoin Core.☆11Sep 4, 2021Updated 4 years ago
- CLUnit: A Common Lisp Unit Testing Framework.☆24Oct 11, 2017Updated 8 years ago
- Purely Functional Data Structures☆12Mar 19, 2025Updated 11 months ago
- A textbook on informal homotopy type theory -- Vladimir's fork, retained because there is a pull request based on it.☆11Feb 28, 2015Updated 11 years ago
- Functional Data Analysis using Square-Root Slope Framework☆10Oct 26, 2020Updated 5 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- An arduino video game console that uses cartridges and has the same size as a standard business card☆12Aug 19, 2021Updated 4 years ago
- Program multiple nRF5 devices concurrently with this nrfjprog inspired python module/exe☆11May 23, 2018Updated 7 years ago
- A simple file system database. Extracted from Bill St. Clair's Lisplog and ported to SBCL.☆12Oct 31, 2011Updated 14 years ago
- A bunch of extra functionality for Hakyll-based sites.☆11Sep 30, 2015Updated 10 years ago
- ☆17Jun 8, 2016Updated 9 years ago
- Tools to Deal with Fuzzy Numbers in R☆13Nov 15, 2021Updated 4 years ago
- Repository for all documentation written about tools hosted at github.com/containers☆13Mar 29, 2023Updated 2 years ago
- Lightweight framework for structured and repeatable model validation☆11Jan 8, 2026Updated last month
- DESTRUCTURING-BIND with proper error signaling☆13Apr 30, 2020Updated 5 years ago
- Emacs Lisp namespaces (defpackage)☆18Aug 18, 2012Updated 13 years ago
- A multi-platform Usenet client☆17Feb 4, 2023Updated 3 years ago
- A library of ASCII encoding schemes for binary data, written in Common Lisp☆17Apr 1, 2017Updated 8 years ago