toku-sa-n/coqfmt toku-sa-n/coqfmt

  • Stars
    star
    11
  • Rank 1,644,434 (Top 34 %)
  • Language
    OCaml
  • License
    GNU Affero Genera...
  • Created 11 months ago
  • Updated about 2 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
toku-sa-n/coqfmt
github

toku-sa-n

Reviews

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

Repository Details

Coq code formatter

More Repositories

1

ramen

A toy OS written in Rust supporting xHCI.
Rust
39
star
2

cpio_reader

A Rust library to read the contents of cpio files
Rust
5
star
3

osdev_in_stable_rust

2
star
4

antei

An experimental Operating System written in stable Rust.
Rust
1
star
5

accessor

A Rust library to access MMIO.
Rust
1
star
6

os_units

A Rust library which provides units used in developing OS.
Rust
1
star
7

dotfiles

Shell
1
star
8

vimrc

My vimrc and its components
Vim Snippet
1
star
9

spm

Simple Package Manager for Linux From Scratch
Rust
1
star
10

playing-with-syb

An explanation of a Haskell library `syb`
Haskell
1
star
11

blob-tileset-generator

A program to generate a blob tile from 1x5 image.
Haskell
1
star