Discover DonaldKellett/donaldsebleung-com Open Source project

This repository has been archived on 18/Sep/2022
Stars
1
Language
CSS
License
MIT License
Created over 3 years ago
Updated almost 2 years ago

DonaldKellett

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My personal website reinstated, this time written in Spring

Einsteins-Riddle-Prolog

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

Prolog

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.

PHP

Codewars-Authored-Kata

List of Kata authored by donaldsebleung on Codewars

csnaketerm

The classic Snake game, right in your terminal

JavaScript

Blockly-Games-Pond

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

JavaScript

ruboxer

Rudimentary container tool for Linux

Rust

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.

JavaScript

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

PHP

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)

Brainfuck

RubyTester

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

Ruby

PureScript-by-Example-Solutions

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

PureScript

codewars-mips

An experiment to try to bring MIPS32 support to Codewars

Assembly

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.

CSS

latex

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

TeX

Boolfuck

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

PHP

nmigen-beginner

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

Python

CW-Lean3-Examples

An example of how Lean support could be added to Codewars

Lean

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.

Coq

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!

CSS

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.

CSS

z3-examples

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

SMT

DonaldKellett/donaldsebleung-com

DonaldKellett

Reviews

Repository Details

More Repositories