Awesome Open Source

Programming Languages

Search results for language coq

13 search results found

Bedrock2 ⭐ 266

A work-in-progress language and compiler for verified low-level programming

Programming Language for Smart Legal Contracts

Goose converts a small subset of Go to Coq

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.

Collapsing Towers ⭐ 69

Collapsing Towers of Interpreters

Compilation and Verification of Data-Centric Languages

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

Contracts ⭐ 31

Symbolic financial contract EDSL

Luck -- A Language for Property-Based Generators

A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"

Dafny Sandbox ⭐ 17

Dafny for Metatheory of Programming Languages

Formalization of Typed Assembly Language (TAL) in Coq

Memory Safe Language ⭐ 16

A formalization of properties of a simple imperative, memory-safe language.

Beginning of formal language theory

Awesome Agda Programming ⭐ 7

Awesome Agda Programming

L Lang Parser Rs ⭐ 7

A parser for a toy strict untyped λ-calculus language called L-lang.

Related Searches

Python Language (4,480)

Javascript Language (4,116)

Language Programming (3,959)

Java Language (2,399)

C Plus Plus Language (1,971)

Php Language (1,760)

Language Translation (1,672)

C Language (1,627)

Golang Language (1,282)

Typescript Language (1,185)

1-13 of 13 search results

Privacy | About | Terms | Follow Us On Twitter

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