Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Types Tex Open Source Projects

Open source projects categorized as Types Tex
Datafun ⭐ 328
Research on integrating datalog & lambda calculus via monotonicity types
most recent commit 2 years ago
Homotopy Type Theory Course ⭐ 214
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
most recent commit 2 years ago
Selective ⭐ 201
Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically
total releases 11most recent commit 3 months ago
Llmk ⭐ 95
Light LaTeX Make
most recent commit a year ago
Machine Learning Flashcards ⭐ 84
Machine learning flashcards
most recent commit 5 years ago
Typeandproof ⭐ 83
https://openpal.github.io/TypeAndProof/
most recent commit 7 years ago
Protocols ⭐ 77
A DSL for describing and implementing communication protocols
most recent commit 9 years ago
Mutablearithmetics.jl ⭐ 48
Interface for arithmetics on mutable types in Julia
most recent commit 4 months ago
Autocomplete Bibtex ⭐ 44
Adds Pandoc-style BibTeX citation key autocompletion to autocomplete+ for Atom.
most recent commit 4 years ago
Vim Tex Fold ⭐ 36
File type plugin for folding TeX files
most recent commit 6 years ago
Zeug ⭐ 29
being the beginnings of at least zero typecheckers
most recent commit 7 years ago
Deepalgebra ⭐ 27
DeepAlgebra
most recent commit 7 years ago
Vuepress Plugin Mathjax ⭐ 26
📃 Use TeX in VuePress.
dependent packages 13total releases 16most recent commit 4 years agonpm vuepress-plugin-mathjax} Downloads
Bathbib ⭐ 23
BibTeX and biblatex styles for the University of Bath's Harvard referencing style
most recent commit 7 months ago
Numlin ⭐ 23
NumLin: Linear Types for Linear Algebra
most recent commit a year ago
Grad Thesis ⭐ 21
random grad thesis about Julia
most recent commit 4 years ago
Potato ⭐ 20
being an experiment with potato power
most recent commit 4 years ago
Software Resume Template ⭐ 18
A simple LaTeX template for software engineering resumes.
most recent commit 4 years ago
Tymfgg Pearl ⭐ 14
Type Your Matrices For Great Good
most recent commit 4 years ago
Session Types Coq ⭐ 14
Formalising session types in Coq
most recent commit 5 years ago
Algebraically Indexed Types ⭐ 11
Repository for documents and experiments to do with algebraically-indexed types
most recent commit 10 years ago
Lw2019 Generics Workshop ⭐ 9
Contains exercises for the workshop in generic programming at Lambda World 2019
most recent commit 5 years ago
Riscv Smbios ⭐ 9
RISC-V SMBIOS Type 44 Spec
most recent commit 2 years ago
The 2 Latest Releases In Types Tex Open Source Projects
Vuepress Plugin Mathjax ⭐ 26
:page_with_curl: Use TeX in VuePress.
dependent packages 13total releases 16latest release July 02, 2019most recent commit 4 years agonpm vuepress-plugin-mathjax} Downloads
Popular Text Processing Categories
Tex
Format
Translation
Address
Character
Highlighter
Regular Expression
Formatter
Selector
Localization
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.