url stringlengths 28 74 | commit stringlengths 40 40 | full_name stringlengths 9 55 | source stringlengths 47 47 | language stringclasses 1
value | github_stars int64 203 16.5k | repo_age float64 0.8 17.9 | contributors int64 1 615 | commits int64 8 48.9k |
|---|---|---|---|---|---|---|---|---|
https://github.com/0install/0install | 8ab22bc185ec196497bd956980ffee65de0cd656 | 0install/0install | commit:8ab22bc185ec196497bd956980ffee65de0cd656 | ocaml | 576 | 14 | 29 | 3,407 |
https://github.com/aantron/bisect_ppx | 2d8dffbbfc0c431a37319d4d9a143836c9ec542e | aantron/bisect_ppx | commit:2d8dffbbfc0c431a37319d4d9a143836c9ec542e | ocaml | 317 | 11.4 | 31 | 1,082 |
https://github.com/aantron/lambdasoup | 4ba3b91dd681c82ce4b7dae8f54594a86da42053 | aantron/lambdasoup | commit:4ba3b91dd681c82ce4b7dae8f54594a86da42053 | ocaml | 409 | 10.8 | 13 | 147 |
https://github.com/aantron/luv | d92c8b7dd5a3e254241e065e70592666b6b1d8c0 | aantron/luv | commit:d92c8b7dd5a3e254241e065e70592666b6b1d8c0 | ocaml | 288 | 8.2 | 17 | 470 |
https://github.com/AeneasVerif/aeneas | 8d58d14ad655b3d871af1038c203c3f524ab4df9 | AeneasVerif/aeneas | commit:8d58d14ad655b3d871af1038c203c3f524ab4df9 | ocaml | 949 | 4.8 | 48 | 5,533 |
https://github.com/ahrefs/atd | c714a585771bfe7a6eb414a3ebefed30e0611c66 | ahrefs/atd | commit:c714a585771bfe7a6eb414a3ebefed30e0611c66 | ocaml | 352 | 13.5 | 57 | 1,494 |
https://github.com/alavrik/piqi | 0f6e0ef1d261d1d60f03fc1707fe35fbe0a72e20 | alavrik/piqi | commit:0f6e0ef1d261d1d60f03fc1707fe35fbe0a72e20 | ocaml | 244 | 16.2 | 13 | 780 |
https://github.com/andreas/ocaml-graphql-server | a156609930e68ed5053501446b745d98832e4f2b | andreas/ocaml-graphql-server | commit:a156609930e68ed5053501446b745d98832e4f2b | ocaml | 618 | 9.8 | 27 | 302 |
https://github.com/andrejbauer/plzoo | 43cd5b468ae10a3722f496e5c060dfd33679929b | andrejbauer/plzoo | commit:43cd5b468ae10a3722f496e5c060dfd33679929b | ocaml | 1,593 | 13 | 11 | 143 |
https://github.com/andrejbauer/spartan-type-theory | 1e202c6d8087c6538cb0d7dc34e03fd609610d8c | andrejbauer/spartan-type-theory | commit:1e202c6d8087c6538cb0d7dc34e03fd609610d8c | ocaml | 277 | 8.7 | 4 | 66 |
https://github.com/Andromedans/andromeda | 1e2ad72423b50dee1c35d90d25c0bdc55f90f643 | Andromedans/andromeda | commit:1e2ad72423b50dee1c35d90d25c0bdc55f90f643 | ocaml | 319 | 13.8 | 11 | 3,203 |
https://github.com/anmonteiro/aws-lambda-ocaml-runtime | 3d00efb046fc75ff035e172ea547f13c4d1f12cf | anmonteiro/aws-lambda-ocaml-runtime | commit:3d00efb046fc75ff035e172ea547f13c4d1f12cf | ocaml | 207 | 7.8 | 4 | 77 |
https://github.com/anmonteiro/ocaml-h2 | a5449e52ad009029d0450aefc92ac341f036742f | anmonteiro/ocaml-h2 | commit:a5449e52ad009029d0450aefc92ac341f036742f | ocaml | 318 | 7.6 | 13 | 293 |
https://github.com/anmonteiro/piaf | c7428ec14dc681e0ef13375cdf657b2727143678 | anmonteiro/piaf | commit:c7428ec14dc681e0ef13375cdf657b2727143678 | ocaml | 217 | 6.8 | 12 | 256 |
https://github.com/anmonteiro/reason-graphql-fullstack | 6b6d19793bc2e4e16ac91e55686628a6a8fd6fd1 | anmonteiro/reason-graphql-fullstack | commit:6b6d19793bc2e4e16ac91e55686628a6a8fd6fd1 | ocaml | 245 | 8.3 | 5 | 12 |
https://github.com/arthaud/c2bf | 738c0759c9d77ed2c3cbb754e4a55dade8096395 | arthaud/c2bf | commit:738c0759c9d77ed2c3cbb754e4a55dade8096395 | ocaml | 247 | 12.1 | 2 | 32 |
https://github.com/astampoulis/makam | bf7ed7592c21e0439484d7464e659eca5be3b2f9 | astampoulis/makam | commit:bf7ed7592c21e0439484d7464e659eca5be3b2f9 | ocaml | 204 | 11.3 | 7 | 226 |
https://github.com/astrada/google-drive-ocamlfuse | b3a9c0a6f24b67a04cfc6404ca387c9b4d5f665f | astrada/google-drive-ocamlfuse | commit:b3a9c0a6f24b67a04cfc6404ca387c9b4d5f665f | ocaml | 5,963 | 14.2 | 23 | 894 |
https://github.com/austral/austral | 0962d2a8a5d77f7daacd7f696819520733f4897d | austral/austral | commit:0962d2a8a5d77f7daacd7f696819520733f4897d | ocaml | 1,571 | 8 | 26 | 8,953 |
https://github.com/awslabs/s2n-bignum | 7948ca132c8cdd22fbd7372bd14a4f4ae0a2da7c | awslabs/s2n-bignum | commit:7948ca132c8cdd22fbd7372bd14a4f4ae0a2da7c | ocaml | 228 | 5.6 | 23 | 956 |
https://github.com/backtracking/ocamlgraph | 23aa179cabeb0352b397198dad3ec7b085324b24 | backtracking/ocamlgraph | commit:23aa179cabeb0352b397198dad3ec7b085324b24 | ocaml | 252 | 13.3 | 42 | 771 |
https://github.com/bcpierce00/unison | c245b46e02e6a20fab5ce56cec5bc445c3e36cec | bcpierce00/unison | commit:c245b46e02e6a20fab5ce56cec5bc445c3e36cec | ocaml | 5,470 | 10.5 | 60 | 2,286 |
https://github.com/Beluga-lang/Beluga | 820615cc4758086eb7641f62340a3ab93a689303 | Beluga-lang/Beluga | commit:820615cc4758086eb7641f62340a3ab93a689303 | ocaml | 212 | 11.3 | 97 | 5,088 |
https://github.com/BinaryAnalysisPlatform/bap | 034bbd09646a589d5eb1f10b740177d628da80fd | BinaryAnalysisPlatform/bap | commit:034bbd09646a589d5eb1f10b740177d628da80fd | ocaml | 2,254 | 11.9 | 53 | 1,290 |
https://github.com/binsec/binsec | 9749bd8aed7ee0a27959158b1e53e8789cb0e5ab | binsec/binsec | commit:9749bd8aed7ee0a27959158b1e53e8789cb0e5ab | ocaml | 423 | 8.5 | 12 | 45 |
https://github.com/bitblaze-fuzzball/fuzzball | 90c9b48b6ccdc4f296631d1631b764241050d23b | bitblaze-fuzzball/fuzzball | commit:90c9b48b6ccdc4f296631d1631b764241050d23b | ocaml | 216 | 13.3 | 10 | 776 |
https://github.com/brendanzab/language-garden | d458efdf365d1e2549ff0f382576b2ffdb4d58b5 | brendanzab/language-garden | commit:d458efdf365d1e2549ff0f382576b2ffdb4d58b5 | ocaml | 330 | 4 | 1 | 1,839 |
https://github.com/briskml/brisk | 15c900e4fbe8e6204e135bc74e21c74bfc43961a | briskml/brisk | commit:15c900e4fbe8e6204e135bc74e21c74bfc43961a | ocaml | 556 | 8.4 | 6 | 406 |
https://github.com/bsansouci/bsb-native | 9a89457783d6e80deb0fba9ca7372c10a768a9ea | bsansouci/bsb-native | commit:9a89457783d6e80deb0fba9ca7372c10a768a9ea | ocaml | 244 | 9.2 | 264 | 6,950 |
https://github.com/c-cube/ocaml-containers | 173b03a961f0de29df2f97db2d6c0fe311cd6764 | c-cube/ocaml-containers | commit:173b03a961f0de29df2f97db2d6c0fe311cd6764 | ocaml | 524 | 13.5 | 80 | 3,027 |
https://github.com/c-cube/qcheck | 77ef95f60e4c15c867e4c4fd2305fc3edfc67462 | c-cube/qcheck | commit:77ef95f60e4c15c867e4c4fd2305fc3edfc67462 | ocaml | 407 | 12.9 | 35 | 1,579 |
https://github.com/caffeinelabs/motoko | 881ac318d0d92d62e23735fc823d1263971ecf2d | caffeinelabs/motoko | commit:881ac318d0d92d62e23735fc823d1263971ecf2d | ocaml | 590 | 8.3 | 68 | 6,303 |
https://github.com/camlworks/dream | e55c14df788dfd6d3845265be8d14057c0e87e3a | camlworks/dream | commit:e55c14df788dfd6d3845265be8d14057c0e87e3a | ocaml | 1,881 | 5.5 | 59 | 1,020 |
https://github.com/caradoc-org/caradoc | 100f53bc55ef682049e10fabf24869bc019dc6ce | caradoc-org/caradoc | commit:100f53bc55ef682049e10fabf24869bc019dc6ce | ocaml | 316 | 10.5 | 2 | 72 |
https://github.com/CatalaLang/catala | 02ae5584e7c273ffadc6c0651d23f0caf85aa278 | CatalaLang/catala | commit:02ae5584e7c273ffadc6c0651d23f0caf85aa278 | ocaml | 2,379 | 6.4 | 66 | 5,644 |
https://github.com/chshersh/ccl | 9c9ad66545130f35b75cb61fbc4943c1cefe3785 | chshersh/ccl | commit:9c9ad66545130f35b75cb61fbc4943c1cefe3785 | ocaml | 269 | 1.8 | 3 | 35 |
https://github.com/chshersh/github-tui | 760b6081f5daaadea0343eb515db04f70f2f38c2 | chshersh/github-tui | commit:760b6081f5daaadea0343eb515db04f70f2f38c2 | ocaml | 252 | 2.7 | 7 | 122 |
https://github.com/chshersh/zbg | 60b050674e69340777261ceaf6710c8e4ea1ab1f | chshersh/zbg | commit:60b050674e69340777261ceaf6710c8e4ea1ab1f | ocaml | 331 | 3.5 | 8 | 52 |
https://github.com/cil-project/cil | 936b04103eb573f320c6badf280e8bb17f6e7b26 | cil-project/cil | commit:936b04103eb573f320c6badf280e8bb17f6e7b26 | ocaml | 404 | 15.1 | 51 | 4,112 |
https://github.com/coccinelle/coccinelle | 11b93adb6516a358a6687051e5762136666626e0 | coccinelle/coccinelle | commit:11b93adb6516a358a6687051e5762136666626e0 | ocaml | 813 | 15.9 | 67 | 7,832 |
https://github.com/colis-anr/morbig | cd9e7e864fe88b6d589deb0a5856ef83b8f7bb61 | colis-anr/morbig | commit:cd9e7e864fe88b6d589deb0a5856ef83b8f7bb61 | ocaml | 203 | 8.9 | 10 | 768 |
https://github.com/comby-tools/comby | 3b6bdff7bc3b50361b621da9db030152772e7e6b | comby-tools/comby | commit:3b6bdff7bc3b50361b621da9db030152772e7e6b | ocaml | 2,674 | 7.4 | 15 | 517 |
https://github.com/cs3110/textbook | 92827148583ed72060c4984c6075cf995d1d0a5e | cs3110/textbook | commit:92827148583ed72060c4984c6075cf995d1d0a5e | ocaml | 938 | 5.2 | 68 | 778 |
https://github.com/cyrus-/relit | 7eb8dcb1d76044d92bbf070a08f8fdcc7df38089 | cyrus-/relit | commit:7eb8dcb1d76044d92bbf070a08f8fdcc7df38089 | ocaml | 209 | 8.5 | 2 | 218 |
https://github.com/darklang/philip2 | 1ab29b8f40d64b40cf7f3ad77e145358b905dbd7 | darklang/philip2 | commit:1ab29b8f40d64b40cf7f3ad77e145358b905dbd7 | ocaml | 209 | 7.9 | 2 | 163 |
https://github.com/darrenldl/docfd | 3b7c7d6999e472e7cdd1f4e2fd2b4cde8da4bbbb | darrenldl/docfd | commit:3b7c7d6999e472e7cdd1f4e2fd2b4cde8da4bbbb | ocaml | 288 | 4.5 | 4 | 2,524 |
https://github.com/davesnx/query-json | 0f5ca931e0a1a3d7386fb9b704efd6fa0c9107a8 | davesnx/query-json | commit:0f5ca931e0a1a3d7386fb9b704efd6fa0c9107a8 | ocaml | 636 | 6 | 8 | 641 |
https://github.com/davesnx/styled-ppx | 1fccf99a335cc75166abe8182e63044bf26518d0 | davesnx/styled-ppx | commit:1fccf99a335cc75166abe8182e63044bf26518d0 | ocaml | 413 | 6.6 | 27 | 1,969 |
https://github.com/dbuenzli/cmdliner | b34418c047cdf24d091e5f66fb0ab5c26a4dcbe0 | dbuenzli/cmdliner | commit:b34418c047cdf24d091e5f66fb0ab5c26a4dcbe0 | ocaml | 345 | 13.6 | 20 | 537 |
https://github.com/Deducteam/Dedukti | f3c0eba869ddd46f2e75c123a59f2b612076dba0 | Deducteam/Dedukti | commit:f3c0eba869ddd46f2e75c123a59f2b612076dba0 | ocaml | 238 | 8.8 | 53 | 2,280 |
https://github.com/Deducteam/lambdapi | f1e0b7e074fb9b9429d825fdb208d7b9a1da1da4 | Deducteam/lambdapi | commit:f1e0b7e074fb9b9429d825fdb208d7b9a1da1da4 | ocaml | 398 | 9 | 40 | 4,053 |
https://github.com/EasyCrypt/easycrypt | 2aaa14acf7b2ce234b475f24f9e85ba0bdaeb024 | EasyCrypt/easycrypt | commit:2aaa14acf7b2ce234b475f24f9e85ba0bdaeb024 | ocaml | 414 | 11.4 | 69 | 6,196 |
https://github.com/esumii/min-caml | 51f6dbc6d99111a376640097d9c54e04985a7995 | esumii/min-caml | commit:51f6dbc6d99111a376640097d9c54e04985a7995 | ocaml | 529 | 12.9 | 6 | 51 |
https://github.com/facebook/infer | 816f64940f76d2fee4ddaa0ce9231446305ec8d4 | facebook/infer | commit:816f64940f76d2fee4ddaa0ce9231446305ec8d4 | ocaml | 15,703 | 11.6 | 231 | 16,205 |
https://github.com/fastpack/fastpack | 173e0a412474baefd1f0f22597274730a74f475d | fastpack/fastpack | commit:173e0a412474baefd1f0f22597274730a74f475d | ocaml | 2,258 | 9.2 | 15 | 938 |
https://github.com/formal-land/rocq-of-ocaml | 1ac69a72ea1b09e22f14608032ee7ff4bfeea7d3 | formal-land/rocq-of-ocaml | commit:1ac69a72ea1b09e22f14608032ee7ff4bfeea7d3 | ocaml | 274 | 12.9 | 9 | 1,245 |
https://github.com/frenetic-lang/frenetic | fdce6cc51a438585e8c6f54e9d2c22de60f9a6c6 | frenetic-lang/frenetic | commit:fdce6cc51a438585e8c6f54e9d2c22de60f9a6c6 | ocaml | 229 | 13.7 | 56 | 5,201 |
https://github.com/FStarLang/karamel | 9abbb865b10a0cd5c557da81c024c3965cb6ff53 | FStarLang/karamel | commit:9abbb865b10a0cd5c557da81c024c3965cb6ff53 | ocaml | 518 | 10.3 | 65 | 4,610 |
https://github.com/g2p/git-fs | 959d29c190f4daaf00572c16fcd0de5c6eae3f6f | g2p/git-fs | commit:959d29c190f4daaf00572c16fcd0de5c6eae3f6f | ocaml | 236 | 16.6 | 3 | 142 |
https://github.com/geneweb/geneweb | 0ac3dbd490da01470a14c226830f89d5acdbca09 | geneweb/geneweb | commit:0ac3dbd490da01470a14c226830f89d5acdbca09 | ocaml | 397 | 12.8 | 59 | 10,745 |
https://github.com/geoffder/dometyl-keyboard | 74671ba6ce1c03f679e8351e3c33ef6008171c63 | geoffder/dometyl-keyboard | commit:74671ba6ce1c03f679e8351e3c33ef6008171c63 | ocaml | 302 | 5.4 | 3 | 696 |
https://github.com/gfngfn/SATySFi | c2cbc482bce2b7a2b326e037158c33250a7e2043 | gfngfn/SATySFi | commit:c2cbc482bce2b7a2b326e037158c33250a7e2043 | ocaml | 1,247 | 11.5 | 46 | 2,678 |
https://github.com/goblint/analyzer | 1ed379e2db8f8df4df204f46a989a761be644110 | goblint/analyzer | commit:1ed379e2db8f8df4df204f46a989a761be644110 | ocaml | 251 | 15.1 | 91 | 19,736 |
https://github.com/gwaithimirdain/narya | c7c92b4ec01ae2f528b97207256549242bd21334 | gwaithimirdain/narya | commit:c7c92b4ec01ae2f528b97207256549242bd21334 | ocaml | 301 | 3.1 | 8 | 2,098 |
https://github.com/hackwaly/ocamlearlybird | 1f77823fbb3f8b65b1ac4e63d70878c9b270d605 | hackwaly/ocamlearlybird | commit:1f77823fbb3f8b65b1ac4e63d70878c9b270d605 | ocaml | 236 | 7.9 | 9 | 221 |
https://github.com/hannesm/jackline | cf6b26e37e37b0b48be9fd2e74fc563375f757f0 | hannesm/jackline | commit:cf6b26e37e37b0b48be9fd2e74fc563375f757f0 | ocaml | 257 | 11.8 | 17 | 1,162 |
https://github.com/herd/herdtools7 | 745a9c540cf6a5fd77945af67f1b4c1faa9ab646 | herd/herdtools7 | commit:745a9c540cf6a5fd77945af67f1b4c1faa9ab646 | ocaml | 311 | 9.8 | 63 | 6,495 |
https://github.com/hirrolot/mazeppa | c21906332c0e22c42e8f60612e8e9314c3217508 | hirrolot/mazeppa | commit:c21906332c0e22c42e8f60612e8e9314c3217508 | ocaml | 477 | 2.2 | 1 | 237 |
https://github.com/inhabitedtype/angstrom | 76c5ef5b0d0430eb71aa8dccad1fe23f50b96277 | inhabitedtype/angstrom | commit:76c5ef5b0d0430eb71aa8dccad1fe23f50b96277 | ocaml | 705 | 10.8 | 29 | 457 |
https://github.com/inhabitedtype/httpaf | 9cefa96f39712d8c8a4957c98970c2ac4a814ae2 | inhabitedtype/httpaf | commit:9cefa96f39712d8c8a4957c98970c2ac4a814ae2 | ocaml | 536 | 9.9 | 17 | 491 |
https://github.com/inhabitedtype/ocaml-webmachine | fc0eb6349527de66d44ed10154198b2ec8464b15 | inhabitedtype/ocaml-webmachine | commit:fc0eb6349527de66d44ed10154198b2ec8464b15 | ocaml | 224 | 11.5 | 15 | 241 |
https://github.com/janestreet/async | a159db72c11c5637ca8de41c5f6c3ce1665dac8c | janestreet/async | commit:a159db72c11c5637ca8de41c5f6c3ce1665dac8c | ocaml | 275 | 13.6 | 13 | 254 |
https://github.com/janestreet/base | 28d466710aa1858a70fd3c1fcbeae07a07ac8106 | janestreet/base | commit:28d466710aa1858a70fd3c1fcbeae07a07ac8106 | ocaml | 1,085 | 10 | 42 | 382 |
https://github.com/janestreet/bonsai | f31661450eb133fe89564219d97669c2735c6622 | janestreet/bonsai | commit:f31661450eb133fe89564219d97669c2735c6622 | ocaml | 1,393 | 6.8 | 8 | 148 |
https://github.com/janestreet/bonsai_term | 2457232d3aa144fb887a053748a920544db60f72 | janestreet/bonsai_term | commit:2457232d3aa144fb887a053748a920544db60f72 | ocaml | 228 | 0.8 | 3 | 11 |
https://github.com/janestreet/core | dbceee5ddaf6b2fe88a9a395ffe9646b1c21f14a | janestreet/core | commit:dbceee5ddaf6b2fe88a9a395ffe9646b1c21f14a | ocaml | 1,320 | 13.6 | 27 | 478 |
https://github.com/janestreet/core_kernel | 0f8abb3f2a92733da1cdee1333a481d63d888021 | janestreet/core_kernel | commit:0f8abb3f2a92733da1cdee1333a481d63d888021 | ocaml | 224 | 13.3 | 19 | 485 |
https://github.com/janestreet/ecaml | eb46619a14a85ed7b99db925169b87c0cef0407d | janestreet/ecaml | commit:eb46619a14a85ed7b99db925169b87c0cef0407d | ocaml | 286 | 10 | 9 | 161 |
https://github.com/janestreet/hardcaml | ff4fe609b15d2627d3d5aa14a54595e38424808a | janestreet/hardcaml | commit:ff4fe609b15d2627d3d5aa14a54595e38424808a | ocaml | 1,126 | 8.3 | 6 | 147 |
https://github.com/janestreet/incr_dom | 17a039c609b73a672084a690f166a9634482a5cd | janestreet/incr_dom | commit:17a039c609b73a672084a690f166a9634482a5cd | ocaml | 403 | 10.2 | 9 | 187 |
https://github.com/janestreet/incremental | 98b5750ec3c006641351bfd858a89136a5dbc52c | janestreet/incremental | commit:98b5750ec3c006641351bfd858a89136a5dbc52c | ocaml | 1,503 | 11.2 | 14 | 174 |
https://github.com/janestreet/learn-ocaml-workshop | 1ba9576b48b48a892644eb20c201c2c4aa643c32 | janestreet/learn-ocaml-workshop | commit:1ba9576b48b48a892644eb20c201c2c4aa643c32 | ocaml | 717 | 8.5 | 13 | 172 |
https://github.com/janestreet/magic-trace | b3faf23fccfc4373d47bb6458c9d7dc79b0723fe | janestreet/magic-trace | commit:b3faf23fccfc4373d47bb6458c9d7dc79b0723fe | ocaml | 6,263 | 4.6 | 24 | 344 |
https://github.com/janestreet/patdiff | db7c0c244f9c7e88aa6d91ecf68201ab1c1889b0 | janestreet/patdiff | commit:db7c0c244f9c7e88aa6d91ecf68201ab1c1889b0 | ocaml | 251 | 13.6 | 14 | 236 |
https://github.com/jaredly/reason-language-server | ce1b3f8ddb554b6498c2a83ea9c53a6bdf0b6081 | jaredly/reason-language-server | commit:ce1b3f8ddb554b6498c2a83ea9c53a6bdf0b6081 | ocaml | 649 | 8.3 | 68 | 881 |
https://github.com/jhjourdan/C11parser | ae62071d4656e51cf8a2d5c05394367e5be1979c | jhjourdan/C11parser | commit:ae62071d4656e51cf8a2d5c05394367e5be1979c | ocaml | 214 | 10.4 | 6 | 74 |
https://github.com/jnavila/plotkicadsch | 6326d2515e72507e5eb0abbf6cefc11c5f8e3f92 | jnavila/plotkicadsch | commit:6326d2515e72507e5eb0abbf6cefc11c5f8e3f92 | ocaml | 233 | 10 | 3 | 327 |
https://github.com/johnwhitington/camlpdf | 782a4c0570bb68409a333b5dd3350a57e0d137bc | johnwhitington/camlpdf | commit:782a4c0570bb68409a333b5dd3350a57e0d137bc | ocaml | 230 | 13.1 | 6 | 933 |
https://github.com/johnwhitington/cpdf-source | 8d7806a109660b989c26cac336edce5a936d4d12 | johnwhitington/cpdf-source | commit:8d7806a109660b989c26cac336edce5a936d4d12 | ocaml | 278 | 13.1 | 3 | 2,856 |
https://github.com/jonlaing/rationale | 06a48fd39b106319a4a4477e90777db51c915353 | jonlaing/rationale | commit:06a48fd39b106319a4a4477e90777db51c915353 | ocaml | 275 | 8.8 | 9 | 105 |
https://github.com/jordwalke/rehp | f122b94f0a3f06410ddba59e3c9c603b33aadabf | jordwalke/rehp | commit:f122b94f0a3f06410ddba59e3c9c603b33aadabf | ocaml | 223 | 8.3 | 101 | 3,318 |
https://github.com/jrh13/hol-light | 2a1cea8f1cb7f3885a60d947ba06eabac6ec1d32 | jrh13/hol-light | commit:2a1cea8f1cb7f3885a60d947ba06eabac6ec1d32 | ocaml | 550 | 10.9 | 25 | 764 |
https://github.com/kennetpostigo/lwt-node | b377bce37cbf9db54c9ce9b80fd6598bdbb299d3 | kennetpostigo/lwt-node | commit:b377bce37cbf9db54c9ce9b80fd6598bdbb299d3 | ocaml | 221 | 9.2 | 7 | 136 |
https://github.com/LaurentMazare/ocaml-torch | dda43b109a1a105ed81f7fbf2b5501bfca625192 | LaurentMazare/ocaml-torch | commit:dda43b109a1a105ed81f7fbf2b5501bfca625192 | ocaml | 443 | 7.9 | 7 | 544 |
https://github.com/LaurentMazare/tensorflow-ocaml | 52c5f1dec1a8b7dc9bc6ef06abbc07da6cd90d39 | LaurentMazare/tensorflow-ocaml | commit:52c5f1dec1a8b7dc9bc6ef06abbc07da6cd90d39 | ocaml | 287 | 10.5 | 14 | 856 |
https://github.com/leostera/minttea | 40ee44920bda53bd2838065374c9b188c06f8cba | leostera/minttea | commit:40ee44920bda53bd2838065374c9b188c06f8cba | ocaml | 472 | 2.7 | 15 | 92 |
https://github.com/LexiFi/ocaml-vdom | 74efc3885714aa3af079994503de15f34c1e8aed | LexiFi/ocaml-vdom | commit:74efc3885714aa3af079994503de15f34c1e8aed | ocaml | 210 | 9.8 | 13 | 83 |
https://github.com/libguestfs/virt-v2v | dea3ae005255df993d918cbc57ac7a228e811315 | libguestfs/virt-v2v | commit:dea3ae005255df993d918cbc57ac7a228e811315 | ocaml | 209 | 6.9 | 147 | 12,764 |
https://github.com/links-lang/links | 7100e2891346b5bae483fe9a02791c900047388a | links-lang/links | commit:7100e2891346b5bae483fe9a02791c900047388a | ocaml | 359 | 12.6 | 37 | 2,918 |
https://github.com/linoscope/CAMLBOY | 11ae10a1e1ea318a64e6c13018c96be5aaaf23bb | linoscope/CAMLBOY | commit:11ae10a1e1ea318a64e6c13018c96be5aaaf23bb | ocaml | 636 | 5.1 | 5 | 397 |
End of preview. Expand in Data Studio
No dataset card yet
- Downloads last month
- -