jessealama/ansel

Stars
1
Language
Lua
Created over 15 years ago
Updated over 15 years ago

jessealama/ansel

jessealama

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

A World of Warcraft screenshot addon to rule them all.

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

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.

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