Pinned Repositories
Battery-Text
Program that uses iMessage to inform you, on your iPhone, that your mac's battery is low
blotjson
Monorepo for multi-language libraries which simplify visualisation of JSON
cdp-hs
Haskell library for the Chrome DevTools Protocol
dafny-of-python
A tool for deductive verification of Python programs based on Dafny
js-slang
Implementations of the Source languages (TypeScript)
kanren
Kanren(s) embedded in OCaml for logic programming
mailsense
A program to label emails with their sentiment as soon as they arrive in your inbox
non-deterministic-source
Metacircular evaluator for a non-deterministic language (based on SICP JS: https://sicp.comp.nus.edu.sg/chapters/85)
OptionsPricing
Price an option or determine implied volatility with the Black Scholes model
pflp-ml
Probabilistic functional logic language embedded in OCaml
arsalan0c's Repositories
arsalan0c/dafny-of-python
A tool for deductive verification of Python programs based on Dafny
arsalan0c/cdp-hs
Haskell library for the Chrome DevTools Protocol
arsalan0c/kanren
Kanren(s) embedded in OCaml for logic programming
arsalan0c/pflp-ml
Probabilistic functional logic language embedded in OCaml
arsalan0c/blotjson
Monorepo for multi-language libraries which simplify visualisation of JSON
arsalan0c/non-deterministic-source
Metacircular evaluator for a non-deterministic language (based on SICP JS: https://sicp.comp.nus.edu.sg/chapters/85)
arsalan0c/js-slang
Implementations of the Source languages (TypeScript)
arsalan0c/clear
A chrome extension to remove all saved searches from the following page with a single click: https://myactivity.google.com/privacyadvisor/search
arsalan0c/cs3203-clion-remote-fedora
Create a Fedora container for cross-platform development of CS3203 SPA project, while also benefitting from CLion's full remote mode.
arsalan0c/dafny-programs
Programs in the Dafny language
arsalan0c/datastation
Easily query, script, and visualize data from every database, file, and API.
arsalan0c/EC-Asia-App
arsalan0c/EC-Asia-Drinks
arsalan0c/gopherjs.github.io
GopherJS Playground
arsalan0c/hackage-server
Hackage-Server: A Haskell Package Repository
arsalan0c/hipsleek
arsalan0c/Idris2
A purely functional programming language with first class types
arsalan0c/json-autotype
Automatic Haskell type inference from JSON input
arsalan0c/learn4haskell
👩🏫 👨🏫 Learn Haskell basics in 4 pull requests
arsalan0c/lets-prove-leftpad
Proving leftpad correct in a dozen different ways
arsalan0c/mcc
MicroC example compiler for Stephen Edward's PLT class, but in Haskell
arsalan0c/ot
arsalan0c/pandoc
Universal markup converter
arsalan0c/parsers
Some simple parsers for learning
arsalan0c/poly
A Go package for engineering organisms.
arsalan0c/pySBOL3
Native python implementation of SBOL 3.0 specification
arsalan0c/python-to-sexp
Convert a Python program into an S-Expressified AST
arsalan0c/scihive-backend
arsalan0c/source-programs
Notable Source programs, developed for SICP JS and other educational projects
arsalan0c/validation-selective
💂♂️ Lightweight pure validation based on Applicative and Selective functors