Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / DanielGibbsNZ
Developer Profile

DanielGibbsNZ

Discovered public repositories for DanielGibbsNZ in the GitHub catalog.

↗

DanielGibbsNZ/WhileyWeb

A very simple web-interface for editing and compiling Whiley programs from a web-browser. Requires a dedicated server which receives AJAX requests, runs the Whiley Compiler, and returns the results.

↗

DanielGibbsNZ/Whiley

Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors.

↗

DanielGibbsNZ/minigrace

Minigrace is a compiler for the Grace language. It is written in Grace and capable of compiling to native code via C and to JavaScript.

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.