alexkassil forked alexkassil/pyre-check from facebook/pyre-check · October 10, 2023 22:04

facebook/pyre-check

Performant type-checking for python.

OCaml 6.5k Updated Oct 10

jacksonwb starred returntocorp/semgrep

Sep 22, 2022

returntocorp/semgrep

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

OCaml 7.1k Updated Sep 22

alexkassil forked alexkassil/angstrom from inhabitedtype/angstrom

Jul 21, 2022

inhabitedtype/angstrom

Parser combinators built for speed and memory efficiency

OCaml 515 1 issue needs help Updated Mar 18

jacksonwb starred mirage/mirage

May 17, 2022

mirage/mirage

MirageOS is a library operating system that constructs unikernels

OCaml 1.9k Updated May 4

michaelbrave starred janestreet/incremental

Apr 27, 2022

janestreet/incremental

A library for incremental computations

OCaml 689 Updated Feb 15

akharrou starred backtracking/bibtex2html

Feb 6, 2022

backtracking/bibtex2html

OCaml 86 Updated Apr 19

alexkassil starred facebook/pyre-check

Jan 7, 2022

facebook/pyre-check

Performant type-checking for python.

OCaml 5.7k Updated Jan 6

acarlson99 starred facebook/infer

Mar 16, 2021

facebook/infer

A static analyzer for Java, C, C++, and Objective-C

OCaml 12.1k 13 issues need help Updated Mar 16

akharrou starred facebook/pyre-check

Dec 9, 2020

facebook/pyre-check

Performant type-checking for python.

OCaml 5.1k Updated Dec 9

RafaelZarate starred darklang/dark

Aug 15, 2020

darklang/dark

OCaml 272 Updated Aug 15

acarlson99 made acarlson99/piscine-ocaml public

Dec 2, 2019

acarlson99/piscine-ocaml

OCaml Updated Dec 2

ekelen starred putaindecode/putaindecode.io

Nov 11, 2019

putaindecode/putaindecode.io

Blog participatif de la communauté dev

OCaml 262 Updated Nov 11

ZacheryFaria made ZacheryFaria/ocaml-piscine public

Nov 2, 2019

ZacheryFaria/ocaml-piscine

OCaml Updated Nov 2

MrChafeits starred fkie-cad/cwe_checker

Aug 7, 2019

fkie-cad/cwe_checker

cwe_checker finds vulnerable patterns in binary executables

OCaml 139 Updated Aug 7

drrosa starred hazelgrove/hazel

Jul 2, 2019

hazelgrove/hazel

Hazel, a live functional programming environment with typed holes

OCaml 179 Updated Jul 2

conanwu777 made conanwu777/OCaml_piscine public

Mar 11, 2019

conanwu777/OCaml_piscine

[WIP] Some beginner exercises in Ocaml

OCaml Updated Mar 11

drrosa starred briskml/brisk

Mar 5, 2019

briskml/brisk

✨Cross-platform set of tools for building native UIs with Reason/OCaml

OCaml 271 8 issues need help Updated Mar 5