Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Functional Programming Ocaml Open Source Projects

Open source projects categorized as Functional Programming Ocaml
Categories > Software Development > Functional Programming
Milewski Ctfp Pdf ⭐ 10,547
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
most recent commit 4 months ago
Grain ⭐ 3,107
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
dependent packages 2total releases 24most recent commit 3 months agonpm @grain/stdlib} Downloads
Functional Programming ⭐ 2,568
Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python
most recent commit 5 years ago
Satysfi ⭐ 1,125
A statically-typed, functional typesetting system
most recent commit 4 months ago
Eff ⭐ 794
A functional programming language based on algebraic effect handlers
most recent commit a year ago
Felix ⭐ 766
The Felix Programming Language
most recent commit 3 months ago
Hazel ⭐ 641
Hazel, a live functional programming environment with typed holes
most recent commit 3 months ago
Ocaml4noobs ⭐ 369
Tutorial de OCaml para iniciantes na Linguagem.
most recent commit 8 months ago
Linearml ⭐ 367
Functional language for parallel programming
most recent commit 7 years ago
Sihl ⭐ 347
A modular functional web framework
most recent commit 5 months ago
Relude ⭐ 269
FP-inspired prelude/standard library for ReasonML projects
dependent packages 17total releases 72most recent commit a year agonpm relude} Downloads
Ocaml Jupyter ⭐ 261
An OCaml kernel for Jupyter (IPython) notebook
most recent commit 9 months ago
Learn Reasonml Workshop ⭐ 235
Learn ReasonML with 24 exercises. No prior functional programming knowledge required.
most recent commit 4 years ago
Philip2 ⭐ 168
An Elm to OCaml compiler
most recent commit 4 years ago
Patoline ⭐ 144
Patoline typesetting system
most recent commit 2 years ago
Evilml ⭐ 143
A compiler from ML to C++ template language
most recent commit 9 years ago
Preface ⭐ 130
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
most recent commit a year ago
Braid ⭐ 118
A functional language with Reason-like syntax that compiles to Go.
total releases 1most recent commit 5 years ago
Awa Ssh ⭐ 101
Purely functional SSH library in ocaml.
most recent commit 10 months ago
Pure Fun ⭐ 96
Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
most recent commit 6 years ago
Zeta ⭐ 92
functional neural networks in ocaml
most recent commit 4 years ago
Ocaml Asp ⭐ 87
Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
most recent commit 10 months ago
Create Melange App ⭐ 69
The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers
most recent commit 3 months ago
The 4 Most Depended On Functional Programming Ocaml Open Source Projects
Relude ⭐ 269
FP-inspired prelude/standard library for ReasonML projects
dependent packages 17total releases 72latest release June 16, 2022most recent commit a year agonpm relude} Downloads
Bs Nonempty ⭐ 5
NonEmpty type with Array and List implementations for ReasonML and OCaml
dependent packages 3total releases 6latest release October 23, 2018most recent commit 6 years agonpm bs-nonempty} Downloads
Grain ⭐ 3,107
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
dependent packages 2total releases 24latest release January 08, 2023most recent commit 3 months agonpm @grain/stdlib} Downloads
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12latest release May 28, 2022most recent commit 10 months agonpm qcert} Downloads
The 5 Latest Releases In Functional Programming Ocaml Open Source Projects
Grain ⭐ 3,107
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
dependent packages 2total releases 24latest release January 08, 2023most recent commit 3 months agonpm @grain/stdlib} Downloads
Relude ⭐ 269
FP-inspired prelude/standard library for ReasonML projects
dependent packages 17total releases 72latest release June 16, 2022most recent commit a year agonpm relude} Downloads
Qcert ⭐ 52
Compilation and Verification of Data-Centric Languages
dependent packages 2total releases 12latest release May 28, 2022most recent commit 10 months agonpm qcert} Downloads
Braid ⭐ 118
A functional language with Reason-like syntax that compiles to Go.
total releases 1latest release April 24, 2019most recent commit 5 years ago
Bs Nonempty ⭐ 5
NonEmpty type with Array and List implementations for ReasonML and OCaml
dependent packages 3total releases 6latest release October 23, 2018most recent commit 6 years agonpm bs-nonempty} Downloads
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
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.