Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for erlang ocaml
erlang
x
ocaml
x
31 search results found
Awesomo
⭐
9,084
Cool open source projects. Choose your project and get involved in Open Source development now.
Caramel
⭐
959
🍬 a functional language for building type-safe, scalable, and maintainable applications
Riot
⭐
255
An actor-model multi-core scheduler for OCaml 5 🐫
Piqi
⭐
239
Piqi – universal schema language: JSON, XML, Protocol Buffers data validation and conversion
Sesterl
⭐
122
An ML-inspired statically-typed Erlang
Bran
⭐
94
A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.
Polyglot Euler
⭐
69
📜 Project Euler solutions in various programming languages
Ocaml Erlang Port
⭐
68
Support library for OCaml programs running as Erlang ports
Qcstm
⭐
54
A simple state-machine framework for OCaml based on QCheck
Fialyzer
⭐
53
[WIP] Faster Implementation of Dialyzer
Advent Of Code 2021
⭐
47
새로운 프로그래밍 언어와 함께 겨울나기
Distributed
⭐
43
Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.
Alberto
⭐
38
A simple OCaml library for writing Erlang port drivers.
Cs Resources
⭐
36
Curated Computer Science and Programming Resource Guide
Starlight
⭐
31
[WIP] Yet another Erlang implementation in Rust
Actario
⭐
28
Verification Framework for Actor Systems on Coq
Japanese Ocaml Companies
⭐
21
日本で OCaml/ReasonML を利用している会社一覧
Quartz
⭐
17
The official compiler for the Quartz programming language
Docs
⭐
16
any docs
Hope
⭐
16
A quest for a "standard" Erlang library with uniform, composable abstractions.
Mix_caramel
⭐
15
🍬 A Mix plugin to use Caramel
Jamler
⭐
15
Kamlo_wiki
⭐
14
Wiki For Camlunity
Obeam
⭐
14
[WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.
A2fp
⭐
11
Ann Arbor Functional Programming User Group
Functional Cryptocurrencies
⭐
10
List of cryptocurrencies and smart contracts using functional programming languages
Ocaml Html Sanitizer
⭐
8
HTML and CSS sanitizer Erlang port and a command-line utility in OCaml
Rebar3_caramel
⭐
7
rebar3 plugin for compiling caramel / ocaml projects
Caravan
⭐
7
A framework for stateful, black-box testing of arbitrary systems, in OCaml. Inspired by Erlang/OTP's Common Test.
Merkel
⭐
7
Distributed Xfrp
⭐
5
Distributed XFRP Source & Example
Related Searches
Elixir Erlang (1,179)
Ocaml Reasonml (475)
Bindings Ocaml (428)
Ocaml Reason (394)
Server Erlang (334)
Ocaml Bucklescript (320)
C Erlang (313)
Plugin Erlang (311)
Types Ocaml (294)
Language Ocaml (289)
1-31 of 31 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.