Tim-ats-d / PunchboyLinks
Drop some lyrics and highlights the rhymes with colors
☆13Updated 2 years ago
Alternatives and similar repositories for Punchboy
Users that are interested in Punchboy are comparing it to the libraries listed below
Sorting:
- Fast and easy notes taking oriented markup language.☆22Updated 3 years ago
- Paso is a meta and functional programming language with a strong static inferred and iso-polymorphic type system☆29Updated 2 years ago
- A library to make easier dialog box in a terminal.☆12Updated 3 years ago
- A powerful keybind library and daemon for Linux.☆11Updated 2 years ago
- A cute Gemini client written in OCaml☆16Updated 2 years ago
- Programming language written in Rust.☆12Updated 2 years ago
- One album per day☆12Updated last year
- OCaml Implementation of the (famous) Baguette# exotic language, used as TIPE for the 2022,2023 seasons concours☆30Updated 4 months ago
- r86 is a 8086 real mode programming language which supports segmentation☆19Updated 3 years ago
- ppx_system is a syntax extension to known operating system at compile time☆12Updated 2 years ago
- A cross-platform library for building Gemini servers☆37Updated 3 weeks ago
- The compiler for N⋆, a statically typed assembly language used as a compiler backend for Zilch☆29Updated 2 years ago
- A script to dynamically change your wallpaper with a travel photo by Richard Stallman.☆12Updated 4 years ago
- Omega-Bot for Discord, v2!☆12Updated 2 years ago
- Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.☆10Updated 4 years ago
- Unofficial 4chan read-only client for iPhone and iPad☆10Updated 3 years ago
- A complete specification on Zilch and N⋆☆10Updated 2 years ago
- ☆6Updated 2 years ago
- A simple λProlog interpreter☆20Updated 3 years ago
- Gofork is a CLI tool to find forks that are ahead of a github repository.☆16Updated last year
- Refinement types encoded with private types in OCaml.☆10Updated 4 years ago
- An imperative, object-oriented, static and type-infered programming language.☆9Updated 2 years ago
- The Som functional programming language☆22Updated last year
- A verified Implementation of a mini prolog☆15Updated 2 years ago
- Nihil, a statically typed interpreted functional programming language☆68Updated 4 years ago
- Parallel version of incremental library☆19Updated last year
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆16Updated 6 years ago
- M4x1m3's theme maker, but in a desktop app☆15Updated 3 years ago
- A bibtex file parser☆21Updated last year
- Tactic for polynomial manipulations☆10Updated 2 months ago