Awesome Open Source

Programming Languages

Search results for types tex

10 search results found

Datafun ⭐ 328

Research on integrating datalog & lambda calculus via monotonicity types

Homotopy Type Theory Course ⭐ 214

A course on homotopy theory and type theory, taught jointly with Jaka Smrekar

Selective ⭐ 201

Selective Applicative Functors: Declare Your Effects Statically, Select Which to Execute Dynamically

Light LaTeX Make

Machine Learning Flashcards ⭐ 84

Machine learning flashcards

Typeandproof ⭐ 83

https://openpal.github.io/TypeAndProof/

Protocols ⭐ 77

A DSL for describing and implementing communication protocols

Mutablearithmetics.jl ⭐ 48

Interface for arithmetics on mutable types in Julia

Autocomplete Bibtex ⭐ 44

Adds Pandoc-style BibTeX citation key autocompletion to autocomplete+ for Atom.

Vim Tex Fold ⭐ 36

File type plugin for folding TeX files

being the beginnings of at least zero typecheckers

Deepalgebra ⭐ 27

Vuepress Plugin Mathjax ⭐ 26

📃 Use TeX in VuePress.

BibTeX and biblatex styles for the University of Bath's Harvard referencing style

NumLin: Linear Types for Linear Algebra

Grad Thesis ⭐ 21

random grad thesis about Julia

being an experiment with potato power

Software Resume Template ⭐ 18

A simple LaTeX template for software engineering resumes.

Tymfgg Pearl ⭐ 14

Type Your Matrices For Great Good

Session Types Coq ⭐ 14

Formalising session types in Coq

Algebraically Indexed Types ⭐ 11

Repository for documents and experiments to do with algebraically-indexed types

Lw2019 Generics Workshop ⭐ 9

Contains exercises for the workshop in generic programming at Lambda World 2019

Riscv Smbios ⭐ 9

RISC-V SMBIOS Type 44 Spec

Bnf Plus Plus ⭐ 9

LALR1 C++ parser generator from BNF grammar (just copy-n-paste BNF grammar from RFC and you'll get a parser)

Specification ⭐ 8

A statically typed functional programming inspired by Haskell, OCaml and Rust.

Constructingii ⭐ 7

Constructing Inductive-Inductive types in Cubical Type Theory

A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory

Dep Typed Wbl Heaps ⭐ 6

Verifying weight biased leftist heaps using dependent types in Agda

Type Directed Tdd Rust ⭐ 5

Presentation on "Type-Directed TDD in Rust" for Pittsburgh Code and Supply

Schemetex ⭐ 5

Chicken egg that generates code from inline TeX

Related Searches

Javascript Types (8,178)

Tex Latex (5,332)

Typescript Types (2,606)

Python Types (2,536)

Php Types (1,921)

Java Types (1,598)

Tex Thesis (1,478)

C Plus Plus Types (1,282)

Golang Types (1,257)

C Sharp Types (1,177)

1-10 of 10 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.