- 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
- Cornell: Computer Science | Cornell Bowers www.cs.cornell.edu At Cornell Bowers, our computer science department drives innovation—from theory and cryptography to AI and sustainability, leading the future of technology. 0 0
- Eff Programming Language www.eff-lang.org 0 0
- OCaml Scientific Computing | ©2018-2024, Liang Wang ocaml.xyz ©2018-2024, Liang Wang 0 0
- Package Control - the Sublime Text package manager sublime.wbond.net 0 0
- Psellos: Life So Short, the Craft So Long to Learn psellos.com Schnapsen is an excellent card game for two players. Quite a few years ago we wrote an iOS app in OCaml to play the game. More recently we revamped it as an app that runs in the browser—reproducing the graphics exactly, in a rectangle with the pixel dimensions of the original iPhone.One of the great things about OCaml and its strong static typing is that you can make modifications to your code with high confidence that it will keep working correctly. It was quite pleasant to rewrite the iOS app 0 0
- Caml Works camlworks.github.io Functional programming for a wide audience 0 0
- Welcome to MirageOS mirage.io MirageOS is a programming framework for building type-safe, modular systems. 0 0
