- Austral: A systems language with linear types. (2021)
- Lolita: A tagless, dependently typed, self-aware programming language
- Semgrep – Find bugs and enforce code standards
- Toy autograd engine in OCaml with Apple Accelerate back end
- Application Security - Bridging Frontend and Cybersecurity: What is Application Security?
- Show HN: Docfd: TUI multiline fuzzy document finder
- Where Are the Supply Chain Safe Programming Languages?
- Bob – cross-platform peer-to-peer file-transfer tool in OCaml
- Hax: Translate a subset of Rust into formal languages
- Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml
- Creating a DevSecOps pipeline with Jenkins — Part 1
- Melange for React devs book, alpha release
- Rust developers concerned about complexity, low usage
- Owl project (OCaml scientific computing) formally concluded
- Unison File Synchronizer
- ReScript: Rust like features for JavaScript
- When Optimising Code, Measure
- Transputer.net
- Tagging OCaml packages
- Change of Name: Coq –> The Rocq Prover
- Ask HN: Interest in a Rust-Inspired Language Compiling to JavaScript?
- MintTea: A TUI Framework for OCaml
- Alec is not Coq
- Co to znaczy być edżajlowi?
- How does one write React apps in a purely functional style without making the entire codebase a mess?
- Mirage – A programming framework for building type-safe, modular systems
- Superbol-studio-OSS: COBOL LSP, VSCode extension and Emacs mode
- OCaml: a Rust developer's first impressions
- Why Should You Learn OCaml?
- Show HN: EdgeDB Cloud and 4.0 with FTS and Auth
- Por que aprender OCaml?
- NQCC2: The Not-Quite-C Compiler
- OCaml, Python and protobuf
- Hey, Computer, Make Me a Font
- RustScript2: RustScript is a language that is completely unrelated to Rust.
- GitHub - CatalaLang/catala: Programming language for literate programming law specification
- CatalaLang/catala: Programming language for law specification
- CatalaLang/catala: Programming language for law specification
- CatalaLang/catala: Programming language for law specification
- Should I Rust or should I Go
- Show HN: Llama2 inference in one file of pure OCaml
- Wayland Isn't Going to Save the Linux Desktop (2022)
- The Liquid Templating Language for OCaml
- Are higher order functions and functors equivalent like how closures and objects are equivalent?
- Why Mathematical Proof Is a Social Compact
- Top 10 Snyk Alternatives for Code Security
- A primitive Lisp parser in OCaml (with it's own lexer, no parser combinators)
- Reanalyze: Program analysis for ReScript and OCaml projects
- Semgrep: Semantic Grep for Code
- ocaml-wasm/wasm_of_ocaml