Awesome Open Source

Programming Languages

Search results for c ocaml

116 search results found

Infer ⭐ 14,568

A static analyzer for Java, C, C++, and Objective-C

Extism ⭐ 3,288

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

Comby ⭐ 1,996

A code rewrite tool for structural search and replace that supports ~every language.

Nodebook ⭐ 1,490

Nodebook - Multi-Lang Web REPL + CLI Code runner

The Felix Programming Language

42_subjects ⭐ 539

All Subjects of 42 School

High performance Chinese tokenizer with both GBK and UTF-8 charset support based on MMSEG algorithm developed by ANSI C. Completely based on modular implementation and can be easily embedded in other programs, like: MySQL, PostgreSQL, PHP, etc.

Mirror of the Xen Repository (PRs not accepted see: http://wiki.xenproject.org/wiki/Submitting_Xen_Pro

Gcc_termux ⭐ 294

Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

Read only mirror of https://gitlab.com/nbdkit/nbdkit

42_corrections ⭐ 168

Corrections files of 42 School

Kitsune Core ⭐ 157

Kitsune runtime, driver, ktcc, xfgen, documentation, and test suite.

Analyzer ⭐ 143

Static analysis framework for C

Frama C Snapshot ⭐ 125

Release snapshots of the Frama-C platform for source code analysis

windows registry hive extraction library. PLEASE DO NOT USE GITHUB FOR ISSUES OR PULL REQUESTS. See the website for how to file a bug or contact us. http://libguestfs.org

Lasca Compiler ⭐ 97

Lasca is Scala shifted towards Haskell.

Ocaml Solo5 ⭐ 95

Freestanding OCaml runtime

Cryptokit ⭐ 92

A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

Apron Numerical Abstract Domain Library

The Sparrow Static Analyzer

Mirage Platform ⭐ 81

Core platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen unikernel.

Digestif ⭐ 81

Simple hash algorithms in OCaml

The programming language Ficus

Mirage Crypto ⭐ 69

Cryptographic primitives for MirageOS

Unofficial mirror of xenbits.xen.org/xen.git

Udon C Compiler: C compiler for our original CPU

OCaml bindings to libcurl

Ocaml Ffmpeg ⭐ 48

OCaml bindings to the FFmpeg library.

Binaryen.ml ⭐ 47

OCaml bindings for Binaryen.

Graphics ⭐ 46

The Graphics library from OCaml, in a standalone repository

Caml Crush ⭐ 45

Caml Crush: an OCaml PKCS#11 filtering proxy

Ocaml Linenoise ⭐ 44

Self-contained OCaml bindings to linenoise, easy high level readline functionality in OCaml

Mp2i Info.github.io ⭐ 42

Cours d'informatique en MP2I (OCaml, C, SQL)

Reason Glfw ⭐ 42

Cross-platform GLFW / OpenGL ES / WebGL bindings for Reason

Ocaml Android ⭐ 41

Ocaml cross-compiler for Android

Ocaml Bimage ⭐ 36

Composable image processing library for OCaml

The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git with extended interfaces, bindings for Python and OCaml, and tools for generating JSON representations of shell scripts.

Camlfiber ⭐ 32

Fast native fibers for OCaml

Ocaml Safepass ⭐ 31

OCaml-safepass is a library enabling the safe storage of user passwords, for use in web applications

Read only mirror of https://gitlab.com/nbdkit/libnbd

Glfw Ocaml ⭐ 27

A GLFW binding for OCaml.

Batch_jaro_winkler ⭐ 25

Fast batch jaro winkler distance implementation in C99 with Ruby, OCaml and Python bindings.

Ocamlfuse ⭐ 24

OCamlFuse mirror with dune support

Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves

Ocaml Dht ⭐ 20

OCaml bindings for jech/dht

Simple C Compiler in OCaml

Byzantine model checker

Mirage Xen ⭐ 17

Xen core platform libraries for MirageOS

[Unstable] Fast, zero-copy and lightweight (Arm | Mips | x86) assembler in (C | C++ | C# | Go | Haskell | Javascript | Nim | OCaml | Python | Rust).

Checkseum ⭐ 15

Uv Ocaml ⭐ 15

Ocaml binding for joyent/libuv[https://github.com/joyent/libuv]

ZMQ API bindings for OCaml

Ocaml Baremetal Esp32 ⭐ 15

XenServer mirror of Xen 4.6 from xenbits.xen.org

A stream processing language and compiler for small-scale monitoring

Ocaml Xlib ⭐ 14

OCaml bindings for the Xlib library.

Oracle OCI binding for OCaml based on OraTcl

Repository for RT-Xen project

Ocaml Portaudio ⭐ 14

OCaml bindings for portaudio.

notes I've made from books I've read, courses I've taken etc

Pg_query Ocaml ⭐ 13

OCaml bindings for libpg_query

Ocamlode ⭐ 13

OCaml bindings for the Open Dynamics Engine (ODE), a 3D physics engine.

Ocaml Pari ⭐ 12

OCaml bindings to the number theory library PARI/GP

Ocaml Libssh ⭐ 12

💻 OCaml bindings to libssh

wavelets audio codec

Stb_truetype ⭐ 11

OCaml bindings to stb_truetype, a public domain truetype font rasterizer

Function ⭐ 10

Ocaml Gstreamer ⭐ 10

OCaml bindings for the GStreamer multimedia framework.

Copies OCaml objects out of the garbage collected heap

Terminal_size ⭐ 10

Get the size of the attached terminal in OCaml

Nlopt Ocaml ⭐ 10

OCaml bindings to the NLOpt optimization library

Mlgmpidl ⭐ 10

OCaml interface to the GMP library

Ocaml Flac ⭐ 9

OCaml bindings to libFLAC

Ocaml Alsa ⭐ 9

OCaml ALSA bindings.

Ocaml Qbf ⭐ 9

OCaml bindings to QBF solver(s)

OCaml bindings for Oracle Coherence

Ocaml Backpack ⭐ 9

My personal OCaml backpack: I never leave home without it!

Stb_image ⭐ 8

OCaml bindings to stb_image, a public domain image loader

Ocaml Schroedinger ⭐ 8

OCaml bindings to libschroedinger. (UNMAINTAINED)

Ocaml Glpk ⭐ 8

OCaml bindings for glpk

A program analyzer for source code search engine.

Ocaml Glob ⭐ 7

Simple wrapper around glob(3) for OCaml

Xen hypervisor version 4.4

OCaml libao bindings.

C bindings for Irmin

pathos is a collection of pathfinding experimentations to improve escape from dangerous areas

Low-level OCaml/Java interface

Emscripten Module Wrapper ⭐ 7

Installs a wrapper to emscripten modules that can be used to record data needed for verified computations.

Stb_image_write ⭐ 7

OCaml bindings to stb_image_write, a public domain image writer

A style guide for Coq

Ocaml Termbox ⭐ 7

termbox bindings for OCaml

Apache zookeeper client binding for OCAML programming language.

The PAGE1 scripting language

Reasongl Native ⭐ 6

Native OpenGL backend for ReasonGL

Related Searches

C Kernel (12,842)

C Video Game (4,242)

C Driver (4,106)

Python C (3,641)

C Firmware (3,545)

C Arduino (3,118)

C Command Line (2,475)

C Algorithms (2,333)

1-100 of 116 search results

Privacy | About | Terms | Follow Us On Twitter

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