Discover benmandrew/saguaro Open Source project

Stars
3
Rank 3,963,521 (Top 79 %)
Language
OCaml
Created over 3 years ago
Updated over 1 year ago

benmandrew

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

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

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

OCaml

TrenchWarfare

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

obytelib

Updated for OCaml 4.12.0

OCaml

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

OCaml

Andleite

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

C++

Otorus

Parallelised torus ray-tracer

OCaml

CosmicTaxi

ShaderLab

VoronoiJumpFlood

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

Python

DTLSR-Dissertation

Dissertation for the DTLSR project.

TeX

pctl

Model checking with Probabilistic Computation Tree Logic (PCTL)

OCaml

HashCode2020

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

Python

JSTableRenderer

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

JavaScript

sable

Learning Rust

Rust

benmandrew/saguaro

benmandrew

Reviews

Repository Details

More Repositories