2016 Edition of the Free Encyclopedia of Mathematics (top-level repo)
☆19Mar 8, 2016Updated 9 years ago
Alternatives and similar repositories for fem2016
Users that are interested in fem2016 are comparing it to the libraries listed below
Sorting:
- ☆24Jun 25, 2025Updated 8 months ago
- Open this project in github☆26Feb 14, 2015Updated 11 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆33Oct 30, 2020Updated 5 years ago
- Text expansion utility app for macOS☆31Feb 20, 2020Updated 6 years ago
- Archive of questions from the Cambridge Mathematics Tripos☆10Jun 6, 2022Updated 3 years ago
- Ethereum private blockchain monitoring tool☆11Sep 4, 2017Updated 8 years ago
- Self-assembling HTTP API libraries☆38Aug 31, 2020Updated 5 years ago
- A php library for working with Table Schema.☆12Jul 28, 2025Updated 7 months ago
- A declarative head for react apps that handles side effects☆10Oct 7, 2018Updated 7 years ago
- One hour lecture to introduce LaTeX to maths undergraduates.☆10Oct 2, 2020Updated 5 years ago
- Compiles (La)TeX code to responsive SVGs☆11Apr 28, 2023Updated 2 years ago
- ☆10Jul 29, 2016Updated 9 years ago
- Open Stripe Checkout programmatically☆12Feb 21, 2018Updated 8 years ago
- A GSS plugin for Garden☆11Sep 10, 2014Updated 11 years ago
- Flash messages for next.js. Works on both the client and the server.☆12Oct 21, 2018Updated 7 years ago
- Use koa or express on lambda!☆11Nov 10, 2016Updated 9 years ago
- End-to-end tests for shell commands☆12Feb 13, 2026Updated 2 weeks ago
- ☆11Jan 8, 2021Updated 5 years ago
- auth plugin for sinopia supporting htpasswd format☆11May 16, 2015Updated 10 years ago
- Heroku build adapter for Next.js (an npm module)☆12Sep 3, 2017Updated 8 years ago
- Pipe your Mac Contacts to stdout in NDJSON format☆13Dec 9, 2016Updated 9 years ago
- A light-weight library for manual distributed system tracing☆11Feb 2, 2022Updated 4 years ago
- Multi-adapter bucket-based file system abstraction. #golang☆14Dec 3, 2025Updated 3 months ago
- Abstract File Storage Connectors☆13Feb 10, 2026Updated 2 weeks ago
- datomic odds and ends☆30Jun 25, 2015Updated 10 years ago
- Fake transform-scrolling with angular-friendly utilities☆66Dec 12, 2013Updated 12 years ago
- Rewrite nested Clojure data with a declared shape.☆21Feb 5, 2026Updated 3 weeks ago
- HTML server rendering middleware☆13Feb 19, 2017Updated 9 years ago
- Consume a readable stream generator-style☆40Nov 28, 2016Updated 9 years ago
- [WIP] Svelte clone in Go☆12Jul 17, 2024Updated last year
- An efficient, secure localtunnel clone☆10Mar 22, 2018Updated 7 years ago
- A catalog of interesting clojure.spec repos and gists☆10Apr 4, 2017Updated 8 years ago
- Lightning Fast Graphing/Visualization, built on RRDTool☆110Apr 15, 2023Updated 2 years ago
- Little directed graph with backlink support.☆11Nov 19, 2015Updated 10 years ago
- Simulate System76 EC with area8051 emulator☆12Mar 2, 2024Updated 2 years ago
- Heirloom is a small online recipe manager☆15Mar 5, 2023Updated 2 years ago
- Google Calendarに予定を追加するurlを生成します。☆19Oct 22, 2024Updated last year
- simple and functional concurrency primitives for Clojure☆50Mar 26, 2018Updated 7 years ago
- 📤 In-memory implementation of SQS ideal for unit testing.☆14Jun 8, 2024Updated last year