jessealama/xsl4tptp jessealama/xsl4tptp

  • Stars
    star
    1
  • Language XSLT
  • Created over 12 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jessealama/xsl4tptp
github

jessealama

Reviews

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

Repository Details

Working with the XML forms of TPTP problems

More Repositories

1

argo

JSON Schema Adventures
Racket
17
star
2

decimal128

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

ladr

LADR: Library for Automated Deduction Research
C
9
star
4

dialogues

Tools for exploring logic through Lorenzen dialogue games.
Common Lisp
9
star
5

racketcon-2018-web-devel-workshop

Tutorials for the web devel workshop given at RacketCon 2018
Racket
8
star
6

computational-metaphysics

Investigations in computational metaphysics
7
star
7

ejs

Exact JSON library for Racket
Racket
6
star
8

tipi

Theory development with TPTP
Perl
6
star
9

mizar-items

Breaking up mizar articles into bits and computing relations among them.
Common Lisp
6
star
10

laramie

HTML5 parser for Racket
Racket
6
star
11

1d6

A Racket implementation of the Troll dice-rolling language
Racket
4
star
12

uri-template

URI Template (RFC 6570) for Racket
Racket
4
star
13

ce-el

Emacs utilities to facilitate copyediting tasks at the Stanford Encyclopedia of Philosophy
Emacs Lisp
4
star
14

tptp4mizar

Theories in proofs, in TPTP and Mizar
Perl
3
star
15

sturgis

Commandline web browser
Racket
2
star
16

mizar-parser

Services for parsing Mizar texts
XML
2
star
17

tptp-el

Work with TPTP files, theorem provers, and model finders
Shell
2
star
18

xslutils

Utilities for working with XSL files.
XSLT
2
star
19

hunchentoot-utils

A collection of utilities for making websites with the hunchentoot web server
Common Lisp
2
star
20

finkinfo

My fink work
Makefile
2
star
21

texweb

A web server for processing documents with TeX and friends
Common Lisp
2
star
22

json-pointer

Racket implementation of a JSON Pointer evaluator (RFC 6901)
Racket
2
star
23

rhtml5

Racket implementation of the HTML5 parsing algorithm.
Racket
1
star
24

ansel

A World of Warcraft screenshot addon to rule them all.
Lua
1
star
25

my-git

A home for all my exploratory git code
1
star
26

bozeman

XSLT for Racket
Racket
1
star
27

object-theory

Working with object theory, computationally
Common Lisp
1
star
28

dotemacs

My .emacs configuration
Emacs Lisp
1
star
29

fink-mode

Editing Fink package description files in Emacs
Emacs Lisp
1
star