Racket, JS, Lean, math.
Highlights
- Pro
Popular repositories Loading
- 
      decimal128decimal128 Public archiveJavaScript userland partial implementation of IEEE 754 Decimal128 decimal floating-point arithmetic 
- 
      computational-metaphysicscomputational-metaphysics PublicInvestigations in computational metaphysics 
- 
      racketcon-2018-web-devel-workshopracketcon-2018-web-devel-workshop PublicTutorials for the web devel workshop given at RacketCon 2018 
          Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
  If the problem persists, check the GitHub status page or contact support.