Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Sf

Mirror of Software Foundations in PDF
Stars
204
License
No license specified
Open Issues
1
Most Recent Commit
4 years ago
Programming Language
HTML
Categories
Site
Repo
Alternatives To Sf
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Sf204
4 years ago1HTML
Mirror of Software Foundations in PDF
Principia193
9 months ago1gpl-3.0TeX
The Principia Rewrite
Coq2latex20
8 years ago1C#
A command-line tool to generate Latex (inference rules) from inductive coq definitions.
Alternatives To Sf
Select To Compare
Principia ⭐ 193
The Principia Rewrite
most recent commit 9 months ago


Suggest An Alternative To sf
Alternative Project Comparisons
Sf vs Principia
Sf vs Coq2latex
Popular Latex Projects
Manim ⭐ 55,880
Animation engine for explanatory math videos
dependent packages 6total releases 9latest release April 13, 2022most recent commit 3 months agopypi manimgl} Downloads
Marktext ⭐ 43,252
📝A simple and elegant markdown editor, available for Linux, macOS and Windows.
total releases 1latest release January 19, 2022most recent commit 3 months ago
Katex ⭐ 17,588
Fast math typesetting for the web.
dependent packages 1,174total releases 75latest release October 02, 2023most recent commit a month agonpm katex} Downloads
Popular Coq Projects
Popular Data Formats Categories
Json
Markdown
Xml
Schema
Csv
Yaml
Latex
Encoding
Qr Code
Protocol Buffers

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Html
Latex
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.