Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Anders

🧊 Модальний Гомотопічний Прувер
Stars
14
License
other
Open Issues
0
Most Recent Commit
5 months ago
Programming Language
Pug
Total Releases
1
Latest Release
April 08, 2022
Categories
Site
Repo
Suggest An Alternative To anders
Popular Pug Projects
Purgecss ⭐ 7,602
Remove unused CSS
dependent packages 839total releases 28latest release April 23, 2023most recent commit 3 months agonpm @fullhuman/postcss-purgecss} Downloads
Hexo Theme Butterfly ⭐ 6,355
🦋 A Hexo Theme: Butterfly
dependent packages 2total releases 49latest release November 24, 2023most recent commit 3 months agonpm hexo-theme-butterfly} Downloads
Generator Angular Fullstack ⭐ 6,131
Yeoman generator for an Angular app with an Express server
dependent packages 6total releases 115latest release August 11, 2018most recent commit a year agonpm generator-angular-fullstack} Downloads
Popular Typechecker Projects
Typescript ⭐ 97,675
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
dependent packages 559,981total releases 2,904latest release December 09, 2023most recent commit 10 days agonpm typescript} Downloads
Mypy ⭐ 17,070
Optional static typing for Python
dependent packages 6,707total releases 112latest release November 23, 2023most recent commit 3 months agopypi mypy} Downloads
Pyre Check ⭐ 6,606
Performant type-checking for python.
dependent packages 31total releases 77latest release October 19, 2023most recent commit 3 months agopypi pyre-check} Downloads
Pytype ⭐ 4,464
A static type analyzer for Python code
dependent packages 107total releases 193latest release December 08, 2023most recent commit 3 months agopypi pytype} Downloads
Ezno ⭐ 1,994
A JavaScript compiler and TypeScript checker written in Rust with a focus on static analysis and runtime performance
dependent packages 3total releases 10latest release November 20, 2023most recent commit 3 months agocargo ezno-parser} Downloads
Popular Web User Interface Categories
Html
Reactjs
Css
Vue
Angular
Jquery
Bootstrap
Admin
Dashboard
Scss
Related Searches
Ocaml Type System
Ocaml Dependent Types
Ocaml Proof Assistant
Ocaml Typechecker
Dependent Types Proof Assistant
Type System Typechecker
Type System Dependent Types
Dependent Types Typechecker
Proof Assistant Cubical Type Theory
Dependent Types Theorem Prover

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Pug
Dependent Types
Typechecker
Proof Assistant
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.