a blog platform for mathematicians
☆19Feb 11, 2026Updated last month
Alternatives and similar repositories for functor-network
Users that are interested in functor-network are comparing it to the libraries listed below
Sorting:
- A web page with resources for teaching with formal methods and tools.☆14Apr 8, 2023Updated 2 years ago
- A search engine built on the Unpaywall database☆20Mar 13, 2024Updated 2 years ago
- A personal library, formalizing cohesive homotopy type theory in Agda.☆13Apr 30, 2019Updated 6 years ago
- Order random boba☆14Jul 7, 2019Updated 6 years ago
- An introduction to theorem proving in Lean for the impatient.☆19Apr 6, 2025Updated 11 months ago
- A type theory for tiny objects☆19Mar 6, 2026Updated 2 weeks ago
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Oct 22, 2023Updated 2 years ago
- Cross-referencing system for LaTeX, inspired with RDF☆18Nov 19, 2024Updated last year
- The Boole Interactive Reasoning Assistant☆30May 9, 2014Updated 11 years ago
- Source files of the previous coq.inria.fr website☆18Jan 20, 2025Updated last year
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Mar 10, 2026Updated last week
- Immutable (a.k.a. persistent or pure-functional) deque, set, and map data structures in portable Scheme.☆14Sep 14, 2020Updated 5 years ago
- A balanced unbounded interval-tree in Rust with associated values in the nodes☆13Nov 22, 2022Updated 3 years ago
- A template for generating macOS app projects with Briefcase☆29Mar 9, 2026Updated last week
- Prolog programs for Mathematical Logic for Computer Science (3rd Edition)☆17Nov 23, 2022Updated 3 years ago
- Sandwood - A JVM based Java like Probabilistic Programming Language☆34Mar 2, 2026Updated 2 weeks ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- OCaml library for partially ordered maps☆15Nov 28, 2025Updated 3 months ago
- Lenses in Coq☆17Oct 7, 2022Updated 3 years ago
- OCaml library for manipulating context-free grammars☆20Nov 28, 2025Updated 3 months ago
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆22Dec 12, 2021Updated 4 years ago
- GPU-based interaction nets evaluator☆18Nov 30, 2011Updated 14 years ago
- ☆18Jul 23, 2019Updated 6 years ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"☆21Apr 17, 2024Updated last year
- HTTP specification in Coq, testable and verifiable☆18Feb 22, 2026Updated 3 weeks ago
- Peter Selinger's LaTeX macros for Fitch style natural deduction☆19Dec 17, 2023Updated 2 years ago
- Datatypes as quotients of polynomial functors☆41May 4, 2020Updated 5 years ago
- Nix Expressions for Altera(Intel) Quartus☆17Oct 28, 2020Updated 5 years ago
- Small C to WebAsssembly compiler developed for the Compilers course at UFES☆16Mar 15, 2022Updated 4 years ago
- QuickFIX 101: Building a Sample Trading App☆19Oct 9, 2020Updated 5 years ago
- eleventy source for miriamsuzanne.com☆31Mar 10, 2026Updated last week
- Exploring Nonlinear Narratives in Movies using Story Curves☆28Dec 18, 2017Updated 8 years ago
- Lean web editor☆133Mar 14, 2026Updated last week
- OpenEdoo Core☆13Oct 4, 2017Updated 8 years ago
- A simple telnet server☆19Nov 20, 2012Updated 13 years ago
- Formalization of Linear Logic in Coq☆18Apr 7, 2025Updated 11 months ago
- Fast lojban dictionary https://foldr.moe/lidysisku/☆15Mar 11, 2026Updated last week
- Blueprint for the PNT+ Project☆281Updated this week