Popular repositories Loading

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

   JavaScript 23 8

2. JSON Schema Adventures

   Racket 17 1

3. Tools for exploring logic through Lorenzen dialogue games.

   Common Lisp 9

4. LADR: Library for Automated Deduction Research

   C 9 5

5. Polyfill for the Ecma TC39 decimal proposal

   JavaScript 9 2

6. Investigations in computational metaphysics

   8