Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Hott Uf Agda Lecture Notes

Lecture notes on univalent foundations of mathematics with Agda
Alternatives To Hott Uf Agda Lecture Notes
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Franklin.jl901
3 months ago174mitJulia
(yet another) static site generator. Simple, customisable, fast, maths with KaTeX, code evaluation, optional pre-rendering, in Julia.
Hott Uf Agda Lecture Notes204
8 months agogpl-3.0Agda
Lecture notes on univalent foundations of mathematics with Agda
Github Math Iatemplate91
3 years agomitCSS
Custom iA Writer template with support for Math and code syntax highlighting
Razorcomponents.markdown21
3 years ago9July 09, 20212otherC#
Razor component for Markdown rendering.
Supermarked15npm supermarked} Downloads1,789117 years ago7November 04, 20142mitJavaScript
marked with syntax highlighting and LaTeX maths support
Dominhhai.github.io10
3 years ago17Jupyter Notebook
My Blog
Syzoj Renderer10npm syzoj-renderer} Downloads222 years ago13May 12, 20227mitJavaScript
SYZOJ2's renderer for markdown, math and highlight
Twitter Md Chrome9
5 years ago
Extend Twitter to tweet markdown as png. Chrome Extension.
Ams Lens6
8 years ago9otherJavaScript
The AMS customization of Lens
Latex4twitchchat6
3 years ago2mitJavaScript
Rendering LaTeX in Twitch Chat
Alternatives To Hott Uf Agda Lecture Notes
Select To Compare
Supermarked ⭐ 15
marked with syntax highlighting and LaTeX maths support
dependent packages 11total releases 7most recent commit 7 years agonpm supermarked} Downloads
Dominhhai.github.io ⭐ 10
My Blog
most recent commit 3 years ago
Syzoj Renderer ⭐ 10
SYZOJ2's renderer for markdown, math and highlight
dependent packages 2total releases 13most recent commit 2 years agonpm syzoj-renderer} Downloads
Ams Lens ⭐ 6
The AMS customization of Lens
most recent commit 8 years ago


Suggest An Alternative To HoTT-UF-Agda-Lecture-Notes
Alternative Project Comparisons
Hott Uf Agda Lecture Notes vs Franklin.jl
Hott Uf Agda Lecture Notes vs Github Math Iatemplate
Hott Uf Agda Lecture Notes vs Razorcomponents.markdown
Hott Uf Agda Lecture Notes vs Supermarked
Hott Uf Agda Lecture Notes vs Dominhhai.github.io
Hott Uf Agda Lecture Notes vs Syzoj Renderer
Hott Uf Agda Lecture Notes vs Twitter Md Chrome
Hott Uf Agda Lecture Notes vs Ams Lens
Hott Uf Agda Lecture Notes vs Latex4twitchchat
Popular Mathematics Projects
Freecodecamp ⭐ 384,908
freeCodeCamp.org's open-source codebase and curriculum. Learn to code for free.
dependent packages 2total releases 22latest release October 05, 2018most recent commit a month agonpm @freecodecamp/curriculum} Downloads
Popular Highlighter Projects
Bat ⭐ 44,818
A cat(1) clone with wings.
dependent packages 54total releases 39latest release October 11, 2023most recent commit 3 months agocargo bat} Downloads
Highlight.js ⭐ 22,676
JavaScript syntax highlighter with language auto-detection and zero dependencies.
dependent packages 10,872total releases 100latest release October 09, 2023most recent commit 3 months agonpm highlight.js} Downloads
Driver.js ⭐ 19,879
A light-weight, no-dependency, vanilla JavaScript engine to drive the user's focus across the page
dependent packages 249total releases 66latest release November 10, 2023most recent commit 4 months agonpm driver.js} Downloads
Zsh Syntax Highlighting ⭐ 18,361
Fish shell like syntax highlighting for Zsh.
total releases 1latest release March 03, 2021most recent commit 4 months ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Related Searches
Script Highlighter
Agda Type Theory
Dependent Types Type Theory
Mathematics Lecture Notes
Agda Dependent Types
Script Syntax Highlighting
Script Mathematics
Mathematics Type Theory
Mathematics Agda
Agda Homotopy Type Theory

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Script
Highlighter
Mathematics
Syntax Highlighting
Dependent Types
Type Theory
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.