Meowcolm024

followers

following

stars

HKUST

水仙十字結社

meowcolm024.github.io

Malcolm Law's repositories

Lambda

Language:HaskellBSD-3-Clause100

brainfuck

A tiny Brainfuck interpreter written in Haskell.

Language:HaskellMIT500

snake

Language:RustMIT100

pfds

Purely functional data structure in Haskell

Language:Haskell300

enigma_rust

the enigma machine re implemented using rust

Language:Rust100

HsProof

A simple proof assistant in Haskell

Language:HaskellBSD-3-Clause100

Enigma

Enigma Machine in Haskell

Language:Haskell200

sf

Language:Coq100

scmpy

A naive Scheme to Python transpiler.

Language:HaskellBSD-3-Clause100

bfcpp

brainfuck in c++ that FULL OF BUGS

Language:C++MIT100

lambda-rkt

lambda-calculus interpreter in Racket

Language:RacketMIT200

sicp

SICP exercises in Haskell or Racket

Language:Racket400

kasou

a register machine

100

naive-proof

naive proof assistant written in racket

Language:RacketMIT100

euler

Solving quiz from projecteuler, using Haskell

Language:HaskellMIT200

2048

2048 in 60 lines of Haskell

Language:HaskellMIT300

ElecSim

ELEC 1100 robot car simulator

Language:PythonMIT200

Kotoba

Haskell socks5 proxy (in progress)

Language:HaskellBSD-3-Clause100

wp-twentyseventeen

hakyll version of this popular wordpress theme. still a work in progress.

Language:CSS200

waka-box

📊 Update a pinned gist to contain your weekly WakaTime stats

Language:JavaScriptISC300

Rstestrios

Learning C++

Language:C++200

scheme-hs

Language:HaskellMIT100

hexo-one

A VSCode extension making Hexo easier to use

Language:JavaScriptMIT300

Meruto

Language:Swift200

jian

A Wenyan markdown language concept

Language:HaskellBSD-3-Clause500

MrCalc

A simple program to calculate molecular mass :)

Language:HaskellMIT300

euro

Euro-English Converter

Language:HTMLMIT300

meowcolm024.github.io-archive

Language:HTML100

hanzi2pinyin

Haskell lib to convert Hanzi to Pinyin

Language:HaskellBSD-3-Clause200

Typora-i18n

Translating resources for Typora

200