Mizar Mathematical Library
☆16Mar 17, 2012Updated 13 years ago
Alternatives and similar repositories for MML
Users that are interested in MML are comparing it to the libraries listed below
Sorting:
- ☆26Nov 1, 2021Updated 4 years ago
- deep learning for math☆29May 4, 2019Updated 6 years ago
- ☆42May 29, 2025Updated 9 months ago
- Typescript Indexer for Sourcetrail using the TypeScript compiler and node bindings contributed to SourcetrailDB☆40Feb 12, 2022Updated 4 years ago
- Click To Cloud DevOps Toolbox☆15Sep 14, 2020Updated 5 years ago
- Bootstrap project using commercetools Sunrise Framework & Theme☆10Sep 4, 2019Updated 6 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- Minimal but powerful templating language implemented in multiple languages☆26Dec 6, 2009Updated 16 years ago
- A Pretty Printing XML Generator for Common Lisp☆18Jun 11, 2025Updated 8 months ago
- T2EX (T-Kernel 2.0 Extension)☆11Jan 21, 2025Updated last year
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- A formalization of (homotopy) limits in Homotopy Type Theory☆11Jan 11, 2015Updated 11 years ago
- QNAP NAS firmware encryption/decryption tool☆11Sep 5, 2020Updated 5 years ago
- A lens-compatible set of getters for purescript-foreign☆10Apr 4, 2017Updated 8 years ago
- Coreboot payload for PC Engines APU2 that sort boot order and save it to flash.☆15May 30, 2025Updated 9 months ago
- An experimental custom seq-2-seq model with both layer-wise (inter-layer), and intra-layer attention (attention to previous hidden states…☆10Nov 30, 2017Updated 8 years ago
- ☆16Dec 5, 2018Updated 7 years ago
- Kit for building u-boot, coreboot, shofel2, imx_usb_loader & linux kernel using Docker Toolchain☆13Jun 3, 2018Updated 7 years ago
- Manage objects inside a cdn☆19Feb 1, 2026Updated 3 weeks ago
- Materials and content for the 3-episodes Event Streaming Series by DataStax Developers☆11Sep 8, 2021Updated 4 years ago
- Single file C header for UTF-x-to-y conversions + helpers☆13Jun 11, 2023Updated 2 years ago
- An open format definition for static analysis tools☆11Jan 20, 2023Updated 3 years ago
- ESP8266-01 in-circuit firmware updater for the ZX Spectrum Next™☆13Feb 8, 2026Updated 2 weeks ago
- ☆10Jan 7, 2019Updated 7 years ago
- Reverting coreboot installation on Thinkpad X220. Moved to https://notthebe.ee/blog/revert-coreboot/☆11Sep 11, 2018Updated 7 years ago
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years 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
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- Code for our paper "AMR-DA: Data augmentation by abstract meaning representation" in ACL 2022☆13May 17, 2022Updated 3 years ago
- A single-header C command line parsing library☆15Jun 13, 2018Updated 7 years ago
- GEMM☆10Aug 26, 2023Updated 2 years ago
- A blog about Coq☆11Mar 21, 2021Updated 4 years ago
- ☆12May 9, 2015Updated 10 years ago
- Code and demo for SFHTML5 Talk - D3 in Practice☆10Oct 1, 2015Updated 10 years ago
- OpenAstroTech FirmWare Graphical User Interface☆12Oct 26, 2025Updated 4 months ago
- 3scale is an API Infrastructure service which handles API Keys, Rate Limiting, Analytics, Billing Payments and Developer Management. Incl…☆22Mar 17, 2017Updated 8 years ago
- ☆11Dec 23, 2025Updated 2 months ago
- Source code for 'Mastering Salesforce DevOps' by Andrew Davis☆10May 13, 2020Updated 5 years ago