633 Open source projects that are alternatives of or similar to Coq Of Ocaml

The CompCert formally-verified C compiler

A Verified Compiler for Gallina, Written in Gallina

A Python backend for PureScript.

A tool that can transform CommonJS to ESM

参考自龙书上的语言，自己实现了一个编译器的前端。

Mindless, verified (erasably) coding using dependent types

A curated set of links to formal methods involving provable code.

c语言编译器，用 lex 和 yacc 工具完成词法分析与语法分析并生成语法树，C++实现了语 法树的解析并生成中间代码，生成中间代码的过程中实现了错误检测。C++实 现了中间代码的优化操作。之后利用 python 对中间代码进行处理并生成 mips 汇编码并且可以成功在 PCSpim（mips 模拟器）上运行。

Functional programming language for signal processing and sound synthesis

Cybernetically enhanced web apps

Fetish-themed programming language

🔡 🧜🏽‍♀️ 下一代企业级编程语言。A easy maintain(read/write) language for transform from/to other languages.

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

Odin Programming Language

⚔️ A tool for cross compiling shaders. Convert between GLSL, HLSL, Metal Shader Language, or older versions of GLSL.

It's Python with a Lissp.

Ain't nobody got time for data

NanoJIT is a small, cross-platform C++ library that emits machine code.

A modern low-level programming language

An APL-like programming language. Self-hosted!

Inko is a statically-typed, safe, object-oriented programming language for writing concurrent programs. This is a read-only mirror of https://gitlab.com/inko-lang/inko

ARTist's core implementation meant to be included in the art project. Provides ARTist APIs and boilerplate code for modules.

general purpose programming language, in the vein of C++

A SuperCompiler for Martin-Löf's Type Theory

The zero configuration build tool for the web. 📦🚀

nGraph has moved to OpenVINO

Verified hash-based AMQ structures in Coq

A minimal language compiled into wasm bytecode

An Xcode plugin that uses the Swift parser to generate initializers

Coq formalizations of functional languages.

TS AST transformer to rewrite import path

Godzilla is a ES2015 to Go source code transpiler and runtime

One language to be RegExp's Successor. Visually readable and rich, technically safe and extended, naturally scalable, advanced, and optimized

A compiler from Go to JavaScript for running Go code in a browser

A library of Coq definitions, theorems, and tactics. [[email protected],@liyishuai]

💥💻💥 A data-parallel functional programming language

Fedjmike's C Compiler

Converts Elixir to JavaScript

The Sinclair ZX Spectrum BASIC compiler!

Interactive Coq Proofs in Vim

Compiler for the VC4CL OpenCL implementation

A build-time information stored in your rust project.(binary,lib,cdylib,dylib)

A portable programming language

The official repo is at bellard/quickjs.

PeaCoq is a pretty Coq, isn't it?

LLVM Obfuscator

numba_scipy extends Numba to make it aware of SciPy

The Language for Smart Legal Contracts

[ORPHANED] Transcompiles EVM code to eWASM

rucc is a tiny toy C compiler in Rust.

🌟 DataFormsJS 🌟 A minimal JavaScript Framework and standalone React and Web Components for rapid development of high quality websites and single page applications.

🐠 Babel is a compiler for writing next generation JavaScript.

webpack2完整系列课程，欢迎阅读。同时欢迎移步我的react全家桶文章全集: https://github.com/liangklfangl/react-article-bucket

An esoteric programming language compiler on top of LLVM based on Brainfuck

Compile a subset of the Python AST to x64-64 assembler

The Kotlin Programming Language.

x86-64 assembler embedded in Python

The Higher-Order Intermediate Representation

Compiled programming language for Unix systems, inspired by COBOL and designed to be expressive, fast, readable and easy to learn.