DanielGibbsNZ/bootstrap
Script to download and install my configuration files and other settings.
Public GitHub Catalog
Discovered Sep 27, 2026
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.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#9973888GitHub System ID
DanielGibbsNZOrganization / User
PublicVisibility
ActiveCatalog Status
More from DanielGibbsNZ
DanielGibbsNZ/whiley.github.io
Whiley Developer Website
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/GeneSpread
A basic simulator to show the spread of genes with spatial separation and disease