Skip to content
View arsalan0c's full-sized avatar
32 followers · 314 following
  • Singapore

Achievements

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

Achievements

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

Organizations

@source-academy
Block or Report

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

  1. cdp-hs cdp-hs Public

    Haskell library for the Chrome DevTools Protocol

    Haskell 9 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 11 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