Giters
Gabriel Cordier (gitcordier)

gitcordier

Geek Repo

9

followers

8

following

9

stars

Location:France

Home Page:https://pypi.org/project/MarkdownToLaTeX

Twitter:@gitcordier

Github PK Tool:Github PK Tool

Gabriel Cordier's starred repositories

CommunityModules

TLA+ snippets, operators, and modules contributed and curated by the TLA+ community

Language:TLALicense:MITStargazers:262Issues:0Issues:0

lecture

The TLA+ Video Course by Leslie Lamport

Language:HTMLLicense:NOASSERTIONStargazers:8Issues:0Issues:0

mistune

A fast yet powerful Python Markdown parser with renderers and plugins.

Language:PythonLicense:BSD-3-ClauseStargazers:2479Issues:0Issues:0

Test

test connection

License:MITStargazers:1Issues:0Issues:0

md2latex

:sparkles:Markdown to LaTeX:sparkles:

Language:PythonLicense:MITStargazers:19Issues:0Issues:0

hevea

Hevea is a fast latex to html translator

Language:OCamlLicense:NOASSERTIONStargazers:95Issues:0Issues:0

DrTLAPlus

Dr. TLA+ series - learn an algorithm and protocol, study a specification

Language:TLAStargazers:782Issues:0Issues:0

Examples

A collection of TLA⁺ specifications of varying complexities

Language:TLALicense:NOASSERTIONStargazers:1239Issues:0Issues:0

tlaplus

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

Language:JavaLicense:MITStargazers:2236Issues:0Issues:0