Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 C Plus Plus Ocaml Open Source Projects

Open source projects categorized as C Plus Plus Ocaml
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8most recent commit 3 months ago
Milewski Ctfp Pdf ⭐ 10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 4 months ago
Extism ⭐ 3,288
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
dependent packages 8total releases 22most recent commit 3 months agocargo extism} Downloads
Nodebook ⭐ 1,490
Nodebook - Multi-Lang Web REPL + CLI Code runner
most recent commit 3 years ago
Felix ⭐ 766
The Felix Programming Language
most recent commit 3 months ago
42_subjects ⭐ 539
All Subjects of 42 School
most recent commit 4 years ago
42_corrections ⭐ 168
Corrections files of 42 School
most recent commit 4 years ago
Evilml ⭐ 143
A compiler from ML to C++ template language
most recent commit 9 years ago
Ocaml Ctfp ⭐ 89
OCaml version of Category Theory For Programmers
most recent commit 4 years ago
Fluid ⭐ 37
🐙 Code-generated, Auto-versioned, & Smart Web APIs
most recent commit 6 years ago
Ocaml Javascriptcore ⭐ 30
Create, Control, Execute JavaScript in OCaml. Think of the possibilities.
most recent commit 7 years ago
Eigen ⭐ 28
Owl's OCaml Interface to Eigen3 C++ Library
most recent commit 2 years ago
Ocaml Cppffigen ⭐ 28
C++ FFI Generator for Ocaml
most recent commit 2 years ago
Ocaml Sfml ⭐ 22
OCaml binding for SFML (Simple and Fast Multimedia Library), http://www.sfml-dev.org/
most recent commit 2 years ago
Category Theory For Programmers ⭐ 21
🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚
most recent commit 2 years ago
Kalzium ⭐ 19
Periodic Table of Elements
most recent commit 3 months ago
D S Se Directed Tests ⭐ 19
Binary dynamic, static, and symbolic execution analysis tools for directed test generation
most recent commit 4 years ago
Docs ⭐ 16
any docs
most recent commit 4 years ago
Rustnotes ⭐ 16
most recent commit 4 years ago
Ramen ⭐ 15
A stream processing language and compiler for small-scale monitoring
most recent commit 10 months ago
Llir Opt ⭐ 13
LLIR cross-language post-link optimiser for OCaml and C
most recent commit 2 years ago
Yacfe ⭐ 12
Yacfe (Yet Another C Front-End) is mainly an OCaml API to write style-preserving source-to-source transformations such as refactorings on C source code.
most recent commit 6 years ago
Aml ⭐ 11
Agent Manipulation Language
most recent commit 6 years ago
The 3 Most Depended On C Plus Plus Ocaml Open Source Projects
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8latest release June 09, 2020most recent commit 3 months ago
Extism ⭐ 3,288
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
dependent packages 8total releases 22latest release December 01, 2023most recent commit 3 months agocargo extism} Downloads
Geodesy ⭐ 6
A pragmatic and efficient geodesy toolkit
dependent packages 1total releases 2latest release October 11, 2017most recent commit 6 years agopypi geodesy} Downloads
The 3 Latest Releases In C Plus Plus Ocaml Open Source Projects
Extism ⭐ 3,288
The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.
dependent packages 8total releases 22latest release December 01, 2023most recent commit 3 months agocargo extism} Downloads
Infer ⭐ 14,568
A static analyzer for Java, C, C++, and Objective-C
dependent packages 25total releases 8latest release June 09, 2020most recent commit 3 months ago
Geodesy ⭐ 6
A pragmatic and efficient geodesy toolkit
dependent packages 1total releases 2latest release October 11, 2017most recent commit 6 years agopypi geodesy} Downloads
Popular Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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