Awesome Open Source

Programming Languages

Search results for functional programming ocaml

functional-programming x

44 search results found

Milewski Ctfp Pdf ⭐ 10,547

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

Grain ⭐ 3,107

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

Functional Programming ⭐ 2,568

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Satysfi ⭐ 1,125

A statically-typed, functional typesetting system

A functional programming language based on algebraic effect handlers

The Felix Programming Language

Hazel, a live functional programming environment with typed holes

Ocaml4noobs ⭐ 369

Tutorial de OCaml para iniciantes na Linguagem.

Linearml ⭐ 367

Functional language for parallel programming

A modular functional web framework

FP-inspired prelude/standard library for ReasonML projects

Ocaml Jupyter ⭐ 261

An OCaml kernel for Jupyter (IPython) notebook

Learn Reasonml Workshop ⭐ 235

Learn ReasonML with 24 exercises. No prior functional programming knowledge required.

Philip2 ⭐ 168

An Elm to OCaml compiler

Patoline ⭐ 144

Patoline typesetting system

A compiler from ML to C++ template language

Preface ⭐ 130

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

A functional language with Reason-like syntax that compiles to Go.

Awa Ssh ⭐ 101

Purely functional SSH library in ocaml.

Pure Fun ⭐ 96

Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"

functional neural networks in ocaml

Ocaml Asp ⭐ 87

Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc

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

Rembrandt ⭐ 66

Simple UI framework written in Reasonml.

A compiler from a small functional language to C. Especially features algebraic effects and handlers with multishot continuations, and a static type system with inference of types and effects, with subtyping.

OCaml functional web scraping library

λ² is a tool for synthesizing functional programs from input-output examples.

Ocaml Lens ⭐ 59

Private extraction of astrada's lens library

Functional reactive programming in OCaml

Functional programming library for OCaml

Compilation and Verification of Data-Centric Languages

Functional Priority Search Queues for OCaml

Teaching Fp ⭐ 45

Techniques, advice, and anecdotes about how to teach Functional Programming

2048 Tutorial ⭐ 45

OCaml tutorial based on the 2048 game

A purely functional dynamically typed programming language.

AI: Implementing Score4 (Connect four) in functional and imperative languages

Accessor ⭐ 43

A library that makes it nicer to work with nested functional data structures

High-Level Virtual Machine for statically-typed functional languages.

Sihl Example Issues ⭐ 38

Fullstack Reason app using ReasonReact and Sihl.

Adventofcode2017 ⭐ 38

My solutions for AoC 2017, using Nim, OCaml, and Python

An OCaml based implementation of a Quil QVM

Iterated Function Systems ⭐ 33

Iterated Function Systems fractals with OCaml.

Docker Iocaml Datascience ⭐ 30

Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning

Docker Ocaml Jupyter Datascience ⭐ 30

Dockerfiles for data science in OCaml on Jupyter

Functional data structures for Riak

WIP stack language that uses regex for control flow

Fpv Tutorial Ss23 ⭐ 24

Materialien für das FPV-Tutorium im Sommersemester 2023

OCaml HTTP Microframework

A modern pragmatic functional language. (Unreleased)

Algorithms_in_ocaml ⭐ 24

Mooc Ocaml ⭐ 22

Functional Programming in OCaml MOOC

Category Theory For Programmers ⭐ 21

🚧 WIP: Bartosz Milewski's "Category Theory for Programmers" Korean translation 📚

Experimental model finder/SMT solver for functional programming.

Som Lang ⭐ 21

The Som functional programming language

Horned_worm ⭐ 21

An easy functional Web app micro framework.

Curious Ocaml ⭐ 21

A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.

Ocaml Rbtrees ⭐ 20

Red-Black Trees for OCaml.

Lambda Dti ⭐ 20

Interpreter of the ITGL with dynamic type inference

Functional kernel written in OCaml.

The official compiler for the Quartz programming language

A simple, general-purpose functional programming language

A type-safe, stack-based functional programming language

Docker Ocaml ⭐ 12

Minimum docker images for OCaml+OPAM

Ann Arbor Functional Programming User Group

[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.

Eidi2_repetitorium_tum ⭐ 11

This repository is intended for the Functional Programming and Verification (EIDI2) revision courses 2016 and 2017 at the Technical University of Munich.

Functional Cryptocurrencies ⭐ 10

List of cryptocurrencies and smart contracts using functional programming languages

The compiler for the space programming language. The frontend generates LLVM IR, supports the Object Oriented programming paradigm and has some functional features.

Revery Playground ⭐ 9

Live, interactive playground for Revery examples

Huffman Compression Ocaml ⭐ 9

Static / Dynamic (adaptive) Huffman compression using OCaml

Ocaml Fstreams ⭐ 9

Functional, lazy streams.

my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice

From Typescript To Rescript ⭐ 8

Frontend of Inhyped.com written in TypeScript and rewritten in ReScript

Grammar Experimentation ⭐ 8

An experimental programming language containing a higher-order type system

Is893 2020 Fall ⭐ 7

Parser Combinators ⭐ 7

Simple monadic parser combinators library: pure functional joy

Paradigmasdeprogramacion ⭐ 7

Prácticas de la asignatura de Paradigmas de Programación

A small stack-based language written in OCaml.

a simple functional language implementing a generalized exception-like control flow mechanism

Fl Compiler ⭐ 6

A functional programming language for PL study

Caml_bot is a chatbot for twitch.tv/mxthevsz 🤖

Compilation of an extended lambda-calculus to Michelson

Beatle Interpreter ⭐ 6

Interpreter of OCaml-inspired purely functional language with eager evaluation, written in Haskell for programming languages class

Ocamlldalibs ⭐ 6

Ocaml utility libraries, including Vec, a functional implementation of extensible arrays.

Bs Nonempty ⭐ 5

NonEmpty type with Array and List implementations for ReasonML and OCaml

ReasonML implementation of the basic monads

6502 chip simulator in OCaml

The Functional Approach To Programming ⭐ 5

Ocaml code from the book by Cousineau and Mauny (1998)

Katz-Lazarsfeld vs Watts-Dodds

Lambda Advisory Db ⭐ 5

A database of vulnerabilities associated with functional languages

Mirageos Bobkonf2019 Tutorial ⭐ 5

MirageOS unikernels used for bobkonf 2019 tutorial

λ Dynamically Typed, Interpreted Functional Programming Language

Menhera, a javascript like functional programming language

A patchwork functional programming language

Related Searches

Javascript Functional Programming (2,473)

Java Functional Programming (850)

Typescript Functional Programming (775)

Scala Functional Programming (499)

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Haskell Functional Programming (390)

Ocaml Bucklescript (320)

Types Ocaml (294)

1-44 of 44 search results

Privacy | About | Terms | Follow Us On Twitter

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