Project Name	Stars	Most Recent Commit	Open Issues	License	Language
Hott Uf Agda Lecture Notes	204	8 months ago		gpl-3.0	Agda
Lecture notes on univalent foundations of mathematics with Agda
Jonprl Mode	9	8 years ago	4		Emacs Lisp
An Emac major mode for writing JonPRL code

Alternatives To Jonprl Mode

Select To Compare

Hott Uf Agda Lecture Notes ⭐ 204

Lecture notes on univalent foundations of mathematics with Agda

most recent commit 8 months ago

Jonprl Mode ⭐ 9

An Emac major mode for writing JonPRL code

most recent commit 8 years ago

Suggest An Alternative To jonprl-mode

Alternative Project Comparisons

Jonprl Mode vs Hott Uf Agda Lecture Notes

Popular Highlighter Projects

Bat ⭐ 44,818

A cat(1) clone with wings.

dependent packages 54total releases 39latest release October 11, 2023most recent commit 3 months ago

Imhex ⭐ 31,549

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

total releases 1latest release August 10, 2022most recent commit 3 months ago

Highlight.js ⭐ 22,676

JavaScript syntax highlighter with language auto-detection and zero dependencies.

dependent packages 10,872total releases 100latest release October 09, 2023most recent commit 3 months ago

Driver.js ⭐ 19,879

A light-weight, no-dependency, vanilla JavaScript engine to drive the user's focus across the page

dependent packages 249total releases 66latest release November 10, 2023most recent commit 4 months ago

Zsh Syntax Highlighting ⭐ 18,361

Fish shell like syntax highlighting for Zsh.

total releases 1latest release March 03, 2021most recent commit 3 months ago

Popular Type Theory Projects

Plt ⭐ 5,018

Programming Language Theory λΠ

most recent commit 9 months ago

Kind ⭐ 3,420

A next-gen functional language

dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months ago

Write You A Haskell ⭐ 2,744

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

most recent commit 4 years ago

Agda ⭐ 2,281

Agda is a dependently typed programming language / interactive theorem prover.

total releases 40latest release November 30, 2023most recent commit 3 months ago

Lean3 ⭐ 2,138

Lean Theorem Prover

most recent commit 6 months ago

Popular Text Processing Categories

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Emacs Lisp

Highlighter

Type Theory

Privacy | About | Terms | Follow Us On Twitter

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