- Taffy: The REST Web Service Framework for ColdFusion and Lucee taffy.io 0 0
- Home - FarCry Core www.farcrycore.org FarCry Core: a web app framework for the ColdFusion language (supporting Lucee, Railo & Adobe ColdFusion engines). An ideal platform for building bespoke or tailor made solutions. 0 0
- Caramel - an OCaml for the Erlang VM caramel.run Caramel 0 0
- Raft Consensus Algorithm raft.github.io Raft is a consensus algorithm that is designed to be easy to understand. 0 0
- opam - opam opam.ocaml.org The homepage of opam, a package manager for OCaml 0 0
- Course Websites | The Grainger College of Engineering | Illinois courses.engr.illinois.edu Course Websites 0 0
- Expert Solutions for Complex Challenges | OCamlPro opam.ocamlpro.com OCamlPro tackles complex design challenges (Domain Specific Languages, Code Audit and Verification, Optimization) notably with the use of formal methods. For that purpose, we promote the use of state-of-the-art programming languages like OCaml and Rust. 0 0
- Frama-C - Framework for Modular Analysis of C programs frama-c.com Frama-C - An open-source extensible and collaborative platform dedicated to source-code analysis of C software. 0 0
- TypeRex www.typerex.org TypeRex is a set of open-source tools and libraries for OCaml, developed by OCamlPro. 0 0
- forge.ocamlcore.org forge.ocamlcore.org 0 0
- Welcome to a World of Rocq coq.inria.fr Rocq is a general-purpose, industrial-strength interactive theorem prover. 0 0
- Jane Street Blog ocaml.janestreet.com Jane Street Blog Homepage 0 0
- CDuce: ℂDuce www.cduce.org 0 0
- Gallium team - Home gallium.inria.fr 0 0
- Hack hacklang.org ... an object-oriented programming language forbuilding reliable websites at epic scale. 0 0
- Cranial Burnout cranialburnout.blogspot.ca 0 0
- Home - Test Anything Protocol testanything.org TAP, the Test Anything Protocol, is a simple text-based interface between testing modules in a test harness. It decouples the reporting of errors from the presentation of the reports.One of its major uses is for noise reduction; when you have a suite of many tests, making them TAP producers and using a TAP consumer to view them helps ensures that you will see everything you need to notice and diagnose breakage without being distracted by a flood of irrelevant success messages. It can assist othe 0 0
- technotroph | random thoughts about mozilla hacking and the computing world technotroph.wordpress.com random thoughts about mozilla hacking and the computing world 0 0
- Camlp5 camlp5.github.io 0 0
- Jane Street Blog blog.janestreet.com Jane Street Blog Homepage 0 0
- Haxe - The Cross-platform Toolkit haxe.org Haxe is an open source toolkit based on a modern, high level, strictly typed programming language. 0 0
- Welcome to a World of OCaml v2.ocaml.org OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. 0 0
- Real World OCaml realworldocaml.org 0 0
- Laboratoire de Recherche en Informatique www.lri.fr 0 0
