Skip to content
View arsalan0c's full-sized avatar

Organizations

@source-academy

Block or report arsalan0c

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. cdp-hs cdp-hs Public

    Haskell library for the Chrome DevTools Protocol

    Haskell 10 4

  2. js-slang js-slang Public

    Forked from source-academy/js-slang

    Implementations of the Source languages (TypeScript)

    TypeScript

  3. dafny-of-python dafny-of-python Public

    A tool for deductive verification of Python programs based on Dafny

    OCaml 12 1

  4. pflp-ml pflp-ml Public

    Probabilistic functional logic language embedded in OCaml

    OCaml 3

  5. kanren kanren Public

    Kanren(s) embedded in OCaml for logic programming

    OCaml 4

  6. non-deterministic-source non-deterministic-source Public

    Metacircular evaluator for a non-deterministic language (based on SICP JS: https://sicp.comp.nus.edu.sg/chapters/85)

    JavaScript 1