Git Product home page Git Product logo

David Pearce's Projects

ace.wy icon ace.wy

Bindings for the ACE Editor (see https://ace.c9.io)

asteroids.wy icon asteroids.wy

An implementation for the classic arcade game "Asteroids" in Whiley

avrdemo.wy icon avrdemo.wy

A demonstration which illustrates how Whiley can be used to verify compiler optimisations for the AVR instruction set.

bignum.wy icon bignum.wy

A library providing implementations for unbound integers.

blogger icon blogger

A simple web application for implementing a blogging site. The purpose is to demonstrate and test the various features provided by JWebKit.

boogie.rs icon boogie.rs

A Rust API for constructing and verifying Boogie programs.

clink.rs icon clink.rs

A Cell-like structure for maintaining type-level invariants.

conway.wy icon conway.wy

An HTML5 Canvas Implemetation of Conway's Game of Life written in Whiley

deltainc.rs icon deltainc.rs

A library for describing delta transformations and incremental computation.

dynamictopologicalsort icon dynamictopologicalsort

C++ code accompanying the paper "A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs".

electronics icon electronics

PCB schema and other files for my embedded projects.

evm.wy icon evm.wy

Runtime Library for Ethereum Smart Contracts in Whiley

evmtools icon evmtools

Various utilities for working with the Etherem Reference Tests.

gif.wy icon gif.wy

A small library for encoding / decoding GIFs.

hunk.rs icon hunk.rs

An in-memory data representation with a functional API.

jarduboy icon jarduboy

A Java emulator for the Arduboy 8-bit gaming platform (see arduboy.com) built around the JavaAVR emulator for AVR microcontrollers.

javaavr icon javaavr

Simple AVR simulator written in Java

jbits icon jbits

A serialisation scheme perhaps reminiscent of protobuf, where binary content can be transformed to/from Java Objects based on provided schema's. There are some differences though. In particular, binary content can be modifieA serialisation scheme perhaps reminiscent of protobuf, where binary content can be transformed to/from Java Objects based on provided schema's. There are some differences though. In particular, binary content can be modified (within the bounds of its schema) producing new content as a delta over the original.

jblob icon jblob

A small library for manipulating immutable binary blobs.

jbuildgraph icon jbuildgraph

A library for managing builds (e.g. within a compiler).

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.