Search Results for "alpha"
Sort By:
Showing 14 open source projects for "alpha"
View related business solutions-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
Forever Free Full-Stack Observability | 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.
-
1
Bibreducer
Filter out not cited bibliographic entries
Use this to remove all unused entries in bibliographic files (.bib). Keys used with cite, citep and citet commands in the manuscript will be kept by default. More commands may be added. -
2
Deinputex
Convert a latex document using the input directive to a single file.
Convert a latex document using the input directive to a single file. Example of use: java -jar deinputex.jar -i manuscript.tex -o manuscript-single.tex --verbose -
3
MathOCR
A scientific document recognition system
MathOCR is a printed scientific document recognition system. MathOCR is still in the pre-alpha stage, recognition result may not be good enough for practical purposes. MathOCR is a printed scientific document recognition system written in pure Java. MathOCR has the functionality of image preprocessing, layout analysis and character recognition, especially the ability to recognize mathematical expression. MathOCR can work do not depends on other OCR software. -
4
Hilbert II - QEDEQ
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started. -
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
5
LaTeXTaglet is a javadoc taglet for using LaTeX formula in standard javadoc-generated html documentation.
-
6
MieZ is a WYSIWYG-editor for TikZ documents. This project is now being developed on http://github.com/Antimon2000/MieZ
-
7
Some text parser, that transforms a custom TeX-like syntax into XML. Un parseur, qui produit du XML à partir d'une syntaxe ressemblant à TeX.
-
8
A Web-Application working in conjunction with the obby protocol to view documents written by other people live on a website, integrated with mediawiki and equipped with full LaTex support. It's main purpose is Real-Time Note-Taking at University
-
9
The BibXML Editor helps to manage bibliography information stored in an XML-based file. Export filters allows to generate BibTex files or HTML pages.
-
Streamline Azure Security with Palo Alto Networks VM-SeriesImprove your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
-
10
BibTeXlib is a BibTeX library written in JAVA. You can use it to extract information from BibTeX files, manipulate this information, and save it to BibTeX files.
-
11
-
12
-
13
-
14
JBib2HTML is a Java based software that converts bibtex files to HTML format. It comes with predefined conversion templates and is easily extensible so that you can create your own custom implementations of exports.
- Previous
- You're on page 1
- Next