Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by arsalan0c
A curated list of projects in awesome lists by arsalan0c .
https://github.com/arsalan0c/cdp-hs
Haskell library for the Chrome DevTools Protocol
chrome chrome-devtools-protocol haskell
Last synced: 02 Nov 2024
https://github.com/arsalan0c/dafny-of-python
A tool for deductive verification of Python programs based on Dafny
auto-active compiler dafny mypy python static transpiler verification
Last synced: 24 Oct 2024
https://github.com/arsalan0c/optionspricing
Price an option or determine implied volatility with the Black Scholes model
Last synced: 24 Oct 2024
https://github.com/arsalan0c/pflp-ml
Probabilistic functional logic language embedded in OCaml
functional-logic kanren probabilistic-programming
Last synced: 24 Oct 2024
https://github.com/arsalan0c/kanren
Kanren(s) embedded in OCaml for logic programming
kanren logic logic-programming microkanren minikanren ocaml relations
Last synced: 24 Oct 2024
https://github.com/arsalan0c/mailsense
A program to label emails with their sentiment as soon as they arrive in your inbox
email sentiment-classification
Last synced: 24 Oct 2024
https://github.com/arsalan0c/non-deterministic-source
Metacircular evaluator for a non-deterministic language (based on SICP JS: https://sicp.comp.nus.edu.sg/chapters/85)
amb evaluator metacircular-interpreter non-deterministic sicp-js
Last synced: 24 Oct 2024
https://github.com/arsalan0c/battery-text
Program that uses iMessage to inform you, on your iPhone, that your mac's battery is low
Last synced: 24 Oct 2024
https://github.com/arsalan0c/blotjson
Monorepo for multi-language libraries which simplify visualisation of JSON
api json pretty-print visualize
Last synced: 24 Oct 2024
https://github.com/arsalan0c/blocktest
An extremely simplified implementation of blockchain for learning
Last synced: 24 Oct 2024
https://github.com/arsalan0c/clear
A chrome extension to remove all saved searches from the following page with a single click: https://myactivity.google.com/privacyadvisor/search
chrome-extension privacy search
Last synced: 24 Oct 2024
https://github.com/arsalan0c/source-test
A minimal test framework for Source programs, written in Source §4
Last synced: 24 Oct 2024