Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Pl2016

Stars
13
License
No license specified
Open Issues
31
Most Recent Commit
8 years ago
Programming Language
HTML
Categories
Repo
Alternatives To Pl2016
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Waterproof17
a year ago24lgpl-2.1JavaScript
Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.
Pl201613
8 years ago31HTML
Ascii_robot6
4 years agomitCoq
ASCII Robot Generator in V
Alternatives To Pl2016
Select To Compare
Pl2016 ⭐ 13
most recent commit 8 years ago
Ascii_robot ⭐ 6
ASCII Robot Generator in V
most recent commit 4 years ago


Suggest An Alternative To pl2016
Alternative Project Comparisons
Pl2016 vs Waterproof
Pl2016 vs Ascii_robot
Popular Terminal Projects
Terminal ⭐ 93,043
The new Windows Terminal and the original Windows console host, all in the same place!
total releases 1latest release November 20, 2022most recent commit a month ago
Alacritty ⭐ 51,980
A cross-platform, OpenGL terminal emulator.
dependent packages 3total releases 6latest release March 24, 2023most recent commit a month agocargo alacritty_config} Downloads
Popular Coq Projects
Popular Command Line Interface Categories
Command Line
Terminal
Zsh
Weather
Tmux
Ipython
Fish Shell
Tui
Termux
Hyperterm

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Html
Terminal
Coq
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.