Pinned Repositories
CCNprotocol
CCN protocol description and verification in Coq
coq_base_dockerfile
Docker file for image to build Coq
coq_debug
Coq with concrete (not abstract) data types for debugging
coq_dockerfile
Docker file for image to use Coq
cpdt-japanese
Certified Programming with Dependent Types (Japanese Translation)
emfrp
Pure Functional Reactive Programming Language for Small-Scale Embedded Systems
hopeg
HOPEG: Higer Order Parsing Expression Grammar
SmallScheme
Interpreter of subset of scheme. Using Java and AspectJ
Toybox
Some toy programs
wercker-ocaml
wercker box with OCaml
chiguri's Repositories
chiguri/coq_debug
Coq with concrete (not abstract) data types for debugging
chiguri/SmallScheme
Interpreter of subset of scheme. Using Java and AspectJ
chiguri/Toybox
Some toy programs
chiguri/wercker-ocaml
wercker box with OCaml
chiguri/CCNprotocol
CCN protocol description and verification in Coq
chiguri/coq_base_dockerfile
Docker file for image to build Coq
chiguri/coq_dockerfile
Docker file for image to use Coq
chiguri/cpdt-japanese
Certified Programming with Dependent Types (Japanese Translation)
chiguri/emfrp
Pure Functional Reactive Programming Language for Small-Scale Embedded Systems
chiguri/hopeg
HOPEG: Higer Order Parsing Expression Grammar
chiguri/ial
The Iowa Agda Library
chiguri/L-lang
言語Lのインタープリタ
chiguri/MetaCert
Certifying Program Generations
chiguri/ocamlglobal
This is ocamlglobal, GNU global tags wrappaer for OCaml. The original one is not available on OCaml 3.12.1 (because of modified specifications of camlp4), so I adhocly modify it.
chiguri/pandoc-platex-dockerfile
chiguri/ParserHandsOnCoq
chiguri/platex-dockerfile
platex dockerfile (with build-essentials)
chiguri/rule_consistency
chiguri/sfja
SoftwareFoundations(Ja)
chiguri/speechmaker_firefox
chiguri/SVM
Simple stack-based bytecode VM implementations used in my class
chiguri/TPP
chiguri/Twitten
chiguri/wercker-swi-prolog
chiguri/XFRP
Translator from XFRP to CUDA
chiguri/XSetRepresentative
XSet with Representative Value
chiguri/XSets
Modified version of MSets in Coq standard library
chiguri/z3
The Z3 Theorem Prover