jessealama/mizar-parser

Stars
2
Language XML
Created almost 13 years ago
Updated over 11 years ago

jessealama/mizar-parser

jessealama

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

Services for parsing Mizar texts

argo

JSON Schema Adventures

decimal128

JavaScript userland partial implementation of IEEE 754 Decimal128 decimal floating-point arithmetic

ladr

LADR: Library for Automated Deduction Research

dialogues

Tools for exploring logic through Lorenzen dialogue games.

racketcon-2018-web-devel-workshop

Tutorials for the web devel workshop given at RacketCon 2018

computational-metaphysics

Investigations in computational metaphysics

ejs

Exact JSON library for Racket

tipi

Theory development with TPTP

mizar-items

Breaking up mizar articles into bits and computing relations among them.

laramie

HTML5 parser for Racket

1d6

A Racket implementation of the Troll dice-rolling language

uri-template

URI Template (RFC 6570) for Racket

ce-el

Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophy

tptp4mizar

Theories in proofs, in TPTP and Mizar

sturgis

Commandline web browser

tptp-el

Work with TPTP files, theorem provers, and model finders

xslutils

Utilities for working with XSL files.

hunchentoot-utils

A collection of utilities for making websites with the hunchentoot web server

finkinfo

texweb

A web server for processing documents with TeX and friends

json-pointer

Racket implementation of a JSON Pointer evaluator (RFC 6901)

rhtml5

Racket implementation of the HTML5 parsing algorithm.

ansel

A World of Warcraft screenshot addon to rule them all.

my-git

A home for all my exploratory git code

bozeman

XSLT for Racket

object-theory

Working with object theory, computationally

dotemacs

My .emacs configuration

xsl4tptp

Working with the XML forms of TPTP problems

fink-mode

Editing Fink package description files in Emacs