Search Results for "mht 2 pdf"
Sort By:
Showing 10 open source projects for "mht 2 pdf"
View related business solutions-
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
1
DeepSeek-OCR 2
Visual Causal Flow
DeepSeek-OCR-2 is the second-generation optical character recognition system developed to improve document understanding by introducing a “visual causal flow” mechanism, enabling the encoder to reorder visual tokens in a way that better reflects semantic structure rather than strict raster scan order. It is designed to handle complex layouts and noisy documents by giving the model causal reasoning capabilities that mimic human visual scanning behavior, enhancing OCR performance on documents... -
2
DeepSeek Prover V2
Advancing Formal Mathematical Reasoning via Reinforcement Learning
...The repository describes how they use recursive proof decomposition by prompting DeepSeek-V3 to break complex theorems into subgoals, synthesize proof sketches, and then combine them to bootstrap training data. They then fine-tune via reinforcement learning with binary correct/incorrect feedback to integrate informal reasoning with formal proof behavior. The repo releases two model sizes (7B and 671B) and provides evaluation performance (e.g. pass rates on MiniF2F, results on ProverBench) as well as prompt / usage examples for proof generation in Lean 4. It also includes a PDF of the paper or project overview and sample formalization datasets. Because theorem proving is a cutting-edge area in LLM research, Prover-V2 is positioned as a pushing-forward effort in formal reasoning for LLMs. -
3
MyBox
Easy Tools of PDF, Image, File, Network, Data, and Medias
javafx-desktop-apps pdf image ocr icc barcode color-palette text bytes markdown html archive compress digest video audio editor converter media https://github.com/Mararsh/MyBox Self-contain packages need not java env nor installation. Jar packages need Java 16 or higher. -
4
Image To Text tools
ITTT is a Free tool designed to Scan and extract Text from Images.
Image To Text Tools is a 100% Free user-friendly tool designed to Scan and extract containing text in images into editable text formats. Whether you need to extract text from scanned documents, photographs, or other image files, Image To Text Tools provides accurate and reliable Optical Character Recognition (OCR) capabilities to meet your needs. -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
5
BingGPT
Desktop application of Bing's AI-powered chat (Windows, Mac, Linux)
Desktop application of new Bing's AI-powered chat 1. Get access to the early preview of new Bing 2. Sign in to your Microsoft account 3. Start chatting -
6
Paperless-ng
A supercharged version of paperless, scan, index and archive docs
Paperless is a simple Django application running in two parts, a Consumer (the thing that does the indexing) and a Web server (the part that lets you search & download already-indexed documents). Paper is a nightmare. Environmental issues aside, there’s no excuse for it in the 21st century. It takes up space, collects dust, doesn’t support any form of a search feature, indexing is tedious, it’s heavy and prone to damage & loss. I wrote this to make “going paperless” easier. I do not have to... -
7
NASH OS
Nash Operating System for Modern Ecommerce
The all-built-in-one, automatic, ready-to-go out-of-box, easy-to-use state-of-the-art, and really awesome NASH OS! Over 25,000+ flexible features and controls and all scalable!! The most powerful solution ever built to instantly deliver new heights of online ecommerce enterprise to you. -
8
DoAllWithPDF_servicemenu
KDE servicemenu for pdf
allows kde user to make a lot of things whit right click on a pdf file. -
9
DrawPad
Pattern recognition tool for image, pdf and handwritings
The tool is an optical recognition tool which runs in following three mode : 1. Drawing Pad : Here the user can draw a character and the tool will recognize which character it is. 2. Image OCR : Image based OCR tool to recognize text and barcodes present in the image. It also supports saving the OCR output. 3. PDF OCR : PDF OCR is the advanced form of OCR, where PDF is parsed into image and OCR is run on that result. At present, PDF OCR comes with low maturity. -
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
10
MARS
Multi Agent Roundbased Simulator
...At the moment there is a second project-group using MARS. The german documentation of first group can be found at http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Kleine-Buening/files/ws11/pg-agents-2/Abschlussdoku-pg-1.pdf If you want to start MARS, check out all eclipse projects and run "gui.product" as Eclipse Application from the "de.upb.agents.gui" project. You can also download the Application for your OS and just start it. Further documentation will follow here. (project was started at sourceforge only two days ago) Feel free to write us or post your feedback and suggestions here.
- Previous
- You're on page 1
- Next
