Pinned Loading

1. jeffrey jeffrey Public

   Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice. This is a mirror of https://gitlab.common-lisp.net/idimitriou/jeffrey

   Common Lisp 29 4

2. lambda lambda Public

   A mirror of https://gitlab.common-lisp.net/idimitriou/lambda A toy interpreter and compiler of the untyped λ calculus, written in common lisp.

   Common Lisp 2

3. asd-graph asd-graph Public

   Graphs dependencies in the asd files of Common Lisp systems.

   Common Lisp 3 2

4. NBG_HOL NBG_HOL Public

   A formalisation of NBG set theory in Isabelle/HOL

   Isabelle 6 2

5. tc39/test262 tc39/test262 Public

   Official ECMAScript Conformance Test Suite

   JavaScript 2.5k 488

6. WebKit WebKit Public

   Forked from WebKit/WebKit

   Home of the WebKit project, the browser engine used by Safari, Mail, App Store and many other applications on macOS, iOS and Linux.

   JavaScript