rixed

@securactive Karlsruhe

Pinned Repositories

datasino
Random Data Generator for arbitrary data types
Language:OCaml30 2 01
fachoda-complex
code archaeology - restoring a 12 years old air combat simulator/arcade game
Language:C10 3 593
groupby
CLI tool to perform sort of sort|uniq + apply an aggregate function to each field of the CSV.
Language:C3 2 00
junkie
An extensible deep packet inspector.
Language:C24 3 174
ocaml-bin-annot
Tells the OCaml type under the cursor
Language:OCaml4 2 00
ocaml-parsercombinator
Dead simple combinatoric parser
Language:M44 2 02
portia
ultimate literate programing preprocessor
Language:OCaml4 2 30
ramen
A stream processing language and compiler for small-scale monitoring
Language:OCaml14 3 1.4k4
robinet
Toy Network Simulator
Language:C6 3 01
uutunnel
port forwarding like it's 1980!
Language:C8 2 00

rixed's Repositories

rixed/datasino
Random Data Generator for arbitrary data types
Language:OCaml30 2 01
rixed/junkie
An extensible deep packet inspector.
Language:C24 3 174
rixed/ramen
A stream processing language and compiler for small-scale monitoring
Language:OCaml14 3 1.4k4
rixed/robinet
Toy Network Simulator
Language:C6 3 01
rixed/ocaml-bin-annot
Tells the OCaml type under the cursor
Language:OCaml4 2 00
rixed/ocaml-parsercombinator
Dead simple combinatoric parser
Language:M44 2 02
rixed/portia
ultimate literate programing preprocessor
Language:OCaml4 2 30
rixed/dessser
(de)serializer generator
Language:OCaml2 2 662
rixed/batteries-included
Batteries Included project
Language:OCaml1 2 0
rixed/csview
Interactive plot of any CSV file in your browser
Language:OCaml1 2 0
rixed/ocaml-cgi
Objective Caml library for writing CGIs
Language:OCaml1 2 13
rixed/binocle
Simplest instrumentation lib for OCaml programs
Language:OCaml2 101
rixed/datalog
An in-memory datalog implementation for OCaml.
Language:Prolog2 0
rixed/egoboo2x
GP2X version of the 3D game Egoboo (requires gpu940)
Language:C
rixed/ensemblist
3d (OpenGL) puzzle game based on constructive solid geometry (CSG)
Language:C1 0
rixed/gpu940
Software GPU for the ARM941 coprocessor of the GP2X
Language:Shell
rixed/GRIB-via-inReach
This system allows users of the Garmin inReach satellite SMS device to receive on-demand geospatial wind forecasts.
Language:Python1 0
rixed/libcnt
Some common functions/containers required by micromodel
Language:C2 0
rixed/lurch
Robotservant with a GUI
Language:OCaml2 73
rixed/micromodel
Plugin for geomview that's a micro 3d modeler
Language:C2 0
rixed/ocalme-net-codecs
codec for network protocols (OCaml)
Language:OCaml2 01
rixed/ocalme-opam-repository
Private OPAM repository.
2 0
rixed/ocaml-stdint
Various signed and unsigned integers for OCaml
Language:OCaml2 0
rixed/okml
Generator for KML files
Language:OCaml2 0
rixed/owww
As simple a WWW "framework" as possible (atop ocaml-cgi)
Language:OCaml
rixed/ramen-admin
ramen GUI (Qt)
Language:C++3 184
rixed/smt2
OCaml library to interact with external solvers via SMT2 and some tools
Language:OCaml2 0
rixed/tmux-status
status line for tmux
Language:Perl2 0
rixed/waste
A tool to waste energy
Language:C
rixed/z3
The Z3 Theorem Prover