Awesome Open Source

Programming Languages

Search results for ocaml llvm

43 search results found

Rhine Ml ⭐ 621

🏞 an OCaml compiler for an untyped lisp

The Vellvm (Verified LLVM) coq development.

The Coral Programming Language: a blazingly-fast, gradually-typed Python compiler with optional static typing for optimization and safety.

Shoo Lang ⭐ 110

Shoo is a statically typed programming language with first-class functions, structs, and arrays.

Lasca Compiler ⭐ 97

Lasca is Scala shifted towards Haskell.

An higher-level LLVM binding for OCaml

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

Flexible and Constant Time Programming Language

MicroC example compiler for Stephen Edward's PLT class, but in Haskell

Ocaml_llvm ⭐ 65

Toy compiler for OCaml Meetup

The Silk Programming Language

Ocamlllvm ⭐ 49

A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries produced by this compiler are in no way compatible with binaries produced by ocamlopt.

An OCaml bytecode to LLVM compiler

Vellvm Legacy ⭐ 34

Subsetphp ⭐ 28

A type-inferring compiler for a safer and disciplined subset of PHP, based on HHVM Hack compiler

Ocaml Llvm Ng ⭐ 27

A practical LLVM backend for OCaml (will never be finished)

Llvm2smt ⭐ 27

Experimental translation of llvm to smt.

A WIP programming language inspired by ML and powered by LLVM

Som Lang ⭐ 21

The Som functional programming language

Ocaml Llvm ⭐ 19

Outdated version of an LLVM based backend for OCaml. Newer version:

Compiler Course Unipi ⭐ 18

Lab of the course Languages, Compilers and Interpreters (Cod. 653AA) @ UNIPI

Llvmgraph ⭐ 18

Ocamlgraph overlay for llvm

Wasm Exprgen ⭐ 17

Expression generator for WebAssembly

Experiments about intermediate representations in compilers

Brainfucker ⭐ 15

A Brainfuck to binary compiler using LLVM, written in OCaml.

Llir Opt ⭐ 13

LLIR cross-language post-link optimiser for OCaml and C

A toy ML-like programming language

Tiger Ocaml Llvm Compiler ⭐ 11

A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code

Intuitionistic ⭐ 9

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

SimpleScript, A Simpler Programming Language (WIP)

Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.

Hardcaml Llvmsim ⭐ 9

LLVM JIT Cycle Accurate Simulator for HardCaml

Compiler for a very restricted subset of OCaml

The Iris programming language

Is893 2020 Fall ⭐ 7

X86 Lifter ⭐ 7

A tentative proposal for a new BAP x86 lifter

OCaml library to transform an Llvm control flow graph in an SMT formula.

Crellvm: Verified Credible Compilation for LLVM

Scilla Compiler ⭐ 7

Compile Scilla to LLVM-IR

Llvm Min Caml ⭐ 6

LLVM port of the Min-Caml compiler

embedded equation language

Synthesizing compiler for spatial computation

Related Searches

C Plus Plus Llvm (1,696)

Llvm Clang (934)

Ocaml Reasonml (475)

Bindings Ocaml (428)

Ocaml Reason (394)

Language Llvm (368)

Ocaml Bucklescript (320)

Types Ocaml (294)

Language Ocaml (289)

1-43 of 43 search results

Privacy | About | Terms | Follow Us On Twitter

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