Ptival/language-ocaml Ptival/language-ocaml

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Haskell
  • License
    MIT License
  • Created over 6 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Ptival/language-ocaml
github

Ptival

Reviews

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

Repository Details

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

More Repositories

1

PeaCoq

PeaCoq is a pretty Coq, isn't it?
Coq
106
star
2

ocamelf

ELF-parsing library written in OCaml for OCaml
OCaml
12
star
3

yugioh

Yu-Gi-Oh! simulator
Haskell
10
star
4

chick

Haskell
9
star
5

mock-haskell-projects

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

lyah-fr

French translation of Learn You A Haskell For Great Good
CSS
8
star
7

recursion-schemes-examples

Examples of using the recursion-schemes package
Haskell
7
star
8

language-coq

Haskell
6
star
9

HaysTac

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

galois

Reproducible setup for Galois
Nix
5
star
11

ProofIDE

Editing proofs made nicer
Haskell
5
star
12

extensible-nanopass-compiler

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

social_scrapper

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

yokoiboy

Toy GameBoy emulator, in Rust
Rust
3
star
15

rocq-gameboy

Coq
3
star
16

00-lambda

Starter code for 00-lambda
Haskell
2
star
17

generic-spot-the-difference

Nix
2
star
18

haskell-nix-template

Template for Haskell project using nix + haskell.nix + niv + hpack + haskell-language-server
Nix
2
star
19

peacoqtop

Haskell
2
star
20

peacoq-server

Haskell
2
star
21

learn-from-peers-rxjs

JavaScript
2
star
22

ynot

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

advent-of-code

Haskell
1
star
24

coq-of-s2n

1
star
25

lambda-forall

HTML
1
star
26

compcert-alias

Alias analysis for CompCert
Coq
1
star
27

formal

Formalization of some dependently-typed languages
Makefile
1
star
28

peacoq-frontend

PureScript
1
star
29

segfaulty

Nix + Haskell + Polysemy + HIE = GHC panic
Nix
1
star