KWARC/LaTeX-proposal KWARC/LaTeX-proposal

  • Stars
    star
    65
  • Rank 473,702 (Top 10 %)
  • Language
    TeX
  • Created almost 11 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
KWARC/LaTeX-proposal
github

KWARC

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

The Proposal package for LaTeX

More Repositories

1

rust-libxml

Rust wrapper for libxml2
Rust
73
star
2

llamapun

common language and mathematics processing algorithms, in Rust
Rust
25
star
3

rust-libxslt

Rust wrapper for libxslt
Rust
11
star
4

GLIF

The Grammatical Logical Inference Framework
Jupyter Notebook
8
star
5

gf_kernel

A Jupyter Kernel for GF
JavaScript
6
star
6

bibs

The joint bibliographies of the KWARC group. Automatically built by travis.
TeX
6
star
7

deprecated-LLaMaPUn

LLaMaPUn is Language and Mathematics Processing and Understanding
HTML
4
star
8

kalah-game

Kalah Game Protocol - Specification & Implementation
Go
4
star
9

KAT

KAT: An Annotation Tool for STEM Documents
HTML
4
star
10

LaTeXML-Plugin-Doc

LaTeXML post-processing target for the DOC and ODT formats
TeX
3
star
11

openmathmap

Home directory of the OpenMathMap project, a recognizable, interactive map of mathematical areas from the MSC an Zentralblatt Publication Data
JavaScript
3
star
12

Sally

Semantic Ally
JavaScript
2
star
13

Kalah-Framework

Kalah framework for the AI course at FAU WS16/17
HTML
2
star
14

water

WORK IN PROGRESS WissKI Automation Tool & Execution Robot
Go
1
star
15

gitlab-force-upload

A Golang script to force upload a folder as a git repository
Go
1
star
16

faulumpus

Python
1
star