KWARC/llamapun KWARC/llamapun

  • This repository has been archived on 25/Mar/2024
  • Stars
    star
    25
  • Rank 957,573 (Top 19 %)
  • Language
    Rust
  • License
    GNU General Publi...
  • Created about 9 years ago
  • Updated 8 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
KWARC/llamapun
github

KWARC

Reviews

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

Repository Details

common language and mathematics processing algorithms, in Rust

More Repositories

1

rust-libxml

Rust wrapper for libxml2
Rust
73
star
2

LaTeX-proposal

The Proposal package for LaTeX
TeX
65
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