benmandrew/pctl

Stars
1
Language
OCaml
License
MIT License
Created over 1 year ago
Updated over 1 year ago

benmandrew/pctl

benmandrew

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

Model checking with Probabilistic Computation Tree Logic (PCTL)

ocaml-riot-nrf52

Tarides Research Project: OCaml bytecode running on the nRF52 embedded platform, using the standard OCaml runtime with RIOT OS.

omicrob-riot-nrf52

Tarides Internship Project: OCaml bytecode running on a highly-constrained embedded platform

ocamlclean

Updated for OCaml 4.12.0

TrenchWarfare

Strategy game inspired by the flash game "Warfare 1917".

saguaro

Propositional logic SAT solver using the DPLL method. Supported by a lexer, parser, and clause form converter.

obytelib

Updated for OCaml 4.12.0

BezierCurve3D

3D Bézier Curve Plotter (Unity/C#)

WaterRipple

Demonstration of a water ripple post-processing screen-space effect implemented in Unity.

DTLSR

Cambridge Dissertation Project: Delay-Tolerant Link-State Routing; for running on the CORE network emulator

CopperLogic

Visualiser of boolean logic circuits (Unity/C#) - Oct 2019

opam-distro

Distro selection for various OPAM combinations

Andleite

Ändleite ("end-light-uh"), Dwarf Fortress inspired procedurally-generated roguelike.

Otorus

Parallelised torus ray-tracer

CosmicTaxi

VoronoiJumpFlood

Implementation of the Voronoi jump flood algorithm (Python/FFMPEG) - Apr 2019

DTLSR-Dissertation

Dissertation for the DTLSR project.

HashCode2020

Submission for the Google HashCode 2020 4 hour qualification round. Finished 2218 out of 10724.

JSTableRenderer

3D renderer using a HTML table's grid cells as a pixel grid.

sable