🔎 Static code analysis engine to find security issues in code.
Repository Index
87,075 visible repositories in the index
1–24 of 43 · Most stars
A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.
- cryptocurrency
- blockchain
- ocaml
- zk-snarks
Tidy, feature-complete Web framework
- ocaml
- web
- framework
- reasonml
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
- liquidsoap
- streaming
- webradio
Systems language with linear types and capability-based security.
- linear-types
- compiler
- capabilities
opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
- ocaml
- opam
- package-manager
- git
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
Terraform without the state file bottleneck
- automation
- cloud-management
- devops
- github-actions
Effects-based direct-style IO for multicore OCaml
- concurrency
- effects
- io
- multicore
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
A lightweight and colourful test framework
- unit-testing
- ocaml
OCaml bindings for PyTorch
Library for binding to C libraries using pure OCaml
Pure OCaml Git format and protocol
- git
- ocaml
Cooperative-threaded access to relational data
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
- mldonkey
- ocaml-program
- p2p
TLS in pure OCaml
OCaml bindings for TensorFlow
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
- ocaml
- dfa
- regular-expression
Elm architecture and (V)DOM for OCaml
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
typed bidirectional router for OCaml/ReasonML web applications
- ocaml
- router
- http-router
- http-routing