Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 16 Tex Definition Open Source Projects

Open source projects categorized as Tex Definition
Categories > Definition
Successor Ml ⭐ 128
A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
most recent commit 6 years ago
The Definition Of Standard Ml Revised ⭐ 93
The Definition of Standard ML, Revised (1997)
most recent commit 7 years ago
The Definition Of Standard Ml ⭐ 92
The Definition of Standard ML (1990)
most recent commit 9 years ago
Pandoc Thesis ⭐ 75
A Template for Thesis Documents written in Markdown
most recent commit 3 months ago
Statproofbooktools ⭐ 58
Tools for The Book of Statistical Proofs
most recent commit 3 months ago
Tikz Colorbrewer ⭐ 31
Definition files providing colours as defined by the ColorBrewer project.
most recent commit 7 years ago
Real World Idris ⭐ 25
Malfunction backend for Idris with a FFI to OCaml
most recent commit 5 years ago
Bib2gls ⭐ 21
Command line application to convert .bib files to glossaries-extra.sty resource file
most recent commit 3 months ago
Declare Your Language ⭐ 18
a book about declarative language definition
most recent commit 8 years ago
Phfqitltx ⭐ 12
Collection of LaTeX utility packages for scientific documents
most recent commit 7 months ago
Latex Listings Protobuf ⭐ 10
Definitions so LaTeX's listings package can handle "Protocol Buffers" message declaration files
most recent commit 4 years ago
Generic Elim ⭐ 10
Source code accompanying the paper "Generic Constructors and Eliminators from Descriptions"
most recent commit 6 years ago
Exercisebank ⭐ 9
A package for creating and managing exercise sets in LaTeX.
most recent commit 3 years ago
Specification ⭐ 8
A statically typed functional programming inspired by Haskell, OCaml and Rust.
most recent commit a year ago
Vivo Pump ⭐ 6
software for managing data in VIVO using spreadsheets
most recent commit 7 years ago
Lse 163 ⭐ 6
LSE-163: Data Products Definition Document
most recent commit 7 months ago
Categories
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.