Collection of tools to extract semantic information from (mathematical) research articles
☆22Feb 7, 2026Updated last month
Alternatives and similar repositories for theoremkb
Users that are interested in theoremkb are comparing it to the libraries listed below
Sorting:
- An attempt towards univalent classical mathematics in Cubical Agda.☆32Sep 15, 2023Updated 2 years ago
- Installation and configuration of WireGuard on Ubuntu servers for building a mesh network.☆12Mar 21, 2024Updated last year
- Open-source combined Linear Algebra and Ordinary Differential Equations textbook☆10Jan 5, 2024Updated 2 years ago
- Schnorr signature verification in SVM☆10Feb 24, 2026Updated last week
- Necessary APIs and functions to control a Hero black 5 or 6 from3DR Solo app or Solex☆13Apr 15, 2019Updated 6 years ago
- An Awesome OCaml splashscreen☆10Apr 1, 2022Updated 3 years ago
- Experimental normalisation via scheme☆12Jul 25, 2021Updated 4 years ago
- DeepLens Family Assistant provides dementia patients with personalized device recognizing family members and audio playing their bio☆10Feb 14, 2018Updated 8 years ago
- Draw lines to the top of a datapoint in with a small, lightweight and reliable ChartJS plugin for Line charts specifically. This plugin w…☆11Dec 10, 2022Updated 3 years ago
- ☆13Apr 12, 2019Updated 6 years ago
- p0f git repo - unofficial clone☆15Nov 1, 2012Updated 13 years ago
- ☆23Sep 22, 2021Updated 4 years ago
- R code to "average" GPS traces from OpenStreetMap to derive usable GPX tracks for roadways☆21Dec 4, 2018Updated 7 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Oct 30, 2023Updated 2 years ago
- Go SDK of Malicious Wallet Address Database☆11Apr 9, 2018Updated 7 years ago
- A Laravel Multi-Level Marketing CMS.☆10Jul 16, 2015Updated 10 years ago
- ☆12Jun 14, 2021Updated 4 years ago
- z-way image based on raspberian to run under ARM-based CPUs like rpi☆11May 21, 2018Updated 7 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- Magnetorquer related hardware design☆10Jan 26, 2026Updated last month
- node DTLS server wrapping mbedtls☆13Apr 9, 2024Updated last year
- T-Mobile ID enabled authentication strategy for Passport and Node.js☆12Mar 23, 2015Updated 10 years ago
- Engine development: OpenWebGlobe for stand alone applications (C++)☆21Jul 19, 2011Updated 14 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- JS Client to Contribute Ping Times to the Validators.app Ping Thing☆13Feb 16, 2026Updated 3 weeks ago
- Collection of benchmarks that reveal the performance of some lexing and parsing issues (mostly C# runtime)☆10May 7, 2022Updated 3 years ago
- ☆10Jun 3, 2019Updated 6 years ago
- 1 Byte Currency ISO type for PostgreSQL☆19Mar 14, 2025Updated 11 months ago
- An agent-based model of decentralized dispute resolution oracle.☆12Oct 4, 2018Updated 7 years ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 2 years ago
- A formally verified bug finder☆14Nov 25, 2024Updated last year
- Search for secrets left in git history☆14Sep 22, 2018Updated 7 years ago
- Audible Electromagnetic Interference Detector - Model ET-1☆14Mar 7, 2020Updated 6 years ago
- OreSat hardware for high speed data communications using 2.4 GHz WiFi.☆16Jan 22, 2026Updated last month
- A docker-compose example with node, mongodb and nginx :)☆12May 5, 2016Updated 9 years ago
- SunSpec domain model and use cases for Go☆15Sep 18, 2024Updated last year
- Lockless Multiple Producer Single Consumer Queue for ocaml-multicore☆17Mar 20, 2022Updated 3 years ago
- Library to detect what video and audio codecs a browser supports.☆17Oct 9, 2016Updated 9 years ago
- Pure & Incomplete STUN protocol in OCaml☆14Dec 8, 2022Updated 3 years ago