Built something? We create video reels & spotlights for GitHub projects.Promote your project →

Home / Developers / ric-almeida

Developer Profile

ric-almeida

Discovered public repositories for ric-almeida in the GitHub catalog.

↗

Heavy MinOTaut - Heavy Minimization Of Tree Automata

↗

OCaML bindings for the MiniSat satisfiability solver.

↗

An OCaml implementation of the DPLL algorithm for solving SAT instances. Uses nothing beyond the OCaml List library.

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.