Linking pages
- Batsh/README.md at master · batsh-dev-team/Batsh · GitHub https://github.com/BYVoid/Batsh 211 comments
- GitHub - mahsu/MariOCaml: HTML 5 canvas implementation of Mario written in Ocaml https://github.com/mahsu/mariocaml 41 comments
- GitHub - pirapira/bamboo: Bamboo see https://github.com/cornellblockchain/bamboo https://github.com/pirapira/jaculus 19 comments
- GitHub - creusot-rs/creusot: Creusot helps you prove your code is correct in an automated fashion. https://github.com/creusot-rs/creusot 19 comments
- GitHub - facebook/flow: Adds static typing to JavaScript to improve developer productivity and code quality. https://github.com/facebook/flow 11 comments
- GitHub - gfngfn/SATySFi: A statically-typed, functional typesetting system https://github.com/gfngfn/satysfi 7 comments
- GitHub - CornellBlockchain/bamboo: Bamboo: a morphing smart contract language https://github.com/CornellBlockchain/bamboo 7 comments
- Getting your feet wet with OCaml. How to get you up and running with an… | by Bobby Priambodo | Medium https://medium.com/@bobbypriambodo/getting-your-feet-wet-with-ocaml-ea1045b6efbc 6 comments
- GitHub - jacobaustin123/Coral: The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety. https://github.com/ja3067/Coral 6 comments
- Local MirageOS development with Xen and Virtualbox http://www.skjegstad.com/blog/2015/01/19/mirageos-xen-virtualbox/ 5 comments
- GitHub - EasyCrypt/easycrypt: EasyCrypt: Computer-Aided Cryptographic Proofs https://github.com/EasyCrypt/easycrypt 5 comments
- GitHub - jaredly/ohai: easy setup from ocaml/reason native projects https://github.com/jaredly/ohai 3 comments
- GitHub - EasyCrypt/easycrypt: EasyCrypt: Computer-Aided Cryptographic Proofs http://www.easycrypt.info/ 3 comments
- bamboo/tutorial.md at master · pirapira/bamboo · GitHub https://github.com/pirapira/bamboo/blob/master/doc/tutorial.md 3 comments
- Real World OCaml https://dev.realworldocaml.org/install.html 2 comments
- GitHub - comby-tools/comby: A code rewrite tool for structural search and replace that supports ~every language. https://github.com/comby-tools/comby 2 comments
- GitHub - OCamlPro/owi: WebAssembly Swissknife & cross-language bugfinder https://github.com/OCamlPro/owi 2 comments
- GitHub - uwplse/verdi: A framework for formally verifying distributed systems implementations in Coq https://github.com/uwplse/verdi 1 comment
- GitHub - ANSSI-FR/mabo: MRT Parser https://github.com/ANSSI-FR/mabo 1 comment
- GitHub - austral/austral: Systems language with linear types and capability-based security. https://github.com/austral/austral 0 comments
Related searches:
Search whole site: site:opam.ocaml.org
Search title: opam - Install
See how to search.