Giters
Cedric Cellier (rixed)

rixed

Geek Repo

41

followers

44

following

48

stars

Company:@securactive

Location:Karlsruhe

Github PK Tool:Github PK Tool

Organizations
retired-camels

Cedric Cellier's repositories

datasino

Random Data Generator for arbitrary data types

Language:OCamlStargazers:30Issues:2Issues:0

junkie

An extensible deep packet inspector.

Language:CLicense:NOASSERTIONStargazers:24Issues:3Issues:17

ramen

A stream processing language and compiler for small-scale monitoring

Language:OCamlLicense:NOASSERTIONStargazers:14Issues:3Issues:1380

robinet

Toy Network Simulator

Language:CLicense:NOASSERTIONStargazers:6Issues:3Issues:0

ocaml-bin-annot

Tells the OCaml type under the cursor

Language:OCamlStargazers:4Issues:2Issues:0

ocaml-parsercombinator

Dead simple combinatoric parser

Language:M4Stargazers:4Issues:2Issues:0

portia

ultimate literate programing preprocessor

Language:OCamlStargazers:4Issues:2Issues:3

dessser

(de)serializer generator

Language:OCamlLicense:GPL-3.0Stargazers:2Issues:2Issues:66

batteries-included

Batteries Included project

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:2Issues:0

csview

Interactive plot of any CSV file in your browser

Language:OCamlStargazers:1Issues:2Issues:0

ocaml-cgi

Objective Caml library for writing CGIs

Language:OCamlLicense:NOASSERTIONStargazers:1Issues:2Issues:1

binocle

Simplest instrumentation lib for OCaml programs

Language:OCamlStargazers:0Issues:2Issues:10

datalog

An in-memory datalog implementation for OCaml.

Language:PrologLicense:BSD-2-ClauseStargazers:0Issues:2Issues:0

egoboo2x

GP2X version of the 3D game Egoboo (requires gpu940)

Language:CStargazers:0Issues:0Issues:0

ensemblist

3d (OpenGL) puzzle game based on constructive solid geometry (CSG)

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0

gpu940

Software GPU for the ARM941 coprocessor of the GP2X

Language:ShellLicense:GPL-2.0Stargazers:0Issues:0Issues:0

GRIB-via-inReach

This system allows users of the Garmin inReach satellite SMS device to receive on-demand geospatial wind forecasts.

Language:PythonStargazers:0Issues:1Issues:0

libcnt

Some common functions/containers required by micromodel

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

lurch

Robotservant with a GUI

Language:OCamlStargazers:0Issues:2Issues:73

micromodel

Plugin for geomview that's a micro 3d modeler

Language:CLicense:GPL-2.0Stargazers:0Issues:2Issues:0

ocalme-net-codecs

codec for network protocols (OCaml)

Language:OCamlStargazers:0Issues:2Issues:0

ocalme-opam-repository

Private OPAM repository.

Stargazers:0Issues:2Issues:0

ocaml-stdint

Various signed and unsigned integers for OCaml

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

okml

Generator for KML files

Language:OCamlLicense:AGPL-3.0Stargazers:0Issues:2Issues:0

owww

As simple a WWW "framework" as possible (atop ocaml-cgi)

Language:OCamlStargazers:0Issues:0Issues:0

ramen-admin

ramen GUI (Qt)

Language:C++License:GPL-3.0Stargazers:0Issues:3Issues:184

smt2

OCaml library to interact with external solvers via SMT2 and some tools

Language:OCamlStargazers:0Issues:2Issues:0

tmux-status

status line for tmux

Language:PerlStargazers:0Issues:2Issues:0

waste

A tool to waste energy

Language:CStargazers:0Issues:0Issues:0

z3

The Z3 Theorem Prover

License:NOASSERTIONStargazers:0Issues:0Issues:0