-
Jane Street is big. Like, big
-
Dream-HTML – render HTML, SVG, MathML, Htmx markup from OCaml
-
Semgrep: Semantic Grep for Code
-
Pen is a Compiler that compiles the High-Level Language into EVM bytecodes
-
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