Awesome Open Source

Programming Languages

Search results for ocaml programming language

programming-language x

48 search results found

Reason ⭐ 10,052

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

Awesome Ocaml ⭐ 2,690

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

Fstar ⭐ 2,522

A Proof-oriented Programming Language

Catala ⭐ 1,872

Programming language for literate programming law specification

Satysfi ⭐ 1,125

A statically-typed, functional typesetting system

The Felix Programming Language

Rhine Ml ⭐ 621

🏞 an OCaml compiler for an untyped lisp

Simple high-level language for writing Internet Computer canisters

Bamboo see https://github.com/cornellblockchain/bamboo

Frenetic ⭐ 210

The Frenetic Programming Language and Runtime System

Tapl Scala ⭐ 161

Code from the book "Types and Programming Languages" in Scala

Spookyc ⭐ 134

A compiler for the 🎃 Spooky 😱 programming language 👻

Sesterl ⭐ 122

An ML-inspired statically-typed Erlang

Language Garden ⭐ 117

A garden of small programming language implementations 🪴

Statically typed system programming language for 文鳥

A toy language based on LLVM that implements the System Fω type-system

Polyglot Euler ⭐ 69

📜 Project Euler solutions in various programming languages

Teaching language LaMa for a compiler course

Compiler and tools for the L programming language

Fsharp Tapl ⭐ 48

Accompanying code for "Types and Programming Languages", ported to F#

A strongly typed language for the web!

Cs Resources ⭐ 36

Curated Computer Science and Programming Resource Guide

Krivine Machine ⭐ 29

Abstract krivine machine implementing call-by-name semantics. In OCaml.

WIP stack language that uses regex for control flow

A collection of programming languages and type systems.

Rustscript2 ⭐ 27

RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.

Programming language

A minimal object-oriented programming language supporting local methods.

A WIP programming language inspired by ML and powered by LLVM

Pl Checker ⭐ 22

2017F Programming Language Homework Checker

Programming languages

Som Lang ⭐ 21

The Som functional programming language

The official compiler for the Quartz programming language

A simple, general-purpose functional programming language

language verification, construction, and analysis

A type-safe, stack-based functional programming language

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

r86 is a 8086 real mode programming language which supports segmentation

Copl Tools ⭐ 10

tools for the book "Concepts of Programming Languages"

ML interpreter/compiler

SimpleScript, A Simpler Programming Language (WIP)

A programming language with first-class modules and algebraic effects.

Intuitionistic ⭐ 9

Automatically exported from code.google.com/p/intuitionistic

Write You A Programming Language ⭐ 9

List of small programming languages that you can implement in a relatively small amount of time for educational purposes.

Grammar Experimentation ⭐ 8

An experimental programming language containing a higher-order type system

A functional programming language based on system F (omega) ft. NbE and higher order unification

an effect handler-oriented programming language

Fl Compiler ⭐ 6

A functional programming language for PL study

Think Fsharp ⭐ 6

How to Think Like an F# Programmer

Luna is a general purpose language

A minimal applicative programming language

Cheat Sheet ⭐ 5

Bunch of useful cheat sheets for different languages!

λ Dynamically Typed, Interpreted Functional Programming Language

Menhera, a javascript like functional programming language

Distributed Xfrp ⭐ 5

Distributed XFRP Source & Example

Related Searches

C Plus Plus Programming Language (830)

Python Programming Language (779)

C Programming Language (667)

Javascript Programming Language (590)

Java Programming Language (544)

Ocaml Reasonml (464)

Bindings Ocaml (428)

Ocaml Reason (394)

Ocaml Bucklescript (320)

Types Ocaml (294)

1-48 of 48 search results

Privacy | About | Terms | Follow Us On Twitter

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