Giters
Grant Passmore (grantpassmore)

grantpassmore

Geek Repo

22

followers

5

following

10

stars

Company:Imandra Inc

Location:Austin, TX

Home Page:www.imandra.ai

Twitter:@grantolney

Github PK Tool:Github PK Tool

Organizations
imandra-ai

Grant Passmore's repositories

acl2

ACL2 System and Books as Maintained by the Community

Language:Common LispLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-bdd

A simple BDD library for OCaml

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-language-server

A language server for OCaml and related languages

Language:TypeScriptLicense:Apache-2.0Stargazers:0Issues:1Issues:0

PVS

The People's Verification System

Language:Common LispLicense:GPL-2.0Stargazers:0Issues:0Issues:0

Real-Algebra-Playground

The Real Algebra Playground

Language:PythonStargazers:0Issues:0Issues:0