Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters (1)

Filters

Clear all filters

1–8 of 8 · Most stars

A collection of well known Algebraic Data Types for your utter enjoyment.

  • adt
  • predicate-functions
  • lift
  • unary-functions

A hybrid LaTeX code + rich-text editor. It seamlessly syncs a rich-text What You See Is What You Get (WYSIWYG) view with raw LaTeX source code, featuring real-time KaTeX math preview and one-click PDF export via online compilers.