jessealama/texweb

Stars
2
Language
Common Lisp
Created over 14 years ago
Updated over 14 years ago

jessealama/texweb

jessealama

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

A web server for processing documents with TeX and friends

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

mizar-parser

Services for parsing Mizar texts

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

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