verlang

The verlang project

Status: Abandoned

Brought to you by: intoverflow

Downloads: 0 This Week

Last Update: 2015-08-22

Browse Code

Verlang adds Core Erlang as an extraction target to Coq.

Other Useful Business Software

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free

Rate This Project

Be the first to post a review of verlang!

2013-07-15

Gemini 3 and 200+ AI Models on One Platform

Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

Build generative AI apps with Vertex AI. Switch between models without switching platforms.

Start Free

Recommended Projects

Lambda Tamer
A collection of tools for formalizing programming languages and compilers, based around the Coq proof assistant
esdl
Erlang OPENGL/SDL api and utilities.
Erlang/OTP
Build massively scalable soft real-time systems
APE Tag Libraries
C, Python, Lua, and Erlang libraries for manipulating APEv2 tags.
Gleam
A friendly language for building type-safe, scalable systems!