Knižnice napísané v OCamle
genType
Automatické generovanie idiomatických väzieb medzi Reason a JavaScript: buď vanilka, alebo napísané pomocou TypeScript/FlowType.
- 756
- MIT
austral
Systémový jazyk s lineárnymi typmi a bezpečnosťou založenou na schopnostiach.
- 735
- Apache License 2.0
ocaml-cohttp
Knižnica OCaml pre HTTP klientov a servery používajúce Lwt alebo Async.
- 636
- GNU General Public License v3.0
angstrom
Kombinátory analyzátora vytvorené pre rýchlosť a efektivitu pamäte.
- 562
- GNU General Public License v3.0
httpaf
Vysoko výkonný, pamäťovo efektívny a škálovateľný webový server napísaný v OCaml.
- 525
- GNU General Public License v3.0
ocaml-containers
Ľahké, modulárne rozšírenie štandardnej knižnice, knižnica reťazcov a rozhrania pre rôzne knižnice (unix, vlákna atď.) BSD licencia.
- 445
- BSD 2-clause "Simplified"
vult
Vult je transkompilátor vhodný na písanie vysokovýkonného kódu DSP.
- 432
- GNU General Public License v3.0
eioio
IO priameho štýlu založeného na efektoch pre viacjadrový OCaml.
- 424
- GNU General Public License v3.0
motoko
Jednoduchý jazyk na vysokej úrovni na písanie internetových počítačových kanistrov.
- 412
- Apache License 2.0
karamel
KaRaMeL je nástroj na extrahovanie nízkoúrovňových F* programov do čitateľného C kódu.
- 360
- Apache License 2.0