lthms/coq-comparse lthms/coq-comparse

  • Stars
    star
    4
  • Rank 3,303,679 (Top 66 %)
  • Language Coq
  • License
    GNU General Publi...
  • Created almost 5 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lthms/coq-comparse
github

lthms

Reviews

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

Repository Details

Your companion toolkit to write parsers with general-purpose combinators in Coq

More Repositories

1

spatial-shell

Implementing a spatial model inspired by Material Shell, for i3 and sway.
OCaml
87
star
2

FreeSpec

A framework for implementing and certifying impure computations in Coq
Coq
51
star
3

colorless-themes.el

Mirror of https://git.sr.ht/~lthms/colorless-themes.el
Emacs Lisp
35
star
4

chain

Extensible, Type Safe Error Handling in Haskell
Haskell
13
star
5

jsonrpc2

JSON RPC 2.0 for OCaml
OCaml
6
star
6

ogam

A markup language for story writers
Rust
4
star
7

manuscript

My PhD thesis
TeX
3
star
8

extensible-records-minimal

Minimal example of using dmap to implement extensible records in OCaml
OCaml
2
star
9

speccert

Specifying and Verifying Hardware-based Security Enforcement
Coq
1
star
10

lkn-series

Tutorials about lkn
Makefile
1
star
11

auth-token

Token-based Authentication
Haskell
1
star
12

bepo-tsrn.nvim

Opinionated mappings for the bepo layout in Lua, remapping hjkl to tsrn instead of ctsr.
Lua
1
star
13

keyr

A collection of tools to keep track of your keystrokes
Rust
1
star
14

cleopatra

cleopatra is a generic, extensible toolchain for literate programming projects
1
star