Nothing Special   »   [go: up one dir, main page]
Skip to content
View arsalan0c's full-sized avatar
37 followers · 314 following
  • Singapore

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: QuickdrawAchievement: Pull Sharkx3Achievement: Arctic Code Vault Contributor

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 13 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