Imperial College London lecture notes for Geometry, Algebra, and Number Theory
☆52Oct 14, 2023Updated 2 years ago
Alternatives and similar repositories for IC-GANT
Users that are interested in IC-GANT are comparing it to the libraries listed below
Sorting:
- Cambridge Maths Tripos notes☆37Oct 14, 2020Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Mar 20, 2024Updated last year
- Proofs written in Lean4 for the core katydid validation algorithm☆18Sep 17, 2025Updated 5 months ago
- Lecture notes from Cambridge maths☆73Feb 1, 2024Updated 2 years ago
- Polyfills for MathML features☆20Jan 7, 2026Updated last month
- ☆26Aug 2, 2022Updated 3 years ago
- A polymorphic interface for elliptic curve operations☆43Jun 23, 2023Updated 2 years ago
- Math-specific tutorial/sample project for Liqvid☆22Aug 21, 2022Updated 3 years ago
- JavaScript-based translation of UnicodeMath to MathML 4.0. The facility supports dictation, speech, Nemeth braille, and LaTeX. The intera…☆33Feb 13, 2026Updated 3 weeks ago
- Lean for the Curious Mathematician 2020☆68Oct 24, 2023Updated 2 years ago
- TikZJax is TikZ running under WebAssembly in the browser☆33Jan 7, 2025Updated last year
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- A non-interactive proof assistant using the Haskell type system☆38Apr 11, 2020Updated 5 years ago
- jpdfbookmarks - fix JPdfBookmarks GUI mode open a pdf have bookmarks include CJK (Chinese , Japanese , Korean ) characters will show like…☆11Sep 4, 2023Updated 2 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- ☆22Dec 3, 2024Updated last year
- ☆10Nov 1, 2023Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- The project is advised by Professor Robert Engle in his FINANCIAL ECONOMETRICS PhD course. I made comparison between the performance of d…☆10Sep 14, 2018Updated 7 years ago
- ☆11Dec 30, 2020Updated 5 years ago
- 14年使用socketio做的一个聊天室😂☆13Feb 5, 2023Updated 3 years ago
- An async-friendly streaming parser for geonames data.☆12Nov 2, 2015Updated 10 years ago
- deep learning course materials☆15Jun 24, 2020Updated 5 years ago
- Convert ALTO XML to plain text + minimal metadata☆17Oct 17, 2024Updated last year
- Create P2P apps between browsers☆13Dec 30, 2022Updated 3 years ago
- A proof of concept project for testing the modifications to the PS4 UI.☆11May 11, 2021Updated 4 years ago
- Our first-year mathematics graduate school notes☆10Dec 20, 2021Updated 4 years ago
- Model-free policy gradient algorithm for LQR☆10Apr 8, 2020Updated 5 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- LuaJIT FFI bindings to jq☆12Jun 6, 2025Updated 9 months ago
- MacOS Javascript JavaScript for Automation (JXA) bundler. Creates MacOS Apps, Commandline Scripts. Allows to use libaries from NPM.☆10Jun 8, 2022Updated 3 years ago
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- A place to share and discover feeds.☆14Aug 4, 2023Updated 2 years ago
- 📺 Retrieve episode information from a filename☆12Oct 25, 2017Updated 8 years ago
- Introducing SwiftUI. A declarative way to create User Interfaces with Swift.☆10Jun 6, 2019Updated 6 years ago
- Adds collapsible outline to pdf, taking advantage of the file system of nodejs☆11Jan 12, 2023Updated 3 years ago
- Solving Competition Geometry Problems in Lean☆31Aug 26, 2025Updated 6 months ago
- A Haskell library making it easier to write Alex lexers.☆12Sep 15, 2025Updated 5 months ago
- Static blog hosted on GitHub Pages, deployed via GitHub Actions, edited on GitHub Issues, build with 11ty☆10Oct 12, 2019Updated 6 years ago