KWARC/Sally

This repository has been archived on 26/May/2020
Stars
2
Language
JavaScript
Created almost 12 years ago
Updated over 10 years ago

KWARC/Sally

KWARC

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

Semantic Ally

rust-libxml

Rust wrapper for libxml2

LaTeX-proposal

The Proposal package for LaTeX

llamapun

common language and mathematics processing algorithms, in Rust

rust-libxslt

Rust wrapper for libxslt

GLIF

The Grammatical Logical Inference Framework

Jupyter Notebook

gf_kernel

A Jupyter Kernel for GF

bibs

The joint bibliographies of the KWARC group. Automatically built by travis.

deprecated-LLaMaPUn

LLaMaPUn is Language and Mathematics Processing and Understanding

kalah-game

Kalah Game Protocol - Specification & Implementation

KAT

KAT: An Annotation Tool for STEM Documents

LaTeXML-Plugin-Doc

LaTeXML post-processing target for the DOC and ODT formats

openmathmap

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

Kalah-Framework

Kalah framework for the AI course at FAU WS16/17

water

WORK IN PROGRESS WissKI Automation Tool & Execution Robot

gitlab-force-upload

A Golang script to force upload a folder as a git repository

faulumpus