jessealama/ejs

Stars
6
Rank 2,477,532 (Top 50 %)
Language
Racket
License
ISC License
Created almost 6 years ago
Updated about 1 year ago

jessealama/ejs

jessealama

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

Exact JSON library for Racket

argo

JSON Schema Adventures

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

decimal128

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

tipi

Theory development with TPTP

laramie

HTML5 parser for Racket

mizar-items

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

1d6

A Racket implementation of the Troll dice-rolling language

ce-el

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

uri-template

URI Template (RFC 6570) for Racket

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.

finkinfo

hunchentoot-utils

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

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