Darius Foo
GitHub

Darius Foo

@dariusf

View GitHub Profile

About

PhD student @nus-plse

Location Singapore
Followers 92
Following 20
Public Repositories 123
Expertise

Skills & Technologies

Rocq Prover Lean OCaml JavaScript
GitHub Work

Projects & Repositories

Recent public projects and repositories from this profile.

staged

Rocq Prover

A formalization of the logic underlying Heifer

⭐ 3 Forks: 2
Rocq Prover View Project

glean

Lean

Another Lean documentation generator

⭐ 0 Forks: 0
Lean View Project

ppx_interact

OCaml

Interactive breakpoints!

⭐ 48 Forks: 3
OCaml View Project

origami

JavaScript

No project description available.

⭐ 0 Forks: 0
JavaScript View Project

sep

Lean

A separation logic library and xsimpl-style tactic

⭐ 0 Forks: 0
Lean View Project

autosubst2

Lean

A Lean port of Autosubst2

⭐ 0 Forks: 0
Lean View Project
← Back to Talent Open GitHub Profile ↗