CatalaLang/catala
Programming language for literate programming law specification
Language: OCaml
Total stars: 1236
Stars trend:
17 Sep 2023

 4pm █ +8

 5pm █████▋ +45

 6pm █████▊ +46

 7pm █████▌ +44

 8pm ███▋ +29

 9pm █████▏ +41

#ocaml
#legislativetexts, #programminglanguage

panglesd/slipshow
An engine for displaying slips, the next-gen version of slides
Language:OCaml
Total stars: 167
Stars trend:
29 May 2024
10am ▍ +3
11am █▋ +13
12pm ██▎ +18
1pm ██▊ +22
2pm ████▋ +37
#ocaml
#slides, #slideshow, #slideshowhtml, #slideshowlibrary, #slideshowmaker, #slip, #slips

mazeppa-dev/mazeppa
A modern supercompiler for call-by-value functional languages
Language:OCaml
Total stars: 199
Stars trend:
14 Jul 2024
10am █▏ +9
11am █▎ +10
12pm ▋ +5
1pm █▎ +10
2pm ▋ +5
3pm ▋ +5
4pm ▉ +7
5pm █▎ +10
6pm █ +8
7pm █▏ +9
#ocaml
#compiler, #functional, #functionalprogramming, #intermediaterepresentation, #language, #optimization, #performance, #programanalysis, #programminglanguage, #staticanalysis, #supercompiler, #symbolicexecution

moonbitlang/moonbit-compiler

Language:OCaml
Total stars: 121
Stars trend:
18 Dec 2024
8am ███▊ +30
9am █▏ +9
10am ████▎ +34
11am ███▎ +26
12pm ██▍ +19
#ocaml

opengrep/opengrep
🔎 Static code analysis engine to find security issues in code.
Language:OCaml
Total stars: 164
Stars trend:
23 Jan 2025
8am ▎ +2
9am ▍ +3
10am ▏ +1
11am ▏ +1
12pm ▋ +5
1pm █▊ +14
2pm ██▏ +17
3pm ██▋ +21
4pm ██▉ +23
#ocaml

semgrep/semgrep
Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.
Language:OCaml
Total stars: 12267
Stars trend:
25 Jul 2025
2pm ▋ +5
3pm ▋ +5
4pm ▋ +5
5pm █▏ +9
6pm ▊ +6
7pm █▏ +9
8pm ▉ +7
9pm ▌ +4
10pm █ +8
11pm ▊ +6
26 Jul 2025
12am ▋ +5
1am █▏ +9
#ocaml
#c, #go, #java, #javascript, #python, #r2c, #ruby, #sast, #semgrep, #staticanalysis, #staticcodeanalysis, #typescript