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

  • Stars
    star
    20
  • Rank 1,121,974 (Top 23 %)
  • Language
    OCaml
  • License
    GNU Affero Genera...
  • Created over 1 year ago
  • Updated 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
40
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

dotfiles

Shell
1
star
7

vimrc

My vimrc and its components
Vim Snippet
1
star
8

spm

Simple Package Manager for Linux From Scratch
Rust
1
star
9

playing-with-syb

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

os_units

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

blob-tileset-generator

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

Krita-pen-pressure-adjuster

Global pen pressure setting adjuster for Krita
Python
1
star