jessealama/racketcon-2018-web-devel-workshop jessealama/racketcon-2018-web-devel-workshop

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language
    Racket
  • License
    The Unlicense
  • Created about 6 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
jessealama/racketcon-2018-web-devel-workshop
github

jessealama

Reviews

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

Repository Details

Tutorials for the web devel workshop given at RacketCon 2018

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

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

mizar-items

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

laramie

HTML5 parser for Racket
Racket
6
star
10

1d6

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

uri-template

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

ce-el

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

tptp4mizar

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

sturgis

Commandline web browser
Racket
2
star
15

mizar-parser

Services for parsing Mizar texts
XML
2
star
16

tptp-el

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

xslutils

Utilities for working with XSL files.
XSLT
2
star
18

hunchentoot-utils

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

finkinfo

My fink work
Makefile
2
star
20

texweb

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

json-pointer

Racket implementation of a JSON Pointer evaluator (RFC 6901)
Racket
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