A static analyzer for Java, C, C++, and Objective-C
Repository Index
47,133 repositories indexed
1–24 of 45 · Most stars
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Unison file synchronizer
MirageOS is a library operating system that constructs unikernels
- mirageos
- unikernel
- xen
- kvm
Binary Analysis Platform
- binary-analysis
- reverse-engineering
- program-analysis
- static-analysis
Irmin is a distributed database that follows the same design principles as Git
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
- ida-plugin
- taint-analysis
- reverse-engineering
- disassembly
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
Owl - OCaml Scientific Computing @ https://ocaml.xyz
- matrix
- linear-algebra
- ndarray
- statistical-functions
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
- ocaml
- stdlib
- data-structure
- portable
A modern supercompiler for call-by-value functional languages
GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.
- genealogy
- software
- web
- database
Static types for JSON APIs
Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.
Code coverage for OCaml and ReScript
- coverage
- ocaml
Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
- coq
- ide
- user-interface
- vscode-extension
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
OSnap is a snapshot testing tool, which mainly focuses on speed and ease of use.
- diff
- snapshot-testing
- testing
- snapshot
A compiler for the 🎃 Spooky 😱 programming language 👻
- halloween
- surprise
- fear
- programming-language
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.
Exercism exercises in OCaml.
- exercism-track
- community-contributions-accepted
- maintained-solitary
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action