Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Language Ocaml Open Source Projects

Open source projects categorized as Language Ocaml
Space ⭐ 9
The compiler for the space programming language. The frontend generates LLVM IR, supports the Object Oriented programming paradigm and has some functional features.
most recent commit 3 years ago
Overture ⭐ 8
Overture is an implementation of the Prelude programming language that aims to use ATS as a compiler and verification back end.
most recent commit 8 years ago
Luml ⭐ 8
Luml is a type-inferred ML-style language that cross-compiles to Lua
most recent commit 5 years ago
Pizza ⭐ 8
The Pizza programming language
most recent commit 9 years ago
Plfp ⭐ 8
my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
most recent commit 4 years ago
Myte ⭐ 8
Compiler and tooling for the Myte programming language.
most recent commit a year ago
Why3 ⭐ 8
mirror from Project page on Inria Gitlab | Why3 is a software verification platform, featuring a versatile ML-style language and interfaces to various powerful automated and interactive theorem provers.
most recent commit 6 years ago
Language Ocaml ⭐ 8
Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)
most recent commit 3 years ago
Albatross ⭐ 8
Compiler for the Albatross Language
most recent commit 3 years ago
Iris ⭐ 7
The Iris programming language
most recent commit 8 years ago
Action ⭐ 7
Language for composable data-driven workflows
most recent commit 5 years ago
Kframework ⭐ 7
RChain Rholang Implementation & Materials for learning K Framework
most recent commit 4 years ago
Zkocaml ⭐ 7
Apache zookeeper client binding for OCAML programming language.
most recent commit 10 years ago
Codetype ⭐ 7
🔍 A source code identification tool.
total releases 2most recent commit 3 years ago
Repl In Browser ⭐ 7
Implementation of a language interpreter in the browser, using js_of_ocaml.
most recent commit 6 years ago
Pastek Lang ⭐ 6
Another lightweight markup language.
most recent commit 9 years ago
Strings ⭐ 6
Powerful and simple localization utility for web applications
most recent commit 8 months ago
Re Discord ⭐ 6
A base project for creating a Discord Bot with ReasonML
most recent commit 5 years ago
Html_of_wiki ⭐ 6
most recent commit 6 months ago
Viz ⭐ 6
The Viz Language
most recent commit 8 years ago
Shelf ⭐ 6
A small stack-based language written in OCaml.
most recent commit 15 years ago
Reuse Lang ⭐ 6
A programming language for writing libraries and other reusable things
most recent commit 4 months ago
Cgals ⭐ 6
Programming language for safety critical and real-time systems
most recent commit 8 years ago
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.