Pinned Repositories
abella
An interactive theorem prover based on lambda-tree syntax
bitstarter
Stanford Startup Engineering project
cerise-stack
Formalisation of stack safety properties on a capability machine with local and uninitialized capabilities
checkers
This is not a game.
coq-elpi
Coq plugin embedding elpi
extructures
Finite sets and maps for Coq with extensional equality
Forvis_RISCV-ISA-Spec
Formal specification of RISC-V Instruction Set
fpccheck
gitpod
robblanco's Repositories
robblanco/robblanco.github.io
robblanco/cerise-stack
Formalisation of stack safety properties on a capability machine with local and uninitialized capabilities
robblanco/unizar2020
robblanco/Forvis_RISCV-ISA-Spec
Formal specification of RISC-V Instruction Set
robblanco/hw-sinatra-saas-hangperson
robblanco/rottenpotatoes-rails-intro
RottenPotatoes app skeleton for saasbook/hw-rails-intro
robblanco/koans
robblanco/hw-ruby-intro
Ruby Introduction Assignment for Agile Development using Ruby on Rails
robblanco/gitpod
robblanco/smtcoq
Communication between Coq and SAT/SMT solvers
robblanco/coq-elpi
Coq plugin embedding elpi
robblanco/extructures
Finite sets and maps for Coq with extensional equality
robblanco/sparkformal
The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.
robblanco/sparkCompCert
robblanco/VST
Verified Software Toolchain
robblanco/hw-rails-intro
robblanco/abella
An interactive theorem prover based on lambda-tree syntax
robblanco/ocaml
The core OCaml system: compilers, runtime system, base libraries
robblanco/teyjus
An efficient implementation of the higher-order logic programming language Lambda Prolog
robblanco/parser
A Ruby parser.
robblanco/checkers
This is not a game.
robblanco/lkfun
A purely functional proof checker
robblanco/fpccheck
robblanco/progit2
Pro Git 2nd Edition
robblanco/bitstarter
Stanford Startup Engineering project