Awesome Open Source

Programming Languages

Search results for kernel ocaml

25 search results found

Js_of_ocaml ⭐ 917

Compiler from OCaml to Javascript.

Ocaml Jupyter ⭐ 261

An OCaml kernel for Jupyter (IPython) notebook

Core_kernel ⭐ 216

Jane Street's standard library overlay (kernel)

An OCaml kernel for the IPython notebook

A prototype programming language for programming with runners

Iocamljs ⭐ 55

An OCaml javascript kernel for the IPython notebook

Baardskeerder ⭐ 51

A persistent B-ish-tree

Rpi Boot Ocaml ⭐ 40

Raspberry Pi boot support for the OCaml system (unreleased)

Tis Kernel ⭐ 22

TIS Kernel, the open-source kernel of TIS Analyzer

Iocamlserver ⭐ 22

Web server for IOCaml

Functional kernel written in OCaml.

Jupyter Kernel ⭐ 17

Library for writing arbitrary jupyter kernels in OCaml.

Mirage Kfreebsd ⭐ 14

Port of the Mirage OS module to the FreeBSD kernel, aka. project "Mirage/kFreeBSD".

Ocaml Xsk ⭐ 12

An OCaml wrapper to the AF_XDP socket interface of libbpf

Pure OCaml IKEv2

[wip] A LCF-style kernel of trust intended for certified ATP and proof checking for FOL/HOL.

Qubes Test Mirage ⭐ 8

Scripts I use to test Mirage unikernels on QubesOS

Simple_jucaml ⭐ 7

A very simple Jupiter kernel for OCaml

Reference implementation of the Vanishing Ranking Kernels (VRK) method

Ocaml Covar ⭐ 5

Covariance functions, including Temporal Kernel Descriptors, in OCaml.

XenServer mirror of Xen 4.5 from xenbits.xen.org

udp based language independent messaging system

Xen hypervisor used for Device File-based I/O Virtualization.

Related Searches

C Kernel (12,842)

Kernel Unix (6,775)

Python Kernel (1,566)

Shell Kernel (1,485)

Kernel Driver (1,461)

C Plus Plus Kernel (1,226)

Jupyter Notebook Kernel (622)

Kernel Operating System (574)

Kernel Qemu (524)

Ocaml Reasonml (475)

1-25 of 25 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.