astahfrom/prettiest astahfrom/prettiest

  • Stars
    star
    9
  • Rank 1,891,907 (Top 39 %)
  • Language
    OCaml
  • License
    Apache License 2.0
  • Created over 6 years ago
  • Updated 5 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
astahfrom/prettiest
github

astahfrom

Reviews

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

Repository Details

A Pretty but not Greedy Printer in OCaml

More Repositories

1

piecetable

Piece Table in Rust for efficient sequential insertion and removal (unmaintained)
Rust
11
star
2

algfinder

Graphical Rubik's Cube algorithm finder in Rust
Rust
5
star
3

turning-snake

A simple Snake-like game with a twist in 120 lines of F#
F#
2
star
4

isasnips

Generate LaTeX snippets for Isabelle theories.
Rust
1
star
5

minerunner

A simple game in Haskell and Gloss
Haskell
1
star
6

cartouches

Parses Isabelle LaTeX output into manageable snippets.
Rust
1
star
7

hybrid_termination

Unfinished work on proving termination for a hybrid logic tableau system
Isabelle
1
star
8

htmlbib

Create an HTML list of publlications from a BibTeX file
Rust
1
star