-
Notifications
You must be signed in to change notification settings - Fork 6
/
installable_packages
3668 lines (3668 loc) · 376 KB
/
installable_packages
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
# Packages matching: installable
# Name # Installed # Synopsis
0install -- Decentralised installation system
0install-gtk -- Decentralised installation system - GTK UI
0install-solver -- Package dependency solver
ANSITerminal -- Basic control of ANSI compliant terminals and the windows shell
aacplus -- Bindings for the aacplus library which provides functions for decoding AAC audio files
abella -- Interactive theorem prover based on lambda-tree syntax
absolute 0.3 AbSolute solver
abstract_algebra -- A small library describing abstract algebra concepts
accessor v0.16.0 A library that makes it nicer to work with nested functional data structures
accessor_async -- Accessors for Async types, for use with the Accessor library
accessor_base -- Accessors for Base types, for use with the Accessor library
accessor_core -- Accessors for Core types, for use with the Accessor library
acgtk -- Abstract Categorial Grammar development toolkit
aches 1.0.0 Caches (bounded-size stores) for in-memory values and for resources
aches-lwt 1.0.0 Caches (bounded-size stores) for Lwt promises
acp4 1.0.1 ACP4: AutoCorrelation of Pharmacophore Features
acpc -- Chemoinformatics tool for ligand-based virtual screening
advi -- Active DVI Dune package!
aez -- Alt-Ergo Zero is an OCaml library for an SMT solver.
afl -- American Fuzzy Lop fuzzer by Michal Zalewski, repackaged for convenient use in opam
afl-persistent -- Use afl-fuzz in persistent mode
ago -- ago(1) - compute the number of days between two calendar dates
agrid -- Adjustable grid (two dimensional array) library
ahrocksdb -- A binding to RocksDB
aifad -- AIFAD - Automated Induction of Functions over Algebraic Datatypes
aio -- Linux kernel AIO access library for ocaml
alba -- Alba compiler
albatross -- Albatross - orchestrate and manage MirageOS unikernels with Solo5
alcotest 1.7.0 Alcotest is a lightweight and colourful test framework
alcotest-async -- Async-based helpers for Alcotest
alcotest-js -- Virtual package containing optional JavaScript dependencies for Alcotest
alcotest-lwt -- Lwt-based helpers for Alcotest
alcotest-mirage -- Mirage implementation for Alcotest
alg_structs -- Interfaces and module combinators for algebraic structures
alg_structs_qcheck -- Provides qCheck generators for laws of alg_structs
aliases -- In memory indexes
alonzo -- STLC type system
alsa 0.3.0 Bindings for the ALSA library which provides functions for using soundcards
alt-ergo 2.5.2 The Alt-Ergo SMT prover
alt-ergo-free -- Alt-Ergo, an SMT Solver for Software Verification
alt-ergo-lib 2.5.2 The Alt-Ergo SMT prover library
alt-ergo-parsers 2.5.2 The Alt-Ergo SMT prover parser library
alt-ergo-plugin-ab-why3 -- An experimental Why3 frontend for Alt-Ergo
altgr-ergo -- The GUI for the Alt-Ergo SMT prover
ambient-context -- Abstraction over thread-local / continuation-local storage mechanisms for communication with transitive dependencies
ambient-context-lwt -- Storage backend for ambient-context using Lwt's sequence-associated storage
amqp-client -- Amqp client base library
amqp-client-async -- Amqp client library, async version
amqp-client-lwt -- Amqp client library, lwt version
ancient 0.9.1 Use data structures larger than available memory
anders -- Modal Homotopy Type System
angstrom 0.15.0 Parser combinators built for speed and memory-efficiency
angstrom-async -- Async support for Angstrom
angstrom-lwt-unix -- Lwt_unix support for Angstrom
angstrom-unix -- Unix support for Angstrom
ansi -- ANSI escape sequence parser
ansi-parse -- Ansiparse is a library for converting raw terminal output, replete with escape codes, into formatted HTML
ansicolor -- Simple ANSI terminal color library (deprecated in favor of ANSITerminal).
antic -- Stub of the C library Antic. Algebraic number
anycache -- Scan-resistant LRU/2Q cache
anycache-lwt -- Scan-resistant LRU/2Q cache
ao -- Bindings for the AO library which provides high-level functions for using soundcards
apron v0.9.14 APRON numerical abstract domain library
apronext 1.0.4 Apron extension
arb -- Stub of the C library Arb. Ball approximation
archetype -- Archetype language compiler
archi -- A library for managing the lifecycle of stateful components in OCaml
archi-async -- Async runtime for Archi, a library for managing the lifecycle of stateful components in OCaml
archi-lwt -- Lwt runtime for Archi, a library for managing the lifecycle of stateful components in OCaml
archimedes -- Extensible 2D plotting library.
archsat -- A first-order theorem prover with formal proof output
arg-complete -- Bash completion support for Stdlib.Arg
argon2 -- OCaml bindings to Argon2
arp -- Address Resolution Protocol purely in OCaml
arp-mirage -- Address Resolution Protocol for MirageOS
arrakis 1.0.0 A RISC-V simulator
art 0.2.0 Adaptive Radix Tree
ascii85 -- ascii85 - Adobe's Ascii85 encoding as a module and a command line tool
asetmap 0.8.1 Alternative, compatible, OCaml standard library Sets and Maps
ask -- Create/Answer questionnaires
ask-integrator -- Link questionnaires to an uuid of 'a type
asl -- Bindings for the Apple System Log API
asli -- Interpreter for Arm's Architecture Specification Language (ASL)
asn1-combinators 0.2.6 Embed typed ASN.1 grammars in OCaml
assertions -- Basic assert statements
assimp -- OCaml bindings to Assimp, Open Asset Import Library
ast_generic -- Abstract Syntax Tree (AST) supporting 31 programming languages
astring 0.8.5 Alternative String module for OCaml
async v0.16.0 Monadic concurrency library
async-uri -- Open Async (TLS) TCP connections with Uri.t
async_durable -- Durable connections for use with async
async_extra -- Monadic concurrency library
async_find -- Directory traversal with Async
async_graphics -- Async wrapper for the OCaml Graphics library
async_inotify -- Async wrapper for inotify
async_interactive -- Utilities for building simple command-line based user interfaces
async_js -- A small library that provide Async support for JavaScript platforms
async_kernel v0.16.0 Monadic concurrency library
async_rpc_kernel v0.16.0 Platform-independent core of Async RPC library
async_rpc_websocket -- Library to serve and dispatch Async RPCs over websockets
async_sendfile -- Thin wrapper around [Linux_ext.sendfile] to send full files
async_shell -- Shell helpers for Async
async_smtp -- SMTP client and server
async_ssl -- An Async-pipe-based interface with OpenSSL
async_udp -- Monadic concurrency library
async_unix v0.16.0 Monadic concurrency library
async_websocket v0.16.0 A library that implements the websocket protocol on top of Async
atable -- Basic spreadsheet tool with HTML tables
atd -- Parser for the ATD data format description language
atd2cconv -- Convert ATD definitions to OCaml code that uses the CConv 0.1 library
atdd -- DLang code generation for ATD APIs
atdgen -- Generates efficient JSON serializers, deserializers and validators
atdgen-codec-runtime -- Runtime for atdgen generated bucklescript converters
atdgen-runtime -- Runtime library for code generated by atdgen
atdj -- Java code generation for ATD
atdpy -- Python/mypy code generation for ATD APIs
atds -- ATD Code generator for Scala
atdts -- TypeScript code generation for ATD APIs
atomic -- Compatibility package for OCaml's Atomic module starting from 4.12
autofonce -- A modern runner for GNU Autoconf Testsuites
autofonce_config -- A modern runner for GNU Autoconf Testsuites
autofonce_core -- A modern runner for GNU Autoconf Testsuites
autofonce_lib -- A modern runner for GNU Autoconf Testsuites
autofonce_m4 -- A modern runner for GNU Autoconf Testsuites
autofonce_misc -- A modern runner for GNU Autoconf Testsuites
autofonce_patch -- A modern runner for GNU Autoconf Testsuites
autofonce_share -- A modern runner for GNU Autoconf Testsuites
avro -- Runtime library for encoding/decoding Avro
avro-compiler -- Schema compiler for Avro
awa -- SSH implementation in OCaml
awa-lwt -- SSH implementation in OCaml
awa-mirage -- SSH implementation in OCaml
aws -- Amazon Web Services SDK
aws-async -- Amazon Web Services SDK bindings for async
aws-autoscaling -- Amazon Web Services SDK bindings to Auto Scaling
aws-cloudformation -- Amazon Web Services SDK bindings to AWS CloudFormation
aws-cloudtrail -- Amazon Web Services SDK bindings to AWS CloudTrail
aws-cloudwatch -- Amazon Web Services SDK bindings to Amazon CloudWatch
aws-config -- Read AWS configuration in OCaml
aws-ec2 -- Amazon Web Services SDK bindings to Amazon Elastic Compute Cloud
aws-elasticache -- Amazon Web Services SDK bindings to Amazon ElastiCache
aws-elasticloadbalancing -- Amazon Web Services SDK bindings to Elastic Load Balancing
aws-lwt -- Amazon Web Services SDK bindings for lwt
aws-rds -- Amazon Web Services SDK bindings to Amazon Relational Database Service
aws-route53 -- Amazon Web Services SDK bindings to Amazon Route 53
aws-s3 -- Ocaml library for accessing Amazon S3
aws-s3-async -- Ocaml library for accessing Amazon S3 - Async version
aws-s3-lwt -- Ocaml library for accessing Amazon S3 - Lwt version
aws-sdb -- Amazon Web Services SDK bindings to Amazon SimpleDB
aws-sqs -- Amazon Web Services SDK bindings to Amazon Simple Queue Service
aws-ssm -- Amazon Web Services SDK bindings to Amazon Simple Systems Management Service
aws-sts -- Amazon Web Services SDK bindings to AWS Security Token Service
awsm -- AWS API base library
awsm-async -- AWS API base library Async
awsm-codegen -- AWS botocore code generator
awsm-lwt -- AWS API base library Lwt
azblob -- A trivial Azure Blob Storage interface for OCaml
azblob-async -- A trivial Azure Blob Storage interface for OCaml
azure-cosmos-db -- Azure cosmos db interface
BetterErrors -- Better compiler error output.
b0 0.0.5 Software construction and deployment kit
babel -- A library for defining Rpcs that can evolve over time without breaking backward compatibility.
backoff -- Exponential backoff mechanism for OCaml
bag -- Bags (aka multisets)
baguette_sharp -- The Baguette# Interpreter REPL
balancer -- A collection of load balancing algorithms implemented in pure Ocaml
bap -- Binary Analysis Platform
bap-abi -- BAP ABI integration subsystem
bap-analyze -- Implements the analyze command
bap-api -- A pass that adds parameters to subroutines based on known API
bap-arm -- BAP ARM lifter and disassembler
bap-beagle -- BAP obfuscated string solver
bap-beagle-strings -- Finds strings of characters using microexecution
bap-bil -- Controls the BIL transformation pipeline
bap-build -- BAP build automation tools
bap-bundle -- BAP bundler
bap-byteweight -- BAP facility for indentifying code entry points
bap-byteweight-frontend -- BAP Toolkit for training and controlling Byteweight algorithm
bap-c -- A C language support library for BAP
bap-cache -- BAP caching service
bap-callgraph-collator -- Collates programs based on their callgraphs
bap-callsites -- Inject data definition terms at callsites
bap-constant-tracker -- Constant Tracking Analysis based on Primus
bap-core -- Binary Analysis Platform
bap-core-theory -- BAP Semantics Representation
bap-cxxfilt -- A demangler that relies on a c++filt utility
bap-demangle -- Provides names service and demangling facilities
bap-dependencies -- Analyzes program dependencies
bap-disassemble -- Implements the disassemble command
bap-dump-symbols -- BAP plugin that dumps symbols information from a binary
bap-dwarf -- BAP DWARF parsing library
bap-elementary -- BAP floating point approximations of elementary functions
bap-elf -- BAP ELF parser and loader written in native OCaml
bap-emacs-dot -- Will automatically detect graph specifications in a dot syntax and display them using overlaying
bap-emacs-goodies -- A collection of useful Emacs tools for BAP
bap-emacs-mode -- Emacs major mode for reading and analyzing programs in BAP's IR
bap-extra -- Binary Analysis Platform
bap-flatten -- A BAP plugin, that translates a program into the flatten form
bap-frontc -- A C language frontend for based on FrontC library
bap-frontend -- BAP frontend
bap-future -- A library for asynchronous values
bap-ghidra -- BAP Ghidra backend
bap-glibc-runtime -- Detects the presence of glibc runtime
bap-ida-plugin -- Plugins for IDA and BAP integration
bap-knowledge -- Knowledge Representation Library
bap-llvm -- BAP LLVM backend
bap-main -- Build BAP Main Framework Configuration Library
bap-mc -- BAP machine instruction playground
bap-microx -- A micro execution framework
bap-mips -- BAP MIPS lifter
bap-objdump -- Extract symbols from binary, using binutils objdump
bap-optimization -- A BAP plugin that removes dead IR code
bap-patterns -- Applies semantic actions to the matching byte patterns
bap-phoenix -- BAP plugin that dumps information in a phoenix decompiler format
bap-piqi -- BAP plugin for serialization based on piqi library
bap-plugins -- BAP plugins support library
bap-powerpc -- BAP PowerPC lifter
bap-primus -- The BAP Microexecution Framework
bap-primus-dictionary -- BAP Primus Lisp library that provides dictionaries
bap-primus-exploring-scheduler -- Evaluates all machines, prioritizing the least visited
bap-primus-greedy-scheduler -- Evaluates all machines in the DFS order
bap-primus-limit -- Ensures termination by limiting Primus machines
bap-primus-lisp -- BAP Primus Lisp Runtime
bap-primus-loader -- Generic program loader for Primus
bap-primus-mark-visited -- Registers the bap:mark-visited component
bap-primus-powerpc -- Performs the PowerPC target specific setup
bap-primus-print -- Prints Primus states and observations
bap-primus-promiscuous -- Enables the promiscuous mode of execution
bap-primus-propagate-taint -- A compatibility layer between different taint analysis frameworks
bap-primus-random -- Provides components for Primus state randomization
bap-primus-region -- Provides a set of operations to store and manipulate interval trees
bap-primus-round-robin-scheduler -- Evaluates all machines in the BFS order
bap-primus-support -- Provides supporting components for Primus
bap-primus-symbolic-executor -- Primus Symbolic Executor
bap-primus-systems -- Loads Primus systems and registers them in the system repository
bap-primus-taint -- A taint analysis control interface
bap-primus-test -- BAP Primus Testing and Program Verification module
bap-primus-track-visited -- Tracks basic blocks visited by Primus
bap-primus-wandering-scheduler -- Evaluates all machines while
bap-primus-x86 -- The x86 CPU support package for BAP Primus CPU emulator
bap-print -- Print plugin - print project in various formats
bap-radare2 -- Extract symbols from binary using radare2
bap-raw -- Provides a loader for raw binaries
bap-recipe -- Stores command line parameters and resources in a single file
bap-recipe-command -- Provides commands to manipulate the recipe subsystem
bap-relation -- A set of relations (bimap)
bap-relocatable -- Extracts symbolic information from the program relocations
bap-report -- A BAP plugin that reports program status
bap-riscv -- BAP RISCV lifter and disassembler
bap-run -- A BAP plugin that executes a binary
bap-signatures -- A data package with binary signatures for BAP
bap-specification -- Implements the specification command
bap-ssa -- A BAP plugin, that translates a program into the SSA form
bap-std -- The Binary Analysis Platform Standard Library
bap-strings -- Text utilities useful in Binary Analysis and Reverse Engineering
bap-stub-resolver -- Identifies and manages stub functions in a binary
bap-symbol-reader -- BAP plugin that reads symbol information from files
bap-systemz -- A target support package for the Systemz (Z9) ISA
bap-taint -- BAP Taint Analysis Framework
bap-taint-propagator -- BAP Taint propagation engine using based on microexecution
bap-term-mapper -- A BAP DSL for mapping program terms
bap-thumb -- A target support package for the Thumb instruction set
bap-toplevel -- BAP toplevel, baptop
bap-trace -- A plugin to load and run program execution traces
bap-traces -- BAP Library for loading and parsing execution traces
bap-trivial-condition-form -- Eliminates complex conditionals in branches
bap-warn-unused -- Emit a warning if an unused result may cause a bug or security issue
bap-x86 -- BAP x86 lifter
bare -- BAP Rule Engine Library
bare_encoding -- BARE encoding, see https://baremessages.org/
bark -- Unofficial OCaml port of elm/parser (v1.1.0)
base v0.16.3 Full standard library replacement for OCaml
base-bigarray base
base-bytes base Bytes library distributed with the OCaml compiler
base-native-int63 -- Virtual package for enabling native int63 support in Base
base-threads base
base-unix base
base32 -- Base32 encoding for OCaml
base58 -- Base58 encoding and decoding
base64 3.5.1 Base64 encoding for OCaml
base_bigstring v0.16.0 String type based on [Bigarray], for use in I/O and C-bindings
base_quickcheck v0.16.0 Randomized testing framework, designed for compatibility with Base
base_trie -- Trie data structure library
bastet -- An OCaml library for category theory and abstract algebra
bastet_async -- Async implementations for bastet
bastet_lwt -- Lwt implementations for bastet
batch_jaro_winkler -- Fast batch jaro winkler distance implementation in C99
batsat -- OCaml bindings for batsat, a SAT solver in rust
batteries 3.7.1 A community-maintained standard library extension
bdd -- Quick implementation of a Binary Decision Diagrams (BDD) library for OCaml
bddrand -- A simple front-end to the lutin Random toss machinary
bear -- Bare essential additions to the stdlib
bech32 -- Bech32 addresses for OCaml (see https://github.com/bitcoin/bips/blob/master/bip-0173.mediawiki)
bechamel -- Yet Another Benchmark in OCaml
bechamel-js -- HTML generator for bechamel's output
bechamel-notty -- CLI generator for bechamel's output
bechamel-perf -- Linux perf's metrics for bechamel
beluga -- Implementation of contextual modal logic for reasoning with higher-order abstract syntax
benchmark -- Benchmark running times of code
benchpress -- Tool to run one or more logic programs, on a set of files, and collect the results
benchpress-server -- Server and web UI for benchpress
bencode -- Bencode (`.torrent` file format) reader/writer in OCaml
bentov -- 1D histogram sketching
bestline -- OCaml bindings for the bestline C library
bheap 2.0.0 Priority queues
bibtex2html -- BibTeX to HTML translator
bidirectional_map -- A library for bidirectional maps and multimaps.
bigarray-compat 1.1.0 Compatibility library to use Stdlib.Bigarray when possible
bigarray-overlap 0.2.1 Bigarray.overlap
bigdecimal -- Arbitrary-precision decimal based on Zarith
bignum -- Core-flavoured wrapper around zarith's arbitrary-precision rationals
bigstring 0.3 A set of utils for dealing with `bigarrays` of `char`
bigstring-unix -- I/O functions for bigstrings using file descriptors and memory-maps
bigstringaf 0.9.1 Bigstring intrinsics and fast blits based on memcpy/memmove
bimage -- A simple, efficient image-processing library
bimage-display -- Window system for Bimage
bimage-gtk -- Bimage_gtk allows images to be displayed in GTK windows
bimage-io -- Input/output for Bimage using OpenImageIO
bimage-lwt -- A simple, efficient image-processing library (LWT bindings)
bimage-sdl -- Bimage_gtk allows images to be displayed using SDL
bimage-unix -- Bimage_unix provides methods for encoding/decoding images in many formats using ImageMagick/stb_image
bimap -- An OCaml library implementing bi-directional maps and multi-maps
bin_prot v0.16.0 A binary protocol generator
binaryen -- OCaml bindings for Binaryen
binaryen_dsl -- Writing Webassembly text format in DSL
binbin -- Convenient and human-readable bitmap manipulation
bindlib -- OCaml Bindlib library for bound variables
biniou -- Binary data format designed for speed, safety, ease of use and backward compatibility as protocols evolve
binning -- A datastructure to accumulate values in bins
binsec -- Semantic analysis of binary executables
bio_io -- A library for reading and writing common file formats used in bioinformatics like FASTA files
biocaml -- The OCaml Bioinformatics Library
biotk -- Bioinformatics toolkit
bip32 -- Hierarchical Deterministic Wallets
bisect -- Code coverage tool for the OCaml language (deprecated)
bisect_ppx -- Code coverage for OCaml
bisect_ppx-ocamlbuild -- Ocamlbuild plugin for Bisect_ppx, the coverage tool
bistro -- A library to build and run distributed scientific workflows
bistro-bio -- Bistro workflows for computational biology
bitcoin -- Bitcoin Client API logic-only
bitcoin-cohttp-async -- Bitcoin Client API cohttp-async interface
bitcoin-cohttp-lwt -- Bitcoin Client API cohttp-lwt interface
bitcoin-ocurl -- Bitcoin Client API ocurl interface
bitlib -- A library for writing binary files
bitmasks -- BitMasks over int and int64 exposed as sets
bitpack_serializer -- This library provides functions for encoding efficiently simple OCaml data
bitstring -- Bitstrings and bitstring matching for OCaml
bitv -- A bit vector library for OCaml
bitvec -- Fixed-size bitvectors and modular arithmetic, based on Zarith
bitvec-binprot -- Janestreet's Binprot serialization for Bitvec
bitvec-order -- Base style comparators and orders for Bitvec
bitvec-sexp -- Sexp serializers for Bitvec
bitwuzla -- SMT solver for AUFBVFP
bitwuzla-bin -- Bitwuzla SMT solver executable
bitwuzla-c -- SMT solver for AUFBVFP (C API)
bitwuzla-cxx -- SMT solver for AUFBVFP (C++ API)
bjack -- Bindings for the Jack library which provides functions for linking audio programs
blake2 -- Blake2 cryptography
blake3 -- Blake3 cryptography
bloomf -- Efficient Bloom filters for OCaml
bls12-381 18.0 Implementation of the BLS12-381 curve (wrapper for the Blst library)
bls12-381-gen -- Functors to generate BLS12-381 primitives based on stubs
bls12-381-hash -- Implementation of some cryptographic hash primitives using the scalar field of BLS12-381
bls12-381-js -- JavaScript version of BLS12-381 primitives implementing the virtual package bls12-381
bls12-381-js-gen -- Functors to generate BLS12-381 JavaScript primitives based on stubs
bls12-381-legacy -- UNIX version of BLS12-381 primitives. Not implementating the virtual package bls12-381
bls12-381-signature -- Implementation of BLS signatures for the pairing-friendly curve BLS12-381
bls12-381-unix -- UNIX version of BLS12-381 primitives implementing the virtual package bls12-381 with blst backend
blurhash -- A BlurHash encoder in OCaml
bn128 -- Barreto-Naehrig 128 Elliptic Curve pairing function library in OCAML
bnfgen -- Random text generator that takes context-free grammars from BNF files
bogue -- GUI library for ocaml, with animations, based on SDL2
bogue-tutorials -- Bogue Tutorials
boltzgen -- Generate tests using boltzman sampling
bonsai -- A library for building dynamic webapps, using Js_of_ocaml
bookaml -- Library for retrieving information about published books
bos 0.2.1 Basic OS interaction for OCaml
boulangerie -- B# Package Manager
box -- Render boxes in the terminal
bpf -- Embedded eBPF assembler
bracetax -- Simple and deterministic text processing syntax
broken -- The Broken package is a simple testsuite framework.
brr 0.0.6 Browser programming toolkit for OCaml
brr-lwd -- Make reactive webpages in Js_of_ocaml using Brr and Lwd
bsdowl -- This collection of BSD Make directives aims at providing a highly
bst 7.0.1 Bisector tree implementation in OCaml
buffer-pool -- A pool of buffers which automatically increases in size as required
build_path_prefix_map -- An OCaml implementation of the BUILD_PATH_PREFIX_MAP specification
builder -- Scheduling and executing shell jobs
builder-web -- Web interface for builder
bun -- Simple management of afl-fuzz processes
bwd -- Backward lists
bwrap -- Use Bubblewrap to sandbox executables
bytearray -- Efficient marshaling to and from bigarrays
bytebuffer -- Extensible buffers built on top of bigarrays
ca-certs 0.2.3 Detect root CA certificates from the operating system
ca-certs-nss -- X.509 trust anchors extracted from Mozilla's NSS
cactus -- A B-Tree based index implementation
cairn -- A derivation explorer and logger for menhir parser
cairo2 -- Binding to Cairo, a 2D Vector Graphics Library
cairo2-gtk -- Rendering Cairo on Gtk2 canvas
cairo2-pango -- Interface between Cairo and Pango (for Gtk2)
caisar -- A platform for characterizing the safety and robustness of artificial intelligence based software
caisar-ir -- CAISAR's intermediate representation
caisar-nnet -- NNet parser for CAISAR
caisar-onnx -- ONNX parser for CAISAR
caisar-ovo -- OVO parser for CAISAR
caisar-xgboost -- XGBOOST parser for CAISAR
calcium -- Stub of the C library Antic. For exact computation with real and complex numbers, presently in early development
calculon -- Library for writing IRC bots in OCaml and a collection of plugins
calculon-redis -- A redis plugin for Calculon
calculon-redis-lib -- A library to interact with Calculon via Redis
calculon-web -- A collection of web plugins for Calculon
caldav -- A CalDAV server
calendar -- Library for handling dates and times in your program
calendars -- Convert dates between gregorian/julian/french/hebrew calendars
calipso -- Rewrites C programs to remove non-structured control-flow
callipyge -- Pure OCaml implementation of Curve25519
camelot -- An OCaml Linter / Style Checker
camels -- A game about camels
camelsnakekebab -- A Ocaml library for word case conversion
caml-mode -- Caml mode for GNU Emacs
camlbz2 -- Bindings for bzip2
camlgpc -- Interface to Alan Murta's General Polygon Clipper
camlidl 1.11 Stub code generator for OCaml
camlimages -- Image processing library
camlix -- Simple circuit breaker
camllib -- Utility Library (including various datatypes)
camlmix -- Camlmix is a generic preprocessor which converts text with embedded
camlon -- Caml Object Notion, parsing and printing OCaml like data expressions
camlp-streams 5.0.1 The Stream and Genlex libraries for use with Camlp4 and Camlp5
camlp4 -- Camlp4 is a system for writing extensible parsers for programming languages
camlp5 -- Preprocessor-pretty-printer of OCaml
camlp5-buildscripts -- Camlp5 Build scripts (written in OCaml)
camlpdf -- Read, write and modify PDF files
camlprime -- Primality testing with lazy lists of prime numbers
camlrack -- S-Expression parsing for OCaml
camltc -- OCaml bindings for tokyo cabinet
camlzip 1.11 Accessing compressed files in ZIP, GZIP and JAR format
camomile -- A Unicode library
camyll -- A static site generator
canary -- Capture unhandled exceptions and automatically report them through various channels
capnp -- OCaml code generation plugin for the Cap'n Proto serialization framework
capnp-rpc -- Cap'n Proto is a capability-based RPC system with bindings for many languages
capnp-rpc-lwt -- Cap'n Proto is a capability-based RPC system with bindings for many languages
capnp-rpc-mirage -- Cap'n Proto is a capability-based RPC system with bindings for many languages
capnp-rpc-net -- Cap'n Proto is a capability-based RPC system with bindings for many languages
capnp-rpc-unix -- Cap'n Proto is a capability-based RPC system with bindings for many languages
captureio -- Capture output to Stderr and Stdout
caqti 1.9.0 Unified interface to relational database libraries
caqti-async -- Async support for Caqti
caqti-driver-mariadb -- MariaDB driver for Caqti using C bindings
caqti-driver-pgx -- PostgreSQL driver for Caqti based on the pure-OCaml PGX library
caqti-driver-postgresql -- PostgreSQL driver for Caqti based on C bindings
caqti-driver-sqlite3 -- Sqlite3 driver for Caqti using C bindings
caqti-dynload -- Dynamic linking of Caqti drivers using findlib.dynload
caqti-lwt 1.9.0 Lwt support for Caqti
caqti-mirage -- MirageOS support for Caqti
caqti-type-calendar -- Date and time field types using the calendar library
carray -- Contiguous arrays in OCaml
carton -- Implementation of PACKv2 file in OCaml
carton-git -- Implementation of PACK file in OCaml
carton-lwt -- Implementation of PACK file in OCaml
catala -- Compiler and library for the literate programming language for tax code specification
catapult -- Tracing system based on the Catapult/TEF format
catapult-client -- Network client for catapult, to be paired with catapult-daemon
catapult-daemon -- Daemon for reliable multi-process logging with catapult
catapult-file -- File logger for catapult
catapult-sqlite -- Sqlite-based backend for Catapult tracing
cb-check -- Json schema checker for current-bench
cbor -- CBOR encoder/decoder (RFC 7049) - native OCaml implementation
cborl -- CBOR library
cca -- A framework for differential source code analyses
ccbg -- Wallpaper utility for Wayland
cconv -- Combinators for Type Conversion in OCaml
cdrom -- Query the state and contents of CDROM devices under Linux
certify -- CLI utilities for simple X509 certificate manipulation
cf -- OCaml bindings to macOS CoreFoundation
cf-lwt -- Lwt interface to macOS CoreFoundation
cfg -- CFG - Context-Free Grammars
cfgen -- This package was renamed to bnfgen.
cfml -- The CFML program verification tool
cfstream -- Stream operations in the style of Core's API
cgi -- Library for writing CGIs
cgroups -- An OCaml interface for the Linux control groups
chacha -- The Chacha functions, in OCaml
chalk -- Composable and simple terminal highlighting package
chamelon -- Subset of littlefs filesystem fulfilling MirageOS KV
chamelon-unix -- Command-line Unix utilities for chamelon filesystems
chamo -- A kind of emacs-like editor, using OCaml instead of lisp
charInfo_width -- Determine column width for a character
charrua -- DHCP wire frame encoder and decoder
charrua-client -- DHCP client implementation
charrua-client-lwt -- A DHCP client using lwt as effectful layer
charrua-client-mirage -- A DHCP client for MirageOS
charrua-server -- DHCP server
charrua-unix -- Unix DHCP daemon
charset -- Fast char sets
chartjs -- OCaml bindings for Chart.js
chartjs-annotation -- OCaml bindigns for Chart.js annotation plugin
chartjs-colorschemes -- OCaml bindigns for Chart.js colorschemes plugin
chartjs-datalabels -- OCaml bindigns for Chart.js datalabels plugin
chartjs-streaming -- OCaml bindings for Chart.js streaming plugin
chase -- Model finder for geometric theories using the chase
checkseum 0.5.2 Adler-32, CRC32 and CRC32-C implementation in C and OCaml
choice -- Choice monad, for easy backtracking
chrome-trace 3.11.1 Chrome trace event generation library
cid -- Content-addressed Identifiers
cinaps -- Trivial metaprogramming tool
clangml -- OCaml bindings for Clang API
clangml-transforms -- Code transformers for clangml
clap -- Command-Line Argument Parsing, imperative style with a consumption mechanism
clarity-lang -- Clarity smart contract parser and AST
class_group_vdf 0.0.4 Verifiable Delay Functions bindings to Chia's VDF
clim -- Command Line Interface Maker
cloudi -- OCaml CloudI API
clp_operations -- A Clp domain
clz -- Compression support for cohttp-lwt client using decompress
cmark -- OCaml bindings for the CMark Common Markdown parsing and rendering library.
cmarker -- Bindings for a local installation of CMark
cmarkit -- CommonMark parser and renderer for OCaml
cmdliner 1.2.0 Declarative definition of command line interfaces for OCaml
cmdliner-stdlib -- A collection of cmdliner terms to control OCaml runtime parameters
cmdtui -- Interactive command completion and execution for building REPLs
cmdtui-lambda-term -- Interactive command completion and execution for building REPLs
cmitomli -- Converts compiled interface files (.cmi) into source interface files (.mli)
cmon -- A library for printing OCaml values with sharing
coccinelle -- Coccinelle is a C source code matching and transformation engine
codept -- Alternative ocaml dependency analyzer
cohttp 5.3.0 An OCaml library for HTTP clients and servers
cohttp-async -- CoHTTP implementation for the Async concurrency library
cohttp-curl -- Shared code between the individual cohttp-curl clients
cohttp-curl-async -- Cohttp client using Curl & Async as the backend
cohttp-curl-lwt -- Cohttp client using Curl & Lwt as the backend
cohttp-lwt 5.3.0 CoHTTP implementation using the Lwt concurrency library
cohttp-lwt-jsoo -- CoHTTP implementation for the Js_of_ocaml JavaScript compiler
cohttp-lwt-unix 5.3.0 CoHTTP implementation for Unix and Windows using Lwt
cohttp-mirage -- CoHTTP implementation for the MirageOS unikernel
cohttp-server-lwt-unix -- Lightweight Cohttp + Lwt based HTTP server
cohttp-top -- CoHTTP toplevel pretty printers for HTTP types
cohttp_async_websocket -- Websocket library for use with cohttp and async
cohttp_static_handler -- A library for easily creating a cohttp handler for static files
coin -- Mapper of KOI8-{U,R} to Unicode
colibri2 -- A CP solver for smtlib
colibrics -- A CP solver proved in Why3
colibrilib -- A library of domains and propagators proved in Why3
colombe -- SMTP protocol in OCaml
color --
color-brewery -- Offer colors palettes and functions to brew colors
combinaml -- Simple, customizable, dependency free parser combinator library
combinat -- Fast combinatorics for OCaml
combine -- Combine is a library for combinatorics problem solving.
comby -- A tool for structural code search and replace that supports ~every language
comby-kernel -- A match engine for structural code search and replace that supports ~every language
comby-semantic -- A match engine for structural code search and replace that supports ~every language
command_rpc -- Utilities for Versioned RPC communication with a child process over stdin and stdout
commons -- Yet another set of common utilities
conan -- Identify type of your file (such as the MIME type)
conan-cli -- Identify type of your file (such as the MIME type)
conan-database -- A database of decision trees to recognize MIME type
conan-lwt -- Identify type of your file (such as the MIME type)
conan-unix -- Identify type of your file (such as the MIME type)
conduit 6.2.0 A network connection establishment library
conduit-async -- A network connection establishment library for Async
conduit-lwt 6.2.0 A portable network connection establishment library using Lwt
conduit-lwt-unix 6.2.0 A network connection establishment library for Lwt_unix
conduit-mirage -- A network connection establishment library for MirageOS
conex -- Establishing trust in community repositories
conex-mirage-crypto -- Establishing trust in community repositories: crypto provided via mirage-crypto
conex-nocrypto -- Establishing trust in community repositories: crypto provided via nocrypto
conf-aclocal -- Virtual package relying on aclocal
conf-adwaita-icon-theme -- Virtual package relying on adwaita-icon-theme
conf-alsa 1 Virtual package relying on alsa
conf-antic -- Virtual package relying on a Antic lib system installation
conf-ao -- Virtual package relying on libao
conf-arb -- Virtual package relying on a Arb lib system installation
conf-asciidoc -- Virtual package relying on asciidoc
conf-assimp -- Check if assimp (Open Asset Import Library) is installed
conf-autoconf 0.1 Virtual package relying on autoconf installation
conf-automake -- Virtual package relying on GNU automake
conf-bap-llvm -- Checks that supported version of LLVM is installed
conf-bash -- Virtual package to install the Bash shell
conf-binutils -- Checks that binutils are installed
conf-bison -- Virtual package relying on GNU bison
conf-blas -- Virtual package for BLAS configuration
conf-bluetooth -- Virtual package for Bluetooth library
conf-bmake -- Virtual package relying on a BSD Make compatible program
conf-boost -- Virtual package relying on boost
conf-brotli -- Virtual package relying on a brotli system installation
conf-c++ -- Virtual package relying on the c++ compiler
conf-cairo -- Virtual package relying on a Cairo system installation
conf-calcium -- Virtual package relying on a Calcium lib system installation
conf-capnproto -- Virtual package relying on captnproto installation
conf-clang -- Virtual package relying on clang
conf-clang-format -- Virtual package relying on clang-format
conf-cmake 1 Virtual package relying on cmake
conf-cosmopolitan -- Virtual package relying on APE/Cosmopolitan
conf-cpio -- Virtual package relying on cpio
conf-csdp -- Virtual package relying on a CSDP binary system installation
conf-dbm -- Virtual package relying on gdbm
conf-diffutils -- Virtual package relying on diffutils
conf-dpkg -- Virtual package relying on dpkg
conf-dssi -- Virtual package relying on dssi
conf-efl -- Virtual package relying on the EFL system installation
conf-emacs -- Virtual package to install the Emacs editor
conf-env-travis -- Detect Travis CI and lift its environment to opam
conf-expat -- Virtual package relying on an expat system installation
conf-faad -- Virtual package relying on libfaad
conf-fdkaac -- Virtual package relying on fdk-aac
conf-ffmpeg -- Virtual package relying on FFmpeg
conf-fftw3 -- Virtual package relying on a FFTW3 lib system installation
conf-findutils -- Virtual package relying on findutils
conf-flex -- Virtual package relying on GNU flex
conf-flint -- Virtual package relying on a Flint lib system installation
conf-freetype -- Virtual package relying on a freetype lib system installation
conf-frei0r -- Virtual package relying on frei0r
conf-fswatch -- Virtual package relying on libfswatch installation
conf-ftgl -- Virtual package relying on an ftgl system installation
conf-fts -- Virtual package relying on the fts.h header
conf-g++ 1.0 Virtual package relying on the g++ compiler (for C++)
conf-gcc -- Virtual package relying on the gcc compiler (for C)
conf-gd -- Virtual package relying on a libgd system installation
conf-gfortran -- Virtual package relying on a gfortran system installation
conf-ghostscript -- Virtual package relying on ghostscript
conf-git -- Virtual package relying on git
conf-glade -- Virtual package relying on a libglade system installation
conf-gles2 -- Virtual package relying on a OpenGL ES 2 system installation
conf-glew -- Virtual package relying on a GLEW system installation
conf-glfw3 -- Virtual package relying on a GLFW3 system installation
conf-glib-2 -- Virtual package relying on a system GLib 2 installation
conf-glpk -- Virtual package for GLPK (GNU Linear Programming Kit)
conf-gmp 4 Virtual package relying on a GMP lib system installation
conf-gmp-powm-sec 3 Virtual package relying on a GMP lib with constant-time modular exponentiation
conf-gnome-icon-theme3 -- Virtual package relying on gnome-icon-theme
conf-gnuplot -- Virtual package relying on gnuplot installation
conf-gnutls -- Virtual package relying on a gnutls system installation
conf-gobject-introspection -- Virtual package relying on a system gobject-introspection installation
conf-goocanvas2 -- Virtual package relying on a Goocanvas-2 system installation
conf-gpiod -- C libgpiod library for GPIO on recent (>4.8) Linux kernels
conf-graphviz -- Virtual package relying on graphviz installation
conf-gsl -- Virtual package relying on a GSL lib system installation
conf-gssapi -- Virtual package relying on a krb5-gssapi system installation
conf-gstreamer -- Virtual package relying on libgstreamer
conf-gtk2 -- Virtual package relying on gtk2
conf-gtk3 -- Virtual package relying on GTK+ 3
conf-gtksourceview -- Virtual package relying on a GtkSourceView system installation
conf-gtksourceview3 -- Virtual package relying on a GtkSourceView-3 system installation
conf-guile -- Virtual package relying on an GNU Guile system installation
conf-haveged -- Check if havaged is installed on the system
conf-hidapi 0 Virtual package relying on a hidapi system installation
conf-ida -- Checks that IDA Pro is installed
conf-jack -- Virtual package relying on jack
conf-jq -- Virtual package relying on jq
conf-ladspa -- Virtual package relying on ladspa
conf-lame -- Virtual package relying on lame
conf-lapack -- Virtual package for LAPACK configuration
conf-leveldb -- Virtual package relying on a LevelDB lib system installation
conf-libargon2 -- Virtual package relying on libargon2
conf-libbz2 -- Virtual package relying on libbz2
conf-libclang -- Virtual package relying on the installation of llvm and clang libraries (<= 15.0.x)
conf-libcurl -- Virtual package relying on a libcurl system installation
conf-libdw -- Virtual package relying on libdw
conf-libev 4-12 High-performance event loop/event model with lots of features
conf-libevent -- Virtual package relying on libevent
conf-libffi 2.0.0 Virtual package relying on libffi system installation
conf-libflac -- Virtual package relying on libFLAC
conf-libfontconfig -- Virtual package relying on fontconfig
conf-libfuse -- Virtual package relying on FUSE
conf-libgif -- Virtual package relying on a libgif system installation
conf-libgsasl -- Virtual package relying on a GSASL lib system installation
conf-libjpeg -- Virtual package relying on a libjpeg system installation
conf-liblinear-tools -- Virtual package relying on liblinear-{train|predict} installation
conf-liblo -- Virtual package relying on liblo
conf-liblz4 -- Virtual package relying on liblz4 system installation
conf-liblzma -- Virtual package relying on liblzma
conf-libMagickCore -- Virtual package relying on an ImageMagick system installation
conf-libmagic -- Virtual package relying on a libmagic system installation
conf-libmaxminddb -- Virtual package relying on a libmaxminddb system installation
conf-libmosquitto -- Virtual package relying on a libmosquitto system installation
conf-libmpg123 -- Virtual package relying on libmpg123
conf-libnl3 -- Virtual package relying on a libnl system installation
conf-libogg -- Virtual package relying on libogg
conf-libopus -- Virtual package relying on libopus
conf-libpcre -- Virtual package relying on a libpcre system installation
conf-libpcre2-8 -- Virtual package relying on a libpcre2 system installation
conf-libpng -- Virtual package relying on a libpng system installation
conf-libportmidi -- Virtual package relying on libportmidi
conf-librsvg2 -- Virtual package relying on Librsvg2 system installation
conf-libsamplerate -- Virtual package relying on libsamplerate
conf-libseccomp -- Virtual package relying on a libseccomp system installation
conf-libsodium -- Virtual package relying on a libsodium system installation
conf-libspeex -- Virtual package relying on libspeex
conf-libssl 4 Virtual package relying on an OpenSSL library system installation
conf-libsvm -- Virtual package relying on libsvm library installation
conf-libsvm-tools -- Virtual package relying on libsvm-tools installation
conf-libtheora -- Virtual package relying on libtheora
conf-libtool -- Virtual package relying on libtool installation
conf-libudev -- Virtual package relying on a libudev system installation
conf-libuv -- Virtual package relying on a libuv system installation
conf-libvorbis -- Virtual package relying on libvorbis
conf-libwayland -- Virtual package relying on libwayland
conf-libX11 -- Virtual package relying on an Xlib system installation
conf-libxcb -- Virtual package relying on xcb
conf-libxcb-image -- Virtual package relying on xcb-image
conf-libxcb-keysyms -- Virtual package relying on xcb-shm
conf-libxcb-shm -- Virtual package relying on xcb-shm
conf-libxcb-xkb -- Virtual package relying on xcb-xkb
conf-libxcursor -- Virtual package relying on an libXcursor system installation
conf-libxi -- Virtual package relying on an libXi system installation
conf-libxinerama -- Virtual package relying on an libXinerama system installation
conf-libxrandr -- Virtual package relying on an libXRandR system installation
conf-lilv -- Virtual package relying on lilv
conf-linux-libc-dev -- Virtual package relying on the installation of the Linux kernel headers files
conf-lldb -- Virtual package to check the availability of LLDB 3.5 development packages
conf-llvm -- Virtual package relying on llvm library installation
conf-lua -- Virtual package relying on a Lua system installation
conf-lz4 -- Virtual package requiring the lz4 command to be available
conf-m4 -- Virtual package relying on m4
conf-mad -- Virtual package relying on mad
conf-mariadb -- Virtual package relying on a libmariadbclient system installation
conf-mbedtls -- Virtual package relying on an mbedtls system installation
conf-mecab -- Virtual package relying on MeCab library installation
conf-mesa -- Virtual package relying on an mesa system installation
conf-mpfr 3 Virtual package relying on library MPFR installation
conf-mpi -- Virtual package relying on a mpi system installation
conf-mysql -- Virtual package relying on a libmysqlclient system installation
conf-nanomsg -- Virtual package relying on a nanomsg system installation
conf-nauty -- Virtual package relying on nauty
conf-ncurses -- Virtual package relying on ncurses
conf-neko -- Virtual package relying on a Neko system installation
conf-netsnmp -- Package relying on net-snmp libs
conf-nlopt -- Virtual package relying on nlopt
conf-nmap -- Virtual package relying on nmap installation
conf-npm -- Virtual package relying on npm installation
conf-numa -- Package relying on libnuma
conf-ode -- Virtual package relying on a ODE system installation
conf-oniguruma -- Virtual package relying on an Oniguruma system installation
conf-openbabel -- Virtual package relying on openbabel library installation
conf-openblas -- Virtual package to install OpenBLAS and LAPACKE
conf-opencc0 -- Virtual package relying on opencc v0 (libopencc.so.1) installation
conf-opencc1 -- Virtual package relying on opencc v1 (libopencc.so.2) installation
conf-opencc1_1 -- Virtual package relying on opencc v1.1 (libopencc.so.1.1) installation
conf-openimageio -- Virtual package relying on OpenImageIO development package installation
conf-openjdk -- Virtual package relying on OpenJDK / Javac
conf-openssl -- Virtual package relying on an OpenSSL binary system installation
conf-pam -- Virtual package relying on a system installation of PAM
conf-pandoc -- Virtual package relying on pandoc installation
conf-pango -- Virtual package relying on a Pango system installation
conf-perl 2 Virtual package relying on perl
conf-perl-ipc-system-simple -- Virtual package relying on perl's IPC::System::Simple
conf-perl-string-shellquote -- Virtual package relying on perl's String::ShellQuote
conf-pixz -- Virtual package relying on pixz
conf-pkg-config 3 Check if pkg-config is installed and create an opam switch local pkgconfig folder
conf-plplot -- Virtual package relying on plplot
conf-portaudio -- Virtual package relying on portaudio
conf-postgresql -- Virtual package relying on a PostgreSQL system installation
conf-ppl -- Virtual package relying on the Parma Polyhedra Library (PPL) system installation
conf-protoc -- Virtual package to install protoc compiler
conf-pulseaudio -- Virtual package relying on pulseaudio
conf-python-2-7 -- Virtual package relying on Python-2.7 installation
conf-python-2-7-dev -- Virtual package relying on Python-2.7 development package installation
conf-python-3 -- Virtual package relying on Python-3 installation
conf-python-3-7 -- Virtual package relying on Python >=3.7 installation
conf-python-3-dev -- Virtual package relying on Python 3 development package installation
conf-python3-yaml -- Virtual package relying on PyYAML
conf-qt -- Installation of Qt5 using APT packages or from source
conf-r -- Virtual package relying on the R interpreter
conf-r-mathlib -- Virtual package relying on a system installation of R Standalone Mathlib
conf-radare2 -- Checks that radare2 is installed
conf-rdkit -- Virtual package relying on rdkit library installation
conf-readline -- Virtual package relying on a readline system installation
conf-rocksdb -- Virtual package relying on a system installation of RocksDB
conf-ruby -- Virtual package relying on Ruby
conf-rust 0.1 Virtual package relying on cargo (rust build system)
conf-rust-2018 -- Virtual package relying on cargo (rust build system)
conf-rust-2021 1 Virtual package relying on cargo (rust build system)
conf-samplerate -- Virtual package relying on samplerate
conf-sdl-gfx -- Virtual package relying on a sdl-gfx system installation
conf-sdl-image -- Virtual package relying on a sdl-image system installation
conf-sdl-mixer -- Virtual package relying on a sdl-mixer system installation
conf-sdl-net -- Virtual package relying on a sdl-net system installation
conf-sdl-ttf -- Virtual package relying on a sdl-ttf system installation
conf-sdl2 1 Virtual package relying on a SDL2 system installation
conf-sdl2-image -- Virtual package relying on a sdl2-image system installation
conf-sdl2-mixer -- Virtual package relying on a sdl2-mixer system installation
conf-sdl2-net -- Virtual package relying on a sdl2-net system installation
conf-sdl2-ttf -- Virtual package relying on a sdl2-ttf system installation
conf-sdpa -- Virtual package relying on a SDPA binary system installation
conf-secp256k1 -- Virtual package relying on a secp256k1 lib system installation
conf-sfml2 -- Virtual package relying on a SFML2 system installation
conf-shine -- Virtual package relying on libshine
conf-snappy -- Virtual package relying on snappy
conf-soundtouch -- Virtual package relying on soundtouch
conf-sqlite3 -- Virtual package relying on an SQLite3 system installation
conf-srt -- Virtual package relying on srt
conf-srt-gnutls -- Virtual package relying on srt build with gnutls
conf-srt-openssl -- Virtual package relying on srt compiled with openssl
conf-sundials -- Virtual package relying on sundials
conf-swi-prolog -- Virtual package to install the swi-prolog interpreter
conf-taglib -- Virtual package relying on taglib
conf-tcl -- Virtual package relying on tcl
conf-texlive -- Virtual package relying on texlive / pdflatex
conf-tidy -- Virtual package relying on libtidy installation
conf-time -- Virtual package relying on the "time" command
conf-timeout -- Virtual package relying on the "timeout" command
conf-tk -- Virtual package relying on tk
conf-tree-sitter -- Check if tree-sitter is installed
conf-trexio -- Virtual package relying on trexio library installation
conf-tzdata -- Virtual package relying on tzdata
conf-unwind -- Virtual package relying on libunwind
conf-vim -- Virtual package to install the Vim editor
conf-wayland-protocols -- Virtual package relying on wayland-protocols
conf-wget -- Virtual package relying on wget
conf-which 1 Virtual package relying on which
conf-wxwidgets -- Virtual package to check the availability of wxWidgets 3.0 development packages
conf-xen -- Virtual package relying on Xen headers
conf-xkbcommon -- Virtual package relying on xkbcommon
conf-xxhash -- Virtual package relying on a xxhash system installation
conf-zig -- Virtual package relying on zig
conf-zlib 1 Virtual package relying on zlib
conf-zmq -- Virtual package relying on zmq library installation
conf-zstd -- Virtual package relying on zstd
confero -- Unicode Collation
config-file -- A library used to manage configuration files
configuration -- Analyse configuration files
conformist -- Conformist allows you to define schemas to decode, validate and sanitize input data declaratively
conjury -- Conjury library for OMake
containers -- A modular, clean and powerful extension of the OCaml standard library
containers-data -- A set of advanced datatypes for containers
containers-thread -- An extension of containers for threading
content_security_policy -- A library for building content-security policies
cookie -- Cookie handling for OCaml and ReasonML
cookies -- HTTP cookies library for OCaml
coq -- The Coq Proof Assistant
coq-core -- The Coq Proof Assistant -- Core Binaries and Tools
coq-lsp -- Language Server Protocol native server for Coq
coq-native -- Package flag enabling coq's native-compiler flag
coq-of-ocaml -- Compile a subset of OCaml to Coq
coq-serapi -- Serialization library and protocol for machine interaction with the Coq proof assistant
coq-shell -- Simplified OPAM shell for Coq
coq-stdlib -- The Coq Proof Assistant -- Standard Library
coq-waterproof -- Coq proofs in a style that resembles non-mechanized mathematical proofs
coqide -- The Coq Proof Assistant --- GTK3 IDE
coqide-server -- The Coq Proof Assistant, XML protocol server
cordova -- Binding OCaml to cordova Javascript object.
cordova-plugin-activity-indicator -- Binding OCaml to cordova-plugin-activity-indicator using gen_js_api.
cordova-plugin-background-mode -- Binding to cordova-plugin-background-mode using gen_js_api.
cordova-plugin-barcode-scanner -- Binding OCaml to cordova-plugin-barcode-scanner using gen_js_api.
cordova-plugin-battery-status -- Binding OCaml to cordova-plugin-battery-status using gen_js_api.
cordova-plugin-camera -- Binding OCaml to cordova-plugin-camera using gen_js_api.
cordova-plugin-clipboard -- Binding OCaml to cordova-plugin-clipboard using gen_js_api.
cordova-plugin-device -- Binding OCaml to cordova-plugin-device using gen_js_api.
cordova-plugin-device-orientation -- Binding OCaml to cordova-plugin-device-orientation using gen_js_api.
cordova-plugin-dialogs -- Binding OCaml to cordova-plugin-dialogs using gen_js_api.
cordova-plugin-email-composer -- Binding OCaml to cordova-plugin-email-composer using gen_js_api.
cordova-plugin-fcm -- Binding OCaml to cordova-plugin-fcm using gen_js_api.
cordova-plugin-file -- Binding OCaml to cordova-plugin-file using gen_js_api.
cordova-plugin-file-opener -- Binding OCaml to cordova-plugin-file-opener using gen_js_api.
cordova-plugin-file-transfer -- Binding OCaml to cordova-plugin-file-transfer using gen_js_api.
cordova-plugin-geolocation -- Binding OCaml to cordova-plugin-geolocation using gen_js_api.
cordova-plugin-image-picker -- Binding OCaml to cordova-plugin-image-picker using gen_js_api.
cordova-plugin-inappbrowser -- Binding OCaml to cordova-plugin-inappbrowser using gen_js_api.
cordova-plugin-insomnia -- Binding OCaml to cordova-plugin-insomnia using gen_js_api.
cordova-plugin-keyboard -- Binding OCaml to cordova-plugin-keyboard using gen_js_api.
cordova-plugin-loading-spinner -- Binding OCaml to cordova-plugin-loading-spinner using gen_js_api.
cordova-plugin-local-notifications -- Binding to cordova-plugin-local-notifications using gen_js_api.
cordova-plugin-media -- Binding OCaml to cordova-plugin-media using gen_js_api.
cordova-plugin-media-capture -- Binding OCaml to cordova-plugin-media-capture using gen_js_api.
cordova-plugin-network-information -- Binding OCaml to cordova-plugin-network-information using gen_js_api.
cordova-plugin-progress -- Binding OCaml to cordova-plugin-progress using gen_js_api.
cordova-plugin-push-notifications -- Binding OCaml to phonegap-plugin-push using gen_js_api.
cordova-plugin-qrscanner -- Binding OCaml to cordova-plugin-qrscanner using gen_js_api.
cordova-plugin-screen-orientation -- Binding OCaml to cordova-plugin-screen-orientation using gen_js_api.
cordova-plugin-sim-card -- Binding OCaml to cordova-plugin-sim-card using gen_js_api.
cordova-plugin-sms -- Binding OCaml to cordova-plugin-sms using gen_js_api.
cordova-plugin-social-sharing -- Binding OCaml to cordova-plugin-x-socialsharing using gen_js_api.
cordova-plugin-statusbar -- Binding OCaml to cordova-plugin-statusbar using gen_js_api.
cordova-plugin-toast -- Binding OCaml to cordova-plugin-toast using gen_js_api.
cordova-plugin-touch-id -- Binding OCaml to cordova-plugin-touch-id using gen_js_api.
cordova-plugin-vibration -- Binding OCaml to cordova-plugin-vibration using gen_js_api.
cordova-plugin-videoplayer -- Binding OCaml to cordova-plugin-videoplayer using gen_js_api.
core v0.16.2 Industrial strength alternative to OCaml's standard library
core-and-more -- Includes core, and some more useful extensions
core_bench -- Benchmarking library
core_compat -- Compatibility for core 0.14
core_extended -- Extra components that are not as closely vetted or as stable as Core
core_kernel v0.16.0 Industrial strength alternative to OCaml's standard library
core_profiler -- Profiling library
core_unix v0.16.0 Unix-specific portions of Core
corecount -- Get count of cores on machine
cosovo -- An OCaml library parsing CSV files
cow -- Caml on the Web
cpdf -- High-level PDF tools based on CamlPDF
cpm 12.2.0 The Classification and Regression Performance Metrics library
cppffigen -- A C++ foreign-function-interface generator for Ocaml based on C++ STL Containers
cppo 1.6.9 Code preprocessor like cpp for OCaml
cppo_ocamlbuild -- Plugin to use cppo with ocamlbuild
cps_toolbox -- A partial OCaml standard library replacement written with continuation passing style in mind
cpu 2.0.0 Pin current process to given core number
cpuid -- Detect CPU features
craml -- A CRAM-testing framework for testing command line applications
crc -- CRC implementation supporting strings and cstructs
crdt-ml -- CRDTs - Conflict-Free Replicated Data Types for OCaml
crlibm -- Binding to CRlibm, a correctly rounded math lib
crontab -- Interacting with cron from OCaml
crowbar -- Write tests, let a fuzzer find failing cases
crunch -- Convert a filesystem into a static OCaml module
cry -- OCaml client for the various icecast & shoutcast source protocols
crypt -- Tiny binding for the unix crypt function
cryptodbm -- Encrypted layer over the dbm library: access to serverless, key-value databases with symmetric encryption.
cryptohash -- hash functions for OCaml
cryptokit 1.16.1 A library of cryptographic primitives
cryptoverif -- CryptoVerif: Cryptographic protocol verifier in the computational model
csexp 1.5.2 Parsing and printing of S-expressions in Canonical form
css -- CSS parser and printer
css-parser -- A CSS parser written in OCaml
cstruct 6.2.0 Access C-like structures directly from OCaml
cstruct-async -- Access C-like structures directly from OCaml
cstruct-lwt 6.2.0 Access C-like structures directly from OCaml
cstruct-sexp -- S-expression serialisers for C-like structures
cstruct-unix -- Access C-like structures directly from OCaml
csv -- A pure OCaml library to read and write CSV files
csv-lwt -- A pure OCaml library to read and write CSV files, LWT version
csvfields -- Runtime support for ppx_xml_conv and ppx_csv_conv_deprecated
csvtool -- Command line tool for handling CSV files
ctoxml -- Parses a C program into Cabs AST and dumps as an XML document
ctypes 0.20.2 Combinators for binding to C libraries without writing any C
ctypes-build -- Support for building Ctypes bindings.
ctypes-foreign 0.18.0 Virtual package for enabling the ctypes.foreign subpackage
ctypes-zarith -- Ctypes wrapper for zarith
ctypes_stubs_js 0.1 Js_of_ocaml Javascript stubs for the OCaml ctypes library
cubicle -- SMT based model checker for parameterized systems
cucumber -- Cucumber BDD for OCaml
cudf -- CUDF library (part of the Mancoosi tools)
cue_sheet_maker -- A library to create cuesheet
cuid -- CUID generator for OCaml.
cumulus -- Differential FRP based on the React library
curly -- Curly is a brain dead wrapper around the curl command line utility
current -- Pipeline language for keeping things up-to-date
current-albatross-deployer -- An ocurrent plugin to deploy MirageOS unikernels
current-web-pipelines -- Simplify the creation of pipeline websites
current_ansi -- ANSI escape sequence parser
current_docker -- OCurrent Docker plugin
current_examples -- Example pipelines for OCurrent
current_git -- Git plugin for OCurrent
current_github -- GitHub plugin for OCurrent
current_gitlab -- GitLab plugin for OCurrent
current_incr -- Self-adjusting computations
current_ocluster -- OCurrent plugin for OCluster builds
current_rpc -- Cap'n Proto RPC plugin for OCurrent
current_slack -- Slack plugin for OCurrent
current_ssh -- SSH plugin for OCurrent
current_web -- Test web UI for OCurrent
curses -- Bindings to ncurses
curve-sampling -- Sampling of parametric and implicit curves
cviode -- Contact variational integrators - native ocaml version
DAGaml -- DAGaml : Abstract DAG manipulation in OCaml
DkSDKFFIOCaml_Std -- DkSDK FFI for OCaml
DkSDKFFIOCaml_StdExport-linux_x86_64 -- The DkSDKFFIOCaml_StdExport foreign library on 64-bit Intel/AMD Linux
daft -- DAFT Allows File Transfers
dap -- Debug adapter protocol
data-encoding 0.7.1 Library of JSON and binary encoding combinators
datakit-server -- A library to write Datakit servers
datakit-server-9p -- Build Datakit servers using the 9P filesystem protocol
datalog -- An in-memory datalog implementation for OCaml
dates_calc -- A date calculation library
daypack-lib -- A schedule, time and time slots handling library
dbf -- DBF format parsing
dbm -- Binding to the NDBM/GDBM Unix "databases"
deadlock -- Frama-C plugin for deadlock detection
debian-formats -- Parse debian files
decimal -- Arbitrary-precision floating-point decimal library
decoders -- Elm-inspired decoders for Ocaml
decoders-bencode -- Bencode backend for decoders
decoders-cbor -- CBOR backend for decoders
decoders-ezjsonm -- Ezjsonm backend for decoders
decoders-ezxmlm -- Ezxmlm backend for decoders
decoders-jsonaf -- Jsonaf backend for decoders
decoders-jsonm -- Jsonm backend for decoders
decoders-msgpck -- Msgpck backend for decoders
decoders-sexplib -- Sexplib backend for decoders
decoders-yojson -- Yojson backend for decoders
decompress 1.5.3 Implementation of Zlib and GZip in OCaml
dedent -- A library for improving redability of multi-line string constants in code.
dedukti -- An implementation of The Lambda-Pi Modulo Theory
delimcc -- Oleg's delimited continuations library for byte-code and native OCaml
delimited_parsing -- Parsing of character (e.g., comma) separated and fixed-width values
depgraph -- dot graphs out of ocamldep output
depyt -- Yet-an-other type combinator library
deriving -- Extension to OCaml for deriving functions from type declarations
devkit -- Development kit - general purpose library
diet -- Discrete Interval Encoding Trees
diffable -- An interface for diffs.
digestif 1.1.4 Hashes implementations (SHA*, RIPEMD160, BLAKE2* and MD5)
directories -- An OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows
dirsift -- Search for directories by type
dirsp-exchange -- Published protocols for the authenticated message exchange
dirsp-exchange-kbb2017 -- The formally verified KBB2017 protocol for 1-on-1 secure conversations similar to the Signal Protocol