Project Name	Stars	Most Recent Commit	Total Releases	Latest Release	Open Issues	License	Language
Rfc Bibtex	25	5 years ago	3	March 16, 2019	5	mit	Python
A command line tool that creates bibtex entries for IETF RFCs and Internet Drafts.
Coq2latex	20	8 years ago			1		C#
A command-line tool to generate Latex (inference rules) from inductive coq definitions.
Agda2lagda	13	3 months ago	5	June 09, 2023	1	unlicense	Haskell
Simple conversion from Agda text to literate Agda text.
Prompty	8	4 years ago	26	December 15, 2021	17	mit	Python
Prompty is a command prompt markup language.
Fensterbrief	6	2 years ago	16	August 30, 2018		other	Python
Fensterbrief (German for window envelope) is a Python script for working with letters based on LaTeX and Markdown.
Tipafy	5	6 years ago					Python
Command line tools to convert from unicode IPA notation to tipa, and back.

Alternatives To Agda2lagda

Select To Compare

Rfc Bibtex ⭐ 25

A command line tool that creates bibtex entries for IETF RFCs and Internet Drafts.

total releases 3most recent commit 5 years ago

Coq2latex ⭐ 20

A command-line tool to generate Latex (inference rules) from inductive coq definitions.

most recent commit 8 years ago

Agda2lagda ⭐ 13

Simple conversion from Agda text to literate Agda text.

total releases 5most recent commit 3 months ago

Prompty ⭐ 8

Prompty is a command prompt markup language.

total releases 26most recent commit 4 years ago

Fensterbrief ⭐ 6

Fensterbrief (German for window envelope) is a Python script for working with letters based on LaTeX and Markdown.

total releases 16most recent commit 2 years ago

Tipafy ⭐ 5

Command line tools to convert from unicode IPA notation to tipa, and back.

most recent commit 6 years ago

Suggest An Alternative To agda2lagda

Alternative Project Comparisons

Agda2lagda vs Rfc Bibtex

Agda2lagda vs Coq2latex

Agda2lagda vs Prompty

Agda2lagda vs Fensterbrief

Agda2lagda vs Tipafy

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 ago

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

Awesome Cv ⭐ 20,966

:page_facing_up: Awesome CV is LaTeX template for your outstanding job application

most recent commit 3 months ago

Plotneuralnet ⭐ 20,451

Latex code for making neural networks diagrams

most recent commit 8 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 ago

Popular Command Line Tool Projects

Ripgrep ⭐ 44,855

ripgrep recursively searches directories for a regex pattern while respecting your gitignore

dependent packages 348total releases 37latest release November 26, 2023most recent commit 2 days ago

Pm2 ⭐ 40,603

Node.js Production Process Manager with a built-in Load Balancer.

dependent packages 1,872total releases 278latest release March 15, 2023most recent commit a month ago

The_silver_searcher ⭐ 25,423

A code-searching tool similar to ack, but faster.

total releases 2latest release August 25, 2018most recent commit 4 months ago

Fx ⭐ 17,717

Terminal JSON viewer & processor

dependent packages 21total releases 61latest release November 10, 2023most recent commit 5 months ago

Gitui ⭐ 16,965

Blazing 💥 fast terminal-ui for git written in rust 🦀

dependent packages 3total releases 3latest release January 06, 2023most recent commit 6 days ago

Popular Data Formats Categories