425 Open source projects that are alternatives of or similar to LinearOne

No description or website provided.

Resolution theorem proving for predicate logic in pure Python.

Because LaTeX shouldn't be boring! 🐠 LaTeX package inspired by sphinx-rtd-theme. Build with tcolorbox, minted, tikz, etc,.

MIT Ph.D. Thesis in LaTeX

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden

A mini DSL to generate LaTeX from Nim

Convert a TeX or LaTeX string to an SVG.

My themes for Beamer.

LaTeX/XeLaTeX templates for academic publications: articles, dissertations, posters, and bachelor’s/master’s theses

a collection of cv and resume styles

A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.

Golang definition for LaTeX's listings mode. Code coloration for Go in your LaTeX files!

🐳 A simple docker image for pandoc with filters, templates, fonts, and the latex bazaar

Beautiful pseudocode for the Web

Improved version of Detex - tool for extracting plain text from TeX and LaTeX sources

武汉理工大学本科生毕业设计（论文） LaTeX 模板 LaTeX Template for Bachelor's Degree Thesis at Wuhan University of Technology (WHUT)

Cheat Sheets for programming languages and tools

Compile simple (or not so simple) Markdown memos to html and/or pdf via LaTeX with pandoc.

📚 Estilo para BibLaTeX compatível com as normas da ABNT

A LaTeX template for academic CVs

Snipmate.vim support for BibTeX files

A LaTeX template for writing thesis in NCTU.

A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.

HES-SO//Master MSE thesis template

German short introduction to LaTeX

Latex template - Pontificia Universidad Católica de Chile

将Typora伪装成LaTeX的中文样式主题，本科生轻量级课程论文撰写的好帮手。This is a theme disguising Typora into Chinese LaTeX style.

A Persian Latex Template that can be used in different instances such as assignments, exams, quizzes; Not suitable for long documents such as theses or project reports.

A testing and building system for LaTeX

Create PNG Images from LaTeX Formulas

四川大学非官方Beamer模板 | Unofficial Beamer Template for Sichuan University

TUD-Script

A collection of hacks to efficiently run LaTeX via ssh

An UNOFFICIAL LaTeX thesis template for Seoul National University (SNU), Korea.

Stata Workflows for LaTeX Output

Library for parsing .bib files, used in Bibliography.js 📚

A feature complete bibtex parser using nom

Tarski - An AI Planning Modeling Framework

西北工业大学硕博学位论文模版 | Yet Another Thesis Template for Northwestern Polytechnical University

LTeX Language Server: LSP language server for LanguageTool 🔍✔️ with support for LaTeX 🎓, Markdown 📝, and others

Книга «Clojure на производстве»

📔 A package for converting and rendering markdown documents in TeX

small (la)tex files showing features, solutions and attempts

A Beamer theme that adheres to the University of Sydney Branding

Export a repo's wiki as a PDF ebook.

Latex package to include emoji in Latex document

西安电子科技大学研究生学位论文XeLaTeX模板

16 lectures about "Software Systems Design" presented in Innopolis University in 2021 for 3rd year BSc students

LaTeX support in Parsedown

Este repositório contém o template para a realização do relatório final da disciplina de estágio obrigatório da FGA - UnB em LaTeX

ads2bibdesk helps you add astrophysics articles listed on NASA/ADS to your BibDesk database using the new ADS Developer API

A sharing of the learning process of mathematical modeling 数学建模常用工具模型算法分享：数学建模竞赛优秀论文，数学建模常用算法模型，LaTeX论文模板，SPSS工具分享。

📓 An Unofficial Graduate Report Template in LaTeX for Huazhong University of Science and Technology

"Self-training with Noisy Student improves ImageNet classification" pytorch implementation

南方科技大学 LaTeX 模板目录 SUSTech LaTeX templates

A minimal & modern LaTeX template for reports

My LaTeX Beamer Templates for Daily Presentation and Documentation.

DIME's LaTeX templates and LaTeX exercises teaching anyone new to LaTeX how to use LaTeX and how to use DIME's templates

Upmath LaTeX Renderer

Use markdown to write your handouts and books in Tufte style.