Arsalan Cheema (@arsalan0c)
github

arsalan0c

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

cdp-hs

Haskell library for the Chrome DevTools Protocol
Haskell
9
star
2

dafny-of-python

A tool for deductive verification of Python programs based on Dafny
OCaml
7
star
3

kanren

Kanren(s) embedded in OCaml for logic programming
OCaml
4
star
4

OptionsPricing

Price an option or determine implied volatility with the Black Scholes model
Python
3
star
5

pflp-ml

Probabilistic functional logic language embedded in OCaml
OCaml
3
star
6

mailsense

A program to label emails with their sentiment as soon as they arrive in your inbox
Python
2
star
7

Battery-Text

Program that uses iMessage to inform you, on your iPhone, that your mac's battery is low
Shell
2
star
8

blotjson

Monorepo for multi-language libraries which simplify visualisation of JSON
JavaScript
1
star
9

non-deterministic-source

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