Home Original page

arsalan0c - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

View arsalan0c's full-sized avatar

Arsalan Cheema arsalan0c

  • Singapore

Organizations

@source-academy

Block or report arsalan0c

Pinned Loading

  1. Haskell library for the Chrome DevTools Protocol

    Haskell 11 5

  3. A tool for deductive verification of Python programs based on Dafny

    OCaml 31 1

  4. Probabilistic functional logic language embedded in OCaml

    OCaml 3

  5. Kanren(s) embedded in OCaml for logic programming

    OCaml 4

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

    JavaScript 1