Skip to content
View ioannad's full-sized avatar

Organizations

@slime @web-platform-tests

Block or report ioannad

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. jeffrey jeffrey Public

    Choiceless grapher: a common-lisp diagram maker for consequences of the Axiom of Choice.

    Common Lisp 26 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.4k 461

  6. exception-handling exception-handling Public

    Forked from WebAssembly/exception-handling

    WebAssembly