arsalan0c Goto Github PK

battery-text

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

beats

:tropical_fish: Beats - Lightweight shippers for Elasticsearch & Logstash

blocktest

An extremely simplified implementation of blockchain for learning

blotjson

Monorepo for multi-language libraries which simplify visualisation of JSON

cadet-frontend

Frontend of Source Academy (React, Redux, Saga, Blueprint)

cdp-hs

Haskell library for the Chrome DevTools Protocol

clear

A chrome extension to remove all saved searches from the following page with a single click: https://myactivity.google.com/privacyadvisor/search

client

The Hypothesis web-based annotation client.

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.

cs3244-pneumonia

dafny-of-python

A tool for deductive verification of Python programs based on Dafny

dafny-programs

Programs in the Dafny language

datastation

Easily query, script, and visualize data from every database, file, and API.

ec-asia-app

ec-asia-drinks

gopherjs.github.io

GopherJS Playground

hackage-server

Hackage-Server: A Haskell Package Repository

hipsleek

idris2

A purely functional programming language with first class types

js-slang

Implementations of the Source languages (TypeScript)

json-autotype

Automatic Haskell type inference from JSON input

kanren

Kanren(s) embedded in OCaml for logic programming

learn4haskell

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

lets-prove-leftpad

Proving leftpad correct in a dozen different ways

mailsense

A program to label emails with their sentiment as soon as they arrive in your inbox

main

:ab::four: Address Book sample application (Level 4)

mcc

MicroC example compiler for Stephen Edward's PLT class, but in Haskell

non-deterministic-source

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

nusdistsys.github.io

nusmods

🏫 Unofficial course planning platform for National University of Singapore.