Discover @DonaldKellett Open Source projects

Donald Sebastian Leung (@DonaldKellett)

DonaldKellett

Stars
73
Global Rank 261,080 (Top 9 %)
Followers 135
Following 128
Registered over 10 years ago
Most used languages

CSS
18.2 %

JavaScript
13.6 %

PHP
13.6 %

PureScript 4.5 %

Lean 4.5 %

C
4.5 %

TeX
4.5 %

Brainfuck 4.5 %

Prolog
4.5 %

Ruby
4.5 %

Coq 4.5 %

Rust
4.5 %

Assembly
4.5 %

Python
4.5 %

SMT 4.5 %
Location 🇭🇰 Hong Kong
Country Total Rank 775
Country Ranking

Lean 1

Prolog
1

SMT 1

Brainfuck 2

PureScript 2

Coq 5

Assembly
23

Rust
52

CSS
64

PHP
65

TeX
103

Ruby
116

C
127

JavaScript
301

Python
1,575

Einsteins-Riddle-Prolog

Einstein's Riddle (aka Zebra Puzzle) formulated as a Prolog program.

marvelos

Marvelous RISC-V Operating System, by donaldsebleung

Brainfuck

My implementations of the Brainfuck interpreter in a variety of programming languages, extensively tested using a wide range of different Brainfuck programs.

Codewars-Authored-Kata

List of Kata authored by donaldsebleung on Codewars

csnaketerm

The classic Snake game, right in your terminal

Blockly-Games-Pond

Some of my solutions to Blockly Games - Pond (https://blockly-games.appspot.com/pond-duck?lang=en)

ruboxer

Rudimentary container tool for Linux

brainfuck-generator

A program that receives a target output string as its input and returns a shortened executable Brainfuck program that evaluates to the target output string. Kind of like a reverse interpreter. MIT Licensed.

Strive-Qualified-Test-Run-Solutions

My working solutions for the Code Challenges in the Demo Assessment once provided by Qualified to candidates as a Test Drive

Software-Foundations-Checklist

A checklist of the exercises I have completed in the Software Foundations series: https://softwarefoundations.cis.upenn.edu

BF-Hello-World

My first Hello World program in the Brainfuck esoteric programming language. Open Source (i.e. no attribution required)

RubyTester

A simple, custom Ruby TDD framework that requires minimal setup and executes in the command line. Open Source

PureScript-by-Example-Solutions

My solutions to the exercises in "PureScript by Example" (https://leanpub.com/purescript/read) from Chapter 7 onwards

donaldsebleung-com

My personal website reinstated, this time written in Spring

codewars-mips

An experiment to try to bring MIPS32 support to Codewars

DonaldKellett

All things interesting about me

GitHub-Templates

This repo contains all the GitHub templates that are available for project pages. After downloading it, you can use it for your main site or whatever.

latex

All my LaTeX projects will be here! Credits to Overleaf (http://overleaf.com) for the LaTeX tutorials.

Boolfuck

My implementations of the Boolfuck Interpreter, tested thoroughly against an extensive set of test cases on Codewars. FreeBSD 2-Clause Licensed.

nmigen-beginner

Familiarizing myself with nMigen by translating selected portions of the ZipCPU tutorial, and more

CW-Lean3-Examples

An example of how Lean support could be added to Codewars

iron-lambda

My copy of (possibly modified portions of) Iron Lambda by Ben Lippmeier with the explicit aim of making it easier to step through the proofs interactively using CoqIDE.

Advanced-GPS-Navigation-Ocean-Park

A successful shot at creating a slightly more advanced tool for Geolocation and GPS Tracking. Download and read the files to learn more!

Discusss

An easy-to-setup and use Discussion Platform. Can be easily transformed to a private forums or blog. Released under the MIT License. Please ignore the comments in the files regarding how Discusss is released under the CCA 3.0 License; it is not. However, the template by HTML5 UP *is* released under the CCA 3.0 License so you MUST provide attribution to that.

z3-examples

Just a few simple examples of proofs using the Z3 Theorem Prover