Ptival/ProofIDE

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Haskell
License
MIT License
Created over 10 years ago
Updated almost 8 years ago

Ptival/ProofIDE

Ptival

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Editing proofs made nicer

PeaCoq

PeaCoq is a pretty Coq, isn't it?

ocamelf

ELF-parsing library written in OCaml for OCaml

language-ocaml

Language tools for manipulating OCaml programs in Haskell (parser, pretty-printer, ...)

yugioh

Yu-Gi-Oh! simulator

chick

mock-haskell-projects

A collection of mock Haskell project setups that ought to load properly

lyah-fr

French translation of Learn You A Haskell For Great Good

recursion-schemes-examples

Examples of using the recursion-schemes package

language-coq

HaysTac

A pile of Ltac tactics that might contain the needle you're looking for...

galois

Reproducible setup for Galois

extensible-nanopass-compiler

A Coq implementation of a nanopass compiler, using "Meta-Theory à la Carte" techniques

social_scrapper

This project contains Scrapy spiders able to crawl some charity/general interest/humanitarian websites to extract data about volunteering opportunities.

yokoiboy

Toy GameBoy emulator, in Rust

rocq-gameboy

00-lambda

Starter code for 00-lambda

generic-spot-the-difference

haskell-nix-template

Template for Haskell project using nix + haskell.nix + niv + hpack + haskell-language-server

peacoqtop

peacoq-server

learn-from-peers-rxjs

ynot

Harvard's Ynot: http://ynot.cs.harvard.edu/ - One branch per Coq version which needed changes

advent-of-code

coq-of-s2n

lambda-forall

compcert-alias

Alias analysis for CompCert

formal

Formalization of some dependently-typed languages

peacoq-frontend

segfaulty

Nix + Haskell + Polysemy + HIE = GHC panic