-
ocaml Public
Forked from ocaml/ocamlThe core OCaml system: compilers, runtime system, base libraries
OCaml Other UpdatedFeb 17, 2026 -
esphome-devices Public
Forked from esphome/esphome-devicesESPHome Device Configurations Repository - A database of user submitted configurations for a variety of devices which can be flashed to run ESPHome.io firmware.
TypeScript GNU General Public License v3.0 UpdatedFeb 8, 2026 -
Kodi is an award-winning free and open source home theater/media center software and entertainment hub for digital media. With its beautiful interface and powerful skinning engine, it's available f…
C++ Other UpdatedFeb 8, 2026 -
typerep Public
Forked from janestreet/typerepRuntime types for OCaml (beta version)
OCaml MIT License UpdatedSep 4, 2025 -
-
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Creative Commons Zero v1.0 Universal UpdatedJun 28, 2025 -
opam-source-archives Public
Forked from ocaml/opam-source-archivesmirror of precious opam repository packages whose source websites have disappeared
Roff UpdatedJun 27, 2025 -
xpra Public
Forked from Xpra-org/xpraPersistent remote applications for X11; screen sharing for X11, MacOS and MSWindows.
Python GNU General Public License v2.0 UpdatedJun 25, 2025 -
-
-
-
-
epaper Public
OCaml epaper displays for Raspberry PI
Dune Mozilla Public License 2.0 UpdatedJun 24, 2025 -
vcs Public
Forked from mbarbin/vcsA Versatile OCaml Library for Git Operations
OCaml GNU Lesser General Public License v3.0 UpdatedJun 23, 2025 -
-
-
setup-ocaml Public
Forked from ocaml/setup-ocamlGitHub Action for the OCaml programming language
TypeScript MIT License UpdatedJun 12, 2025 -
-
PyGPSClient Public
Forked from semuconsulting/PyGPSClientPython Graphical GPS Client Application supporting NMEA, UBX, RTCM3, NTRIP & SPARTN Protocols
Python BSD 3-Clause "New" or "Revised" License UpdatedMay 10, 2025 -
pyubx2 Public
Forked from semuconsulting/pyubx2Python library for parsing and generating UBX GPS/GNSS protocol messages.
Python BSD 3-Clause "New" or "Revised" License UpdatedMay 6, 2025 -
-
bin_prot Public
Forked from janestreet/bin_protBinary protocol generator
OCaml MIT License UpdatedApr 28, 2025 -
sexplib0 Public
Forked from janestreet/sexplib0Library containing the definition of S-expressions and some base converters
OCaml MIT License UpdatedApr 27, 2025 -
-
-
ocaml-bitwuzla Public
Forked from bitwuzla/ocaml-bitwuzlaBitwuzla SMT solver repackaged for convenient use in opam.
OCaml MIT License UpdatedApr 1, 2025 -
Simple Theorem Prover, an efficient SMT solver for bitvectors
C++ Other UpdatedApr 1, 2025 -
libpoly Public
Forked from SRI-CSL/libpolyLibPoly is a C library for manipulating polynomials
C GNU Lesser General Public License v3.0 UpdatedApr 1, 2025 -
{{ message }}