The KWARC Research Group at FAU Erlangen-Nürnberg (@KWARC)
Guthub

KWARC

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

rust-libxml

Rust wrapper for libxml2
Rust
73
star
2

LaTeX-proposal

The Proposal package for LaTeX
TeX
65
star
3

llamapun

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

rust-libxslt

Rust wrapper for libxslt
Rust
11
star
5

GLIF

The Grammatical Logical Inference Framework
Jupyter Notebook
8
star
6

gf_kernel

A Jupyter Kernel for GF
JavaScript
6
star
7

bibs

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

deprecated-LLaMaPUn

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

kalah-game

Kalah Game Protocol - Specification & Implementation
Go
4
star
10

KAT

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

LaTeXML-Plugin-Doc

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

openmathmap

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

Sally

Semantic Ally
JavaScript
2
star
14

Kalah-Framework

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

water

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

gitlab-force-upload

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

faulumpus

Python
1
star