jessealama/1d6 jessealama/1d6

  • Stars
    star
    4
  • Rank 3,213,712 (Top 65 %)
  • Language
    Racket
  • License
    ISC License
  • Created about 5 years ago
  • Updated over 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jessealama/1d6
github

jessealama

Reviews

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

Repository Details

A Racket implementation of the Troll dice-rolling language

More Repositories

1

argo

JSON Schema Adventures
Racket
17
star
2

ladr

LADR: Library for Automated Deduction Research
C
9
star
3

dialogues

Tools for exploring logic through Lorenzen dialogue games.
Common Lisp
8
star
4

racketcon-2018-web-devel-workshop

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

computational-metaphysics

Investigations in computational metaphysics
7
star
6

ejs

Exact JSON library for Racket
Racket
6
star
7

tipi

Theory development with TPTP
Perl
6
star
8

laramie

HTML5 parser for Racket
Racket
6
star
9

mizar-items

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

ce-el

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

uri-template

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

sturgis

Commandline web browser
Racket
2
star
13

mizar-parser

Services for parsing Mizar texts
XML
2
star
14

tptp-el

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

xslutils

Utilities for working with XSL files.
XSLT
2
star
16

tptp4mizar

Theories in proofs, in TPTP and Mizar
Perl
2
star
17

finkinfo

My fink work
Makefile
2
star
18

hunchentoot-utils

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

texweb

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

json-pointer

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

decimal128

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

rhtml5

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

ansel

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

my-git

A home for all my exploratory git code
1
star
25

bozeman

XSLT for Racket
Racket
1
star
26

object-theory

Working with object theory, computationally
Common Lisp
1
star
27

dotemacs

My .emacs configuration
Emacs Lisp
1
star
28

xsl4tptp

Working with the XML forms of TPTP problems
XSLT
1
star
29

fink-mode

Editing Fink package description files in Emacs
Emacs Lisp
1
star