Block or Report
Block or report nbosa
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: OCaml
All languages
AGS Script
ActionScript
ApacheConf
Assembly
AutoIt
Awk
Batchfile
Bikeshed
BlitzBasic
Boo
C
C#
C++
CMake
CSS
Clojure
CodeQL
CoffeeScript
Coq
Cuda
DIGITAL Command Language
DTrace
Dockerfile
Elixir
Erlang
F#
Forth
G-code
Gherkin
Go
Groff
Groovy
HCL
HLSL
HTML
Hack
Haskell
Isabelle
Java
JavaScript
Jinja
Jupyter Notebook
Kaitai Struct
KiCad Layout
Kotlin
LLVM
Logos
Lua
MDX
MQL4
Makefile
Markdown
Mask
Max
Mercury
Meson
MoonScript
Mustache
Nginx
Nim
Nix
Nunjucks
OCaml
Objective-C
Objective-C++
Open Policy Agent
OpenEdge ABL
PHP
PLpgSQL
Pascal
Perl
PowerShell
Propeller Spin
Protocol Buffer
Puppet
Python
QMake
R
Rich Text Format
Roff
Ruby
Rust
SCSS
Scala
Shell
Smali
Smarty
Solidity
Standard ML
Starlark
Swift
TSQL
Tcl
TeX
Thrift
TypeScript
VBA
VBScript
Vala
Vim Script
Visual Basic
Visual Basic .NET
Vue
WebAssembly
XSLT
YARA
Zeek
Nothing to show
Sort by: Most stars
8
stars
written in OCaml
Clear filter
Adds static typing to JavaScript to improve developer productivity and code quality.
A static analyzer for Java, C, C++, and Objective-C
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection
An interpreter for finding subtle bugs in programs written in standard C
FuzzBALL: Vine-based Binary Symbolic Execution