Pinned Repositories
argo
JSON Schema Adventures
computational-metaphysics
Investigations in computational metaphysics
decimal128
JavaScript userland partial implementation of IEEE 754 Decimal128 decimal floating-point arithmetic
dialogues
Tools for exploring logic through Lorenzen dialogue games.
ejs
Exact JSON library for Racket
ladr
LADR: Library for Automated Deduction Research
laramie
HTML5 parser for Racket
mizar-items
Breaking up mizar articles into bits and computing relations among them.
racketcon-2018-web-devel-workshop
Tutorials for the web devel workshop given at RacketCon 2018
tipi
Theory development with TPTP
jessealama's Repositories
jessealama/decimal128
JavaScript userland partial implementation of IEEE 754 Decimal128 decimal floating-point arithmetic
jessealama/argo
JSON Schema Adventures
jessealama/racketcon-2018-web-devel-workshop
Tutorials for the web devel workshop given at RacketCon 2018
jessealama/ejs
Exact JSON library for Racket
jessealama/laramie
HTML5 parser for Racket
jessealama/1d6
A Racket implementation of the Troll dice-rolling language
jessealama/uri-template
URI Template (RFC 6570) for Racket
jessealama/json-pointer
Racket implementation of a JSON Pointer evaluator (RFC 6901)
jessealama/agendas
TC39 meeting agendas
jessealama/cultural-anthropology
All packages discussed or mentioned in the book Language-oriented Programming in Racket: A Cultural Anthropology
jessealama/decimal-playground
jessealama/ecma262
Status, process, and documents for ECMA-262
jessealama/ecma402
Status, process, and documents for ECMA 402
jessealama/ecmarkup
An HTML superset/Markdown subset source format for ECMAScript and related specifications
jessealama/engine262
An implementation of ECMA-262 in JavaScript
jessealama/feedvalidator
W3C-customized version of the feedvalidator (forked from https://github.com/rubys/feedvalidator/)
jessealama/html
HTML Standard
jessealama/incubator-agendas
TC39 Incubator Call Agendas
jessealama/koyo
A web development toolkit for Racket.
jessealama/lean-decimals
Implementation & verification of exact decimal arithmetic in Lean 4
jessealama/mathlib4
The math library of Lean 4
jessealama/proposal-decimal
Built-in decimal datatype in JavaScript
jessealama/proposal-temporal
Provides standard objects and functions for working with dates and times.
jessealama/racket
The Racket repository
jessealama/racket-lang-org
jessealama/riposte
Scripting language for testing JSON-based HTTP APIs
jessealama/standards-positions
jessealama/test262
Official ECMAScript Conformance Test Suite
jessealama/validator
The Nu Html Checker
jessealama/web-server