brh55 / yang-policiesView external linksLinks
A consumable JSON list of Andrew Yang's 2020 policies found on yang2020.com
☆11Nov 27, 2019Updated 6 years ago
Alternatives and similar repositories for yang-policies
Users that are interested in yang-policies are comparing it to the libraries listed below
Sorting:
- A scheduling platform to help with donation pickups for the nonprofit Habitat for Humanity, San Luis Obispo.☆11Dec 11, 2025Updated 2 months ago
- A volunteer management program to track/ log hours and access volunteer information.☆12Apr 18, 2023Updated 2 years ago
- ☆11Feb 18, 2024Updated last year
- my profile☆14Jan 9, 2023Updated 3 years ago
- ☆13Jul 8, 2024Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Various Vector Similarity Search examples☆13Dec 30, 2022Updated 3 years ago
- main website for the cantstopcolumbus movement☆12Mar 9, 2021Updated 4 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- OECD data mining using pandasdmx and pandas☆11May 10, 2020Updated 5 years ago
- ☆11Oct 31, 2021Updated 4 years ago
- ☆11Sep 15, 2025Updated 5 months ago
- Control LiveSplit from your Android device☆10Oct 14, 2025Updated 4 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Never write reducers or actions again.☆17Jan 21, 2026Updated 3 weeks ago
- 🎩 👷🏽 A yeoman generator to scaffold a ready-to-go, open-source react-native component (Jest, Package dependencies, Travis, etc)☆12Oct 9, 2017Updated 8 years ago
- ☆11Mar 22, 2021Updated 4 years ago
- dat.wallet☆17Jan 11, 2014Updated 12 years ago
- Run CoffeeScript or JavaScript in Atom.☆11Aug 20, 2017Updated 8 years ago
- The TeX for Adams' blue book, by the group TeXromancers☆13Sep 15, 2025Updated 5 months ago
- Automatically exported from code.google.com/p/vcf-to-csv-converter☆10Mar 18, 2015Updated 10 years ago
- Adding conjecturing to Sage☆14Mar 17, 2023Updated 2 years ago
- Lean proof that a normed vector space with compact unit ball is finite dimensional☆11Dec 7, 2019Updated 6 years ago
- A SailsJS v1 JSON starter api with Firebase token authentication.☆10Nov 14, 2017Updated 8 years ago
- A development of homotopy theory in the Lean formal theorem prover.☆14Aug 27, 2020Updated 5 years ago
- Python SSHA hash generator and validator with debugging features☆12Feb 11, 2020Updated 6 years ago
- Bukkit Package Manager☆11Sep 18, 2016Updated 9 years ago
- Sources about ancient strategy board game Go☆10Aug 31, 2019Updated 6 years ago
- Bayarea what to do on weekend 湾区周末啥活动☆10Apr 1, 2019Updated 6 years ago
- ☆14Oct 16, 2025Updated 4 months ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Updated this week
- 🖥🚀 Web development explained for normal people!☆10Apr 22, 2024Updated last year
- Compute and manipulate Hodge diamonds for many classes of smooth projective varieties☆11Jan 22, 2026Updated 3 weeks ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated last year
- 🚀 The best&fastest way to create and manage your World-Dominating Federated GraphQL API☆11Dec 27, 2021Updated 4 years ago
- A set of FOSS applications to include in an AOSP☆13May 28, 2023Updated 2 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago