Old implementation of the MaxTract system for re-engineering mathematical PDF documents.
☆12Jan 25, 2016Updated 10 years ago
Alternatives and similar repositories for MaxTract
Users that are interested in MaxTract are comparing it to the libraries listed below
Sorting:
- Train a neural network component that can add spatial transformations such as translation and rotation to larger models.☆10Apr 18, 2019Updated 6 years ago
- Example of the MaxEnt IRL trajectory interpolation method☆24Oct 25, 2022Updated 3 years ago
- The original cross platform indoor cycling solution☆24Updated this week
- This repository contains content related to 2D and 3D lane detection, as well as video lane detection. There are not only papers here, bu…☆13Sep 1, 2024Updated last year
- Tool for finding the largest possible set of trades in BoardGameGeek-style "math trades".☆45May 16, 2018Updated 7 years ago
- A svelte based alternative to powerpoint☆13Jul 23, 2022Updated 3 years ago
- A distributed graph database system (GDBMS)☆11Feb 20, 2023Updated 3 years ago
- Peer-to-peer NATS message routing and S3 object sync solution☆18Feb 5, 2026Updated last month
- Pier3 is a CMS - http://www.piercms.com/☆11Feb 13, 2026Updated 3 weeks ago
- Small collection of PAGE XML related scripts used at the ZPD Würzburg☆12Aug 2, 2024Updated last year
- Jump to better conclusions: SCAN both left and right☆11Jan 24, 2019Updated 7 years ago
- CausalTrail - a tool for performing causal reasoning using the do-calculus☆12Jun 9, 2021Updated 4 years ago
- Read bytes from stdin and pass them to the remote host☆13Oct 12, 2015Updated 10 years ago
- Python library for generating EnergyPlus inputs☆11Feb 23, 2026Updated last week
- Distributed, versioned, schema-less object storage for Python☆27Dec 2, 2021Updated 4 years ago
- dictd server bindings in go☆10Oct 1, 2016Updated 9 years ago
- This is a small demo of how to transform a simple single-server RocksDB service written in Rust into a distributed version using OmniPaxo…☆16Feb 5, 2025Updated last year
- A modular GUI toolkit for rapid☆10Jan 5, 2022Updated 4 years ago
- A cutting edge, lightweight, and powerful front-end framework for faster and easier web development☆10Feb 25, 2018Updated 8 years ago
- Simple delay VST plugin--Learning the VST 2.4 SDK and VST GUI 3.6 API☆12Dec 20, 2016Updated 9 years ago
- Scaffolding of genomic assemblies with RNA seq data☆15Oct 8, 2015Updated 10 years ago
- Utility class for working with multiple screens in Cocoa☆19Sep 5, 2011Updated 14 years ago
- Anki Sync Server☆10Feb 7, 2022Updated 4 years ago
- Simple TextEditor using TextKit 2. With all the basic features including Custom Lists, Indents, Undo Management etc☆10Jan 3, 2026Updated 2 months ago
- Cutting-edge video conferencing app with Flutter, Firebase, and Jitsi Meet. Seamlessly create/join meetings, share screens, manage audio/…☆14Feb 26, 2024Updated 2 years ago
- ☆10Aug 8, 2019Updated 6 years ago
- paper and code for New Directions in Cloud Programming, CIDR 2021☆11Feb 17, 2021Updated 5 years ago
- A Python 3 compatible fork of https://launchpad.net/pymeta☆18Jan 9, 2019Updated 7 years ago
- PolyHacks 2017 project☆10Dec 5, 2017Updated 8 years ago
- A BPMN engine. A WASM variant of lib-bpmn-engine. Playground and Showcase interactive BPMN modelling and execution.☆15Aug 30, 2023Updated 2 years ago
- Text-to-image conversion (OCR) for Pashto and Chinese, with a view towards comprehensive, multi-lingual OCR☆18Jun 23, 2020Updated 5 years ago
- Vim thingies☆11Jan 16, 2019Updated 7 years ago
- Code and pre-trained model used in ACL 2013 demo paper☆13Dec 7, 2014Updated 11 years ago
- Pure python, embedded, fast, schema-less, NoSQL database☆12Aug 1, 2020Updated 5 years ago
- a Realtime Javascript Boilerplate base on Meteor Js Framework☆13May 25, 2015Updated 10 years ago
- Iterating Function Systems☆11Mar 27, 2014Updated 11 years ago
- Nim wrapper for the miniz library.☆10Mar 21, 2020Updated 5 years ago
- Tools for scraping of twitter data, conversion, text analysis and graph construction☆11Aug 1, 2016Updated 9 years ago
- A cross-platform book management system.☆15Feb 24, 2026Updated last week