github-education-resources/PR-Patches-Campus-Party external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

github-education-resources/PR-Patches-Campus-Party

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/github-education-resources/PR-Patches-Campus-Party)

Close

github-education-resources / PR-Patches-Campus-PartyView on GitHubMore

• External links
• Readme badge

PR-Patches-Campus-Party

☆24Dec 6, 2022Updated 3 years ago

Alternatives and similar repositories for PR-Patches-Campus-Party

Users that are interested in PR-Patches-Campus-Party are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• proxygo / Deck-tarot-nanquim

  View on GitHub
  deck de tarot desenhado por mim
  ☆38Apr 25, 2023Updated 3 years ago
• BecoSystems / spacewar

  View on GitHub
  Repositório para testes de fork e aprendizado do git
  ☆28May 31, 2026Updated 3 months ago
• feministech / links

  View on GitHub
  Site de links da comunidade Feministech
  ☆21Oct 7, 2022Updated 3 years ago
• gdijkstra / hs-to-gallina

  View on GitHub
  Experimentation project
  ☆17Feb 18, 2014Updated 12 years ago
• phijor / agda-mode-ng

  View on GitHub
  Let's rethink how we interact with Agda
  ☆18Nov 18, 2022Updated 3 years ago
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• laMudri / quantitative

  View on GitHub
  ☆16Dec 28, 2021Updated 4 years ago
• laMudri / generic-lr

  View on GitHub
  AACMM's generic-syntax, but with QTT-style annotations
  ☆21Apr 7, 2024Updated 2 years ago
• hongseok-yang / logic24

  View on GitHub
  ☆12May 30, 2024Updated 2 years ago
• Deducteam / Agda2Dedukti

  View on GitHub
  ☆22Jan 24, 2022Updated 4 years ago
• ajrouvoet / ternary.agda

  View on GitHub
  An Agda library for programming with ternary relations
  ☆18Apr 9, 2025Updated last year
• trillioneyes / idris-pong

  View on GitHub
  A browser Pong game, taking advantage of Idris's ability to compile to javascript.
  ☆18Nov 20, 2014Updated 11 years ago
• proxygo / desenhando_com_css

  View on GitHub
  Repo para agrupar dicas para se desenhar com css = charme sem safadeza
  ☆20Oct 31, 2022Updated 3 years ago
• LauraBeatris / LauraBeatris

  View on GitHub
  ☆13Nov 10, 2024Updated last year
• ReciHub / Hub-de-Comunidades

  View on GitHub
  Mapeamento das comunidades de tecnologia mais arretadas do estado de Pernambuco - Brasil
  ☆46Nov 3, 2022Updated 3 years ago
• Serverless GPU API endpoints on Runpod - Get Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• VictorCMiraldo / agda-rw

  View on GitHub
  This is the place where (more or less) stable releases of my RW library will be published.
  ☆16Jun 4, 2020Updated 6 years ago
• nyusemantics / LambdaCalculatorPublic

  View on GitHub
  ☆20Aug 30, 2022Updated 4 years ago
• sstucki / pts-agda

  View on GitHub
  A formalization of Pure Type Systems (PTS) in Agda
  ☆28Jul 3, 2025Updated last year
• douglaszuqueto / ESP8266_MQTT

  View on GitHub
  ☆14Nov 19, 2015Updated 10 years ago
• JonasDuregard / testing-feat

  View on GitHub
  FEAT
  ☆25May 26, 2018Updated 8 years ago
• vintasoftware / tapioca-twitter

  View on GitHub
  Twitter API wrapper using tapioca
  ☆16Dec 5, 2017Updated 8 years ago
• frex-project / agda-fragment

  View on GitHub
  Algebraic proof discovery in Agda
  ☆36Dec 6, 2021Updated 4 years ago
• metaborg / linear.agda

  View on GitHub
  A library and case-study for linear, intrinsically-typed interpreters in Agda
  ☆36Dec 21, 2019Updated 6 years ago
• j4g3 / PayPal

  View on GitHub
  Apenas recriei a interface do paypal.
  ☆10Sep 16, 2021Updated 4 years ago
• Proton VPN Special Offer - Get 70% off • Ad
  Special partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
• bobatkey / agda-metric-reals

  View on GitHub
  ☆29Jun 23, 2022Updated 4 years ago
• rocketseat-education / ignitequiz_template

  View on GitHub
  App do módulo de Animações e micro-interações da trilha de React Native do Ignite.
  ☆14Jun 27, 2023Updated 3 years ago
• kuuuurt / android-example-marvel-characters

  View on GitHub
  A sample Android app to experiment on Android Development
  ☆11Jul 31, 2019Updated 7 years ago
• JanWielemaker / chat80

  View on GitHub
  Classical CHAT80 NLP system for Prolog
  ☆28Feb 27, 2025Updated last year
• nat / nat

  View on GitHub
  ☆16Apr 16, 2022Updated 4 years ago
• pugpe / pugpe_portal

  View on GitHub
  Portal do Grupo de Usuários Python de Pernambuco
  ☆16Mar 10, 2012Updated 14 years ago
• LauraBeatris / gofinances-api

  View on GitHub
  Rest API to manage financial transactions - Built with Express, TypeORM and Postgres
  ☆14Jan 24, 2023Updated 3 years ago
• Taverna-Hub / ForgeSheets

  View on GitHub
  Uma aplicação web de criação e gerenciamento de fichas para RPG utilizando Django.
  ☆12Sep 4, 2024Updated 2 years ago
• Abduzidos / Aprenda-Git

  View on GitHub
  Uma introdução rápida e prática a aos conceitos básicos do Git
  ☆13Mar 25, 2024Updated 2 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• klsdfernando / VoidTunnel

  View on GitHub
  A powerful Linux VPN/Proxy client (GUI) built with Python & PyQt6. Uses Xray-core for VMess, VLESS, Trojan, Shadowsocks & SSH connections…
  ☆141Jun 12, 2026Updated 2 months ago
• sandipapps / Weather-Update

  View on GitHub
  Source code for YouTube tutorial "Build a Weather App in Android Studio | Volley Library | OpenWeatherMap API". Integrated with Admob Ban…
  ☆23Sep 16, 2021Updated 4 years ago
• gallais / typing-with-leftovers

  View on GitHub
  Self-contained repository for the eponymous paper
  ☆30Jan 11, 2019Updated 7 years ago
• redelivre / coletivo

  View on GitHub
  O tema Coletivo é um fork do tema Onepress pensado para fácil aplicação em projetos Web usando o Customizer do WP
  ☆15Feb 14, 2022Updated 4 years ago
• delanobeder / DSW1

  View on GitHub
  Neste repositório encontram-se os materiais didáticos da disciplina Desenvolvimento de Software para Web 1 (UFSCar), incluindo notas de a…
  ☆19Jun 25, 2026Updated 2 months ago
• yagoestevez / fcc-portfolio

  View on GitHub
  A portfolio page made for the FreeCodeCamp curriculum
  ☆19Aug 17, 2023Updated 3 years ago
• Nick-Gabe / vscode-lagtrain

  View on GitHub
  Convert videos into text animation!
  ☆40Sep 14, 2023Updated 2 years ago