Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for language ocaml
language
x
ocaml
x
114 search results found
Grain
⭐
3,107
The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾
Ixy Languages
⭐
2,077
A high-speed network driver written in C, Rust, C++, Go, C#, Java, OCaml, Haskell, Swift, Javascript, and Python
Catala
⭐
1,872
Programming language for literate programming law specification
Liquidsoap
⭐
1,289
Liquidsoap is a statically typed scripting general-purpose language with dedicated operators and backend for all thing media, streaming, file generation, automation, HTTP backend and more.
Opalang
⭐
1,210
The Opa Language for Web Application Development
Best Practices Checklist
⭐
909
A list of awesome idiomatic code resources. Rust🦀, Go, Ruby💎, Pony 🐴, Ocaml 🐫, Erlang and more
Felix
⭐
766
The Felix Programming Language
Ocaml Lsp
⭐
681
OCaml Language Server Protocol implementation
Reason Language Server
⭐
647
A language server for reason, in reason
Bolt
⭐
494
Bolt is a language with in-built data-race freedom!
Linearml
⭐
367
Functional language for parallel programming
Bamboo
⭐
295
Bamboo see https://github.com/cornellblockchain/bamboo
Cil
⭐
277
C Intermediate Language
Syntax
⭐
262
ReScript's syntax as a standalone repo.
Scilla
⭐
238
Scilla - A Smart Contract Intermediate Level Language
Extprot
⭐
194
extprot: extensible binary protocols for cross-language communication and long-term serialization
Rehp
⭐
186
ReHp
Ioplmaterials
⭐
156
Materials for the class "Implementation of Programming Languages" in Kyoto University.
Vim Reason Plus
⭐
148
Reason Vim editor integration
Evilml
⭐
143
A compiler from ML to C++ template language
Rfcs
⭐
140
Design discussions about the OCaml language
Liquidity
⭐
138
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
Spookyc
⭐
134
A compiler for the 🎃 Spooky 😱 programming language 👻
Braid
⭐
118
A functional language with Reason-like syntax that compiles to Go.
Gospel
⭐
108
A tool-agnostic formal specification language for OCaml.
Nanocaml
⭐
100
Nanopass for OCaml
Rill
⭐
95
Statically typed system programming language for 文鳥
Labrys
⭐
91
A toy language based on LLVM that implements the System Fω type-system
Fact
⭐
87
Flexible and Constant Time Programming Language
Tryocaml
⭐
84
An interactive tutorial to begin learning with OCaml
Dolmen
⭐
75
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
Ok
⭐
73
OCaml implementation of the K 2.0 array programming language
Ficus
⭐
72
The programming language Ficus
Polyglot Euler
⭐
69
📜 Project Euler solutions in various programming languages
Next 700 Module Systems
⭐
69
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
Tree Sitter Ocaml
⭐
65
OCaml grammar for tree-sitter
L Lang
⭐
63
Compiler and tools for the L programming language
Lichenscript
⭐
56
A quick and small language compiled to JavaScript/C. Easy to integrated with the Web Ecosystem.
Mezzo
⭐
55
The language of the future!
Stimsym
⭐
53
[toy] A rewriting language similar to the core of Mathematica
Qcert
⭐
52
Compilation and Verification of Data-Centric Languages
Pendulum
⭐
51
OCaml syntax extension dedicated to the programming of reactive systems on the Web.
Liquidsoap Full
⭐
49
[DEPRECATED] Former main repository with all in-house bindings
Fsharp Tapl
⭐
48
Accompanying code for "Types and Programming Languages", ported to F#
Score4
⭐
44
AI: Implementing Score4 (Connect four) in functional and imperative languages
Gobba
⭐
44
A purely functional dynamically typed programming language.
Hashtable Latencies
⭐
44
Latency of a web service that stores a large hashtable, in multiple languages
Asl Interpreter
⭐
44
Example implementation of Arm's Architecture Specification Language (ASL)
Probzelus
⭐
42
ProbZelus is a library to extends the synchronous programming language Zelus with probabilistic programming.
Hlvm
⭐
40
High-Level Virtual Machine for statically-typed functional languages.
Ocaml Lua
⭐
34
Lua bindings for OCaml
Micro Caml
⭐
33
Program that translates OCaml into C language
Atom Ide Reason
⭐
32
ReasonML/OCaml language support for Atom-IDE, using ocaml-language-server under the hood.
Sparklis
⭐
31
Sparklis is a query builder in natural language that allows people to explore and query SPARQL endpoints with all the power of SPARQL and without any knowledge of SPARQL.
Ocaml Language Server
⭐
30
Language server for OCaml and Reason
Mpp Language Blender
⭐
30
MPP: a meta preprocessor that blends programming languages
Reasonml Manual
⭐
29
ReasonML Manual
Brick
⭐
27
The Brick language spec
Purely Fun
⭐
27
Purely Functional Data Structures
Merlin Language Server
⭐
27
Minimal cross-platform LSP wrapper for merlin
Fold
⭐
24
A modern pragmatic functional language. (Unreleased)
Hemlock
⭐
24
Programming language
Reasonml Quick Guide
⭐
23
A single-file guide to ReasonML.
Pl Checker
⭐
22
2017F Programming Language Homework Checker
Schmu
⭐
22
A WIP programming language inspired by ML and powered by LLVM
Lamtez
⭐
22
An ML-inspired smart contract language, compiling to Tezos' Michelson VM
Acutis
⭐
21
A declarative, type-safe template language
Som Lang
⭐
21
The Som functional programming language
Subml
⭐
21
SubML (prototype) language
P9penv
⭐
21
configurations, clients, scripts and guides to work with acme in plan9ports
Cs162
⭐
21
Programming languages
Tagless
⭐
20
oleg modules
Polylang.io
⭐
19
polylang.io provides free, open-source code playgrounds in 10 programming languages. No account is required, and all playgrounds are shareable.
Hocl
⭐
19
HoCL (Higher Order dataflow Coordination Language) is a language for describing dataflow networks and generating tool-specific descriptions.
Setup Ocaml
⭐
19
GitHub Action for the OCaml programming language
Pumping
⭐
18
Regular languages in types
Colis Language
⭐
18
A symbolic analyser for shell scripts.
Punchscript
⭐
18
A programming language made up of Rajinikanth punch dialogues
Latro
⭐
17
A simple, general-purpose functional programming language
Tiger
⭐
17
Compiler for Tiger language from "Modern Compiler Implementation in ML"
Ramen
⭐
15
A stream processing language and compiler for small-scale monitoring
Lvca
⭐
15
language verification, construction, and analysis
Bridge
⭐
14
A type-safe, stack-based functional programming language
Tortuga
⭐
14
An implementation of the Logo programming language in OCaml
Ocaml Manual Cn
⭐
13
OCaml 文档中文版
Fork Tiger
⭐
13
pad's fork of tiger for c--
Pml
⭐
12
New version of the PML language and (classical) proof assistant
Calimba
⭐
12
Language for musical creation.
Yallo Lang
⭐
12
A smart contract language for Tezos
Caraml
⭐
12
A toy ML-like programming language
Kontlang
⭐
12
Language with Clojure-like syntax and semantics based on EoPL + Shift/Reset
Mara
⭐
11
A programming language targeting 8bit ATMEL AVR microcontrollers. Implemented using OCaml and Menhir.
Aml
⭐
11
Agent Manipulation Language
Functional Cryptocurrencies
⭐
10
List of cryptocurrencies and smart contracts using functional programming languages
Nand
⭐
10
Copl Tools
⭐
10
tools for the book "Concepts of Programming Languages"
Libbil
⭐
9
libBIL: an intermediate language for binary derived from BAP
Programmingchallenges
⭐
9
List of Platforms
Broom
⭐
9
A programming language with first-class modules and algebraic effects.
Ss
⭐
9
SimpleScript, A Simpler Programming Language (WIP)
Related Searches
Python Language (4,480)
Javascript Language (4,116)
Java Language (2,399)
C Plus Plus Language (1,971)
Php Language (1,760)
Language Translation (1,672)
C Language (1,621)
Golang Language (1,282)
Typescript Language (1,185)
Ruby Language (1,107)
1-100 of 114 search results
Next >
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.