DonaldKellett/RubyTester DonaldKellett/RubyTester

  • Stars
    star
    1
  • Language
    Ruby
  • License
    MIT License
  • Created over 8 years ago
  • Updated over 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
DonaldKellett/RubyTester
github

DonaldKellett

Reviews

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

Repository Details

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

More Repositories

1

Einsteins-Riddle-Prolog

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

marvelos

Marvelous RISC-V Operating System, by donaldsebleung
C
9
star
3

Brainfuck

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

Codewars-Authored-Kata

List of Kata authored by donaldsebleung on Codewars
5
star
5

csnaketerm

The classic Snake game, right in your terminal
JavaScript
4
star
6

Blockly-Games-Pond

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

ruboxer

Rudimentary container tool for Linux
Rust
4
star
8

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
3
star
9

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
2
star
10

Software-Foundations-Checklist

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

BF-Hello-World

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

PureScript-by-Example-Solutions

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

donaldsebleung-com

My personal website reinstated, this time written in Spring
CSS
1
star
14

codewars-mips

An experiment to try to bring MIPS32 support to Codewars
Assembly
1
star
15

DonaldKellett

All things interesting about me
1
star
16

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
1
star
17

latex

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

Boolfuck

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

nmigen-beginner

Familiarizing myself with nMigen by translating selected portions of the ZipCPU tutorial, and more
Python
1
star
20

CW-Lean3-Examples

An example of how Lean support could be added to Codewars
Lean
1
star
21

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
1
star
22

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
1
star
23

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
1
star
24

z3-examples

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