DonaldKellett/PureScript-by-Example-Solutions DonaldKellett/PureScript-by-Example-Solutions

  • Stars
    star
    1
  • Language PureScript
  • License
    MIT License
  • Created almost 6 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
DonaldKellett/PureScript-by-Example-Solutions
github

DonaldKellett

Reviews

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

Repository Details

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

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

RubyTester

A simple, custom Ruby TDD framework that requires minimal setup and executes in the command line. Open Source
Ruby
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