Török Edwin (edwintorok)

edwintorok

Geek Repo

Company:@xenserver

Location:UK

Github PK Tool:Github PK Tool


Organizations
lll-project
perf101

Török Edwin's repositories

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

lintcstubs

OCaml C stub static analyzer

Language:OCamlLicense:NOASSERTIONStargazers:8Issues:2Issues:2

xen-api

The Xapi Project's XenAPI Server

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:ShellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ke

Fast implementation of queue in OCaml

License:MITStargazers:0Issues:0Issues:0

mdx

Execute code blocks inside your documentation

License:ISCStargazers:0Issues:0Issues:0

metapp

Meta-preprocessor for OCaml

Language:OCamlLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

mirage-crypto

Cryptographic primitives for MirageOS

Language:CLicense:ISCStargazers:0Issues:2Issues:0

mirage-skeleton

Examples of simple MirageOS apps

License:UnlicenseStargazers:0Issues:0Issues:0

mirage-tcpip

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

License:ISCStargazers:0Issues:0Issues:0

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

ocaml-ci

A CI for OCaml projects

Language:OCamlStargazers:0Issues:0Issues:0

ocaml-hashcons

OCaml hash-consing library

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

ocaml-rpc

Light library to deal with RPCs in OCaml

Language:OCamlLicense:ISCStargazers:0Issues:3Issues:0

ocaml.org

The official OCaml website.

Language:HTMLLicense:NOASSERTIONStargazers:0Issues:2Issues:0

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

Language:ShellLicense:CC0-1.0Stargazers:0Issues:3Issues:0

ortac

Runtime assertion checking based on Gospel specifications

License:MITStargazers:0Issues:0Issues:0

owl

Owl - OCaml Scientific Computing @ http://ocaml.xyz

Language:OCamlLicense:MITStargazers:0Issues:1Issues:0

pandiff

Prose diffs for any document format supported by Pandoc

Language:TypeScriptLicense:MITStargazers:0Issues:0Issues:0

pandoc

Universal markup converter

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

polly

OCaml bindings for Linux epoll(2)

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0
Language:PythonLicense:MITStargazers:0Issues:0Issues:0

quarto-cli

Open-source scientific and technical publishing system built on Pandoc.

License:NOASSERTIONStargazers:0Issues:0Issues:0

ragelib

A library for RAGE to handle parsing and working with pages it generates.

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

solo5

A sandboxed execution environment for unikernels

License:ISCStargazers:0Issues:0Issues:0

stdext

Citrix's (deprecated) extensions to the ocaml standard library

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:3Issues:0

xapi-project.github.io

Home of the Xapi-project docs site

Language:HTMLStargazers:0Issues:3Issues:0
Language:CLicense:NOASSERTIONStargazers:0Issues:3Issues:0
Language:OCamlLicense:NOASSERTIONStargazers:0Issues:1Issues:0

xs-opam

Opam repository for OCaml libraries to build XenServer toolstack components

Language:ShellLicense:MITStargazers:0Issues:3Issues:0