-
@securactive
- Karlsruhe
-
ocaml-vdom Public
Forked from LexiFi/ocaml-vdomElm architecture and (V)DOM for OCaml
OCaml MIT License UpdatedSep 19, 2024 -
ramen Public
A stream processing language and compiler for small-scale monitoring
-
dessser Public
(de)serializer generator
-
dbf Public
Forked from pveber/dbfLibrary to read (some) variant of dBase format
OCaml ISC License UpdatedSep 4, 2024 -
GRIB-via-inReach Public
Forked from rhycus/GRIB-via-inReachThis system allows users of the Garmin inReach satellite SMS device to receive on-demand geospatial wind forecasts.
Python UpdatedAug 28, 2024 -
-
-
-
-
-
-
batteries-included Public
Forked from ocaml-batteries-team/batteries-includedBatteries Included project
-
okml Public
Generator for KML files
OCaml GNU Affero General Public License v3.0 UpdatedApr 5, 2023 -
-
-
libcnt Public
Some common functions/containers required by micromodel
C GNU General Public License v2.0 UpdatedJul 11, 2022 -
micromodel Public
Plugin for geomview that's a micro 3d modeler
C GNU General Public License v2.0 UpdatedJul 11, 2022 -
gpu940 Public
Software GPU for the ARM941 coprocessor of the GP2X
Shell GNU General Public License v2.0 UpdatedJul 8, 2022 -
ensemblist Public
3d (OpenGL) puzzle game based on constructive solid geometry (CSG)
C GNU General Public License v2.0 UpdatedJul 6, 2022 -
-
-
ocaml-stdint Public
Forked from andrenth/ocaml-stdintVarious signed and unsigned integers for OCaml
OCaml Other UpdatedFeb 24, 2022 -
-
smt2 Public
OCaml library to interact with external solvers via SMT2 and some tools
OCaml UpdatedFeb 22, 2022 -
-
-
junkie Public
Forked from krissg/junkieAn extensible deep packet inspector.
-
-
-
Previous Next