Awesome Open Source

Programming Languages

Search results for programming coq

11 search results found

Learn Tt ⭐ 1,307

A collection of resources for learning type theory and type theory adjacent fields.

Coq Ext Lib ⭐ 124

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

Profunctor Monad ⭐ 33

Bidirectional programming in Haskell with monadic profunctors

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

Dafny Sandbox ⭐ 17

Dafny for Metatheory of Programming Languages

Concept Params ⭐ 8

Coq formalization of "concept parameters" for "generic" programming in STLC

Plt Formal Methods Resources ⭐ 7

Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and their application in some most active computer Science fields.

Awesome Agda Programming ⭐ 7

Awesome Agda Programming

Amazing Coq ⭐ 6

WHAT I have done on the road to Coq language and certified programming.

Misc playground and random stuff

Related Searches

Python Programming (3,002)

Javascript Programming (1,991)

C Plus Plus Programming (1,812)

Java Programming (1,806)

C Programming (1,543)

Course Programming (949)

Programming Book (889)

Html Programming (772)

Programming Algorithms (718)

Ocaml Coq (164)

1-11 of 11 search results

Privacy | About | Terms | Follow Us On Twitter

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