Thema · ocaml

ocaml

Erfasste Open-Source-Repos mit dem Tag ocaml, sortiert nach Sternen.

Repos

Sterne gesamt

92.847

Sterne im Schnitt

2.443

Anteil

0,00%

Themen, die häufig gemeinsam mit ocaml am selben Repo auftauchen.

Neue Aufsteiger

Repos, die in den letzten 90 Tagen erstellt und mit ocaml getaggt wurden.

In den letzten 90 Tagen kam kein neues Repo mit diesem Thema dazu.

#1
milewski-ctfp-pdf ↗@hmemcpyTeX
Inoffizielle PDF- und LaTeX-Quelle von Bartosz Milewskis 'Category Theory for Programmers'
★ 11.690+8Sterne-Änderung der letzten 7 Tage
#2
reason ↗@reasonmlOCaml
Einfacher, schneller und typsicherer Code, der die JavaScript- und OCaml-Ökosysteme nutzt
★ 10.321-1Sterne-Änderung der letzten 7 Tage
#3
awesomo ↗@lk-geimfariGo
Coole Open-Source-Projekte. Wähle dein Projekt und beteilige dich jetzt an der Open-Source-Entwicklung.
★ 9.932+4Sterne-Änderung der letzten 7 Tage
#4
ocaml ↗@ocamlOCaml
Das OCaml-Kernsystem: Compiler, Laufzeitumgebung und Basisbibliotheken
★ 6.548+11Sterne-Änderung der letzten 7 Tage
#5
google-drive-ocamlfuse ↗@astradaOCaml
FUSE-Dateisystem über Google Drive
★ 5.964+0Sterne-Änderung der letzten 7 Tage
#6
extism ↗@extismRust
Das Framework für die Entwicklung mit WebAssembly (wasm). Laden Sie wasm-Module einfach und sicher, übertragen Sie Daten, rufen Sie Funktionen auf und erstellen Sie erweiterbare Apps.
★ 5.751+8Sterne-Änderung der letzten 7 Tage
#7
klipse ↗@viebelHTML
Klipse ist ein JavaScript-Plugin zum Einbinden interaktiver Code-Snippets in Tech-Blogs.
★ 3.134+0Sterne-Änderung der letzten 7 Tage
#8
awesome-ocaml ↗@ocaml-community
Eine kuratierte Sammlung großartiger OCaml-Tools, -Frameworks, -Bibliotheken und -Artikel.
★ 3.112+1Sterne-Änderung der letzten 7 Tage
#9
FStar ↗@FStarLangF*
Eine auf Beweise ausgerichtete Programmiersprache
★ 3.103+4Sterne-Änderung der letzten 7 Tage
#10
mirage ↗@mirageOCaml
MirageOS ist ein Bibliotheksbetriebssystem, das Unikernels erstellt
★ 2.982+2Sterne-Änderung der letzten 7 Tage
#11
bap ↗@BinaryAnalysisPlatformOCaml
Plattform zur Binäranalyse
★ 2.254+0Sterne-Änderung der letzten 7 Tage
#12
mina ↗@MinaProtocolOCaml
Mina ist ein Kryptowährungsprotokoll mit einer Blockchain konstanter Größe, das die Skalierbarkeit verbessert und gleichzeitig Dezentralisierung und Sicherheit wahrt.
★ 2.117+0Sterne-Änderung der letzten 7 Tage
#13
irmin ↗@mirageOCaml
Irmin ist eine verteilte Datenbank, die denselben Designprinzipien wie Git folgt
★ 1.956-1Sterne-Änderung der letzten 7 Tage
#14
dune ↗@ocamlOCaml
Ein kompositionsfähiges Build-System für OCaml.
★ 1.912+1Sterne-Änderung der letzten 7 Tage
#15
dream ↗@camlworksOCaml
Klares, funktionsreiches Web-Framework
★ 1.879+1Sterne-Änderung der letzten 7 Tage
#16
merlin ↗@ocamlOCaml
Kontextsensitive Autovervollständigung für OCaml in Vim und Emacs
★ 1.704+1Sterne-Änderung der letzten 7 Tage
#17
nodebook ↗@netgustoGo
Nodebook – Multi-Lang Web REPL + CLI Code-Runner
★ 1.643+0Sterne-Änderung der letzten 7 Tage
#18
opam ↗@ocamlOCaml
opam ist ein quellcodebasierter Paketmanager. Er unterstützt mehrere gleichzeitige Compiler-Installation, flexible Paketbeschränkungen und einen Git-freundlichen Entwicklungs-Workflow.
★ 1.376+0Sterne-Änderung der letzten 7 Tage
#19
stategraph ↗@stategraphOCaml
Terraform ohne den State-File-Engpass
★ 1.279+10Sterne-Änderung der letzten 7 Tage
#20
SATySFi ↗@gfngfnOCaml
Ein statisch typisiertes, funktionales Satzsystem
★ 1.247+0Sterne-Änderung der letzten 7 Tage
#21
hazel ↗@hazelgroveReason
Hazel, eine Live-Umgebung für funktionale Programmierung mit typisierten Löchern
★ 1.142+1Sterne-Änderung der letzten 7 Tage
#22
js_of_ocaml ↗@ocsigenOCaml
Compiler von OCaml nach Javascript.
★ 1.130+1Sterne-Änderung der letzten 7 Tage
#23
aeneas ↗@AeneasVerifOCaml
Eine Verifizierungstoolchain für Rust-Programme
★ 946+17Sterne-Änderung der letzten 7 Tage
#24
felix ↗@felix-langC
Die Programmiersprache Felix
★ 817+0Sterne-Änderung der letzten 7 Tage
#25
lwt ↗@ocsigenOCaml
OCaml Promises und gleichzeitiges I/O
★ 792+0Sterne-Änderung der letzten 7 Tage
#26
ocaml-cohttp ↗@mirageOCaml
Eine OCaml-Bibliothek für HTTP-Clients und -Server unter Verwendung von Lwt oder Async
★ 777+2Sterne-Änderung der letzten 7 Tage
#27
ocamlformat ↗@ocaml-ppxOCaml
Automatische Formatierung für OCaml-Code
★ 730+0Sterne-Änderung der letzten 7 Tage
#28
eio ↗@ocaml-multicoreOCaml
Effektbasiertes Direct-Style-IO für Multicore OCaml
★ 722+0Sterne-Änderung der letzten 7 Tage
#29
angstrom ↗@inhabitedtypeOCaml
Parser-Kombinatoren, optimiert für Geschwindigkeit und Speichereffizienz
★ 705+0Sterne-Änderung der letzten 7 Tage
#30
query-json ↗@davesnxOCaml
Schnellere, einfachere und portablere Implementierung einer von jq inspirierten Sprache in OCaml.
★ 636+0Sterne-Änderung der letzten 7 Tage

← Zurück zu den Themen

Verwandte Themen

Neue Aufsteiger