arbipher
JHU Ph.D. Student // Fudan B.Eng // PL is the classics of computer science.
Johns Hopkins UniversityBaltimore, Maryland, USA
Pinned Repositories
actions-gh-pages
GitHub Actions for GitHub Pages 🚀 Deploy static files and publish your site easily. Static-Site-Generators-friendly.
arbipher.github.io
book
V2 of Real World OCaml
checkedc-clang
This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
llvm-ocaml-tutorial
The LLVM tutorial using OCaml
ocaml
The core OCaml system: compilers, runtime system, base libraries
pandoc-acmart-template
readthedocs-epigrams-on-programming
Epigrams on Programming at readthedoc
z3
The Z3 Theorem Prover
arbipher's Repositories
arbipher/llvm-ocaml-tutorial
The LLVM tutorial using OCaml
arbipher/pandoc-acmart-template
arbipher/actions-gh-pages
GitHub Actions for GitHub Pages 🚀 Deploy static files and publish your site easily. Static-Site-Generators-friendly.
arbipher/arbipher.github.io
arbipher/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
arbipher/ocaml
The core OCaml system: compilers, runtime system, base libraries
arbipher/discourse_docker
A Docker image for Discourse
arbipher/dot2tex
Convert graphs generated by Graphviz to LaTeX friendly formats
arbipher/dota
Graphviz dot processing
arbipher/FStar
A Proof-oriented Programming Language
arbipher/lambda-term
Terminal manipulation library for OCaml
arbipher/lascar
An OCaml library for manipulating Labeled Transition Systems
arbipher/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
arbipher/misc
arbipher/mold
mold: A Modern Linker 🦠
arbipher/ocaml-build-examples
arbipher/ocaml-ctypes
Library for binding to C libraries using pure OCaml
arbipher/ocaml-examples
arbipher/ocaml-ir-zoo
arbipher/ocaml_fairy_z3
An OCaml ppx to derive z3 datatype
arbipher/ocamlfind
The OCaml findlib library manager
arbipher/ocamlgraph
OCaml graph library
arbipher/opam
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
arbipher/opam-repository
Main public package repository for opam, the source package manager of OCaml.
arbipher/ppxlib
Base library and tools for ppx rewriters
arbipher/preface
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
arbipher/teknogods.github.io
arbipher/torch
arbipher/vscode-ott
Ott Support for Visual Studio Code
arbipher/z3
The Z3 Theorem Prover