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
llvm-ocaml-tutorial
The LLVM tutorial using OCaml
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.
ocaml
The core OCaml system: compilers, runtime system, base libraries
opam-repository
Main public package repository for opam, the source package manager of OCaml.
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/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/ocaml
The core OCaml system: compilers, runtime system, base libraries
arbipher/opam-repository
Main public package repository for opam, the source package manager of OCaml.
arbipher/dot2tex
Convert graphs generated by Graphviz to LaTeX friendly formats
arbipher/dota
Graphviz dot processing
arbipher/FStar
A Proof-oriented Programming Language
arbipher/lascar
An OCaml library for manipulating Labeled Transition Systems
arbipher/linol
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
arbipher/misc
arbipher/mold
mold: A Modern Linker 🦠
arbipher/multiverse
Pkgm for all
arbipher/normalizffi
arbipher/ocaml-build-examples
arbipher/ocaml-examples
arbipher/ocaml-ir-zoo
arbipher/ocaml_fairy_z3
An OCaml ppx to derive z3 datatype
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/owl
Owl - OCaml Scientific Computing @ https://ocaml.xyz
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