Home - News ( United States | United Kingdom | Italy | Germany ) - Football scores

Showing content from https://github.com/cmcmA20 below:

cmcmA20 · GitHub

• • GitHub Copilot

    Write better code with AI

  • GitHub Spark New

    Build and deploy intelligent apps

  • GitHub Models New

    Manage and compare prompts

  • GitHub Advanced Security

    Find and fix vulnerabilities

  • Actions

    Automate any workflow

  • Codespaces

    Instant dev environments

  • Issues

    Plan and track work

  • Code Review

    Manage code changes

  • Discussions

    Collaborate outside of code

  • Code Search

    Find more, search less

  Explore
  • Why GitHub
  • All features
  • Documentation
  • GitHub Skills
  • Blog
• By company size
  • Enterprises
  • Small and medium teams
  • Startups
  • Nonprofits
  By use case
  • DevSecOps
  • DevOps
  • CI/CD
  • View all use cases
  By industry
  • Healthcare
  • Financial services
  • Manufacturing
  • Government
  • View all industries
  View all solutions
• Topics
  • AI
  • DevOps
  • Security
  • Software Development
  • View all
  Explore
  • Learning Pathways
  • Events & Webinars
  • Ebooks & Whitepapers
  • Customer Stories
  • Partners
  • Executive Insights

• • GitHub Sponsors

    Fund open source developers

  • The ReadME Project

    GitHub community articles

  Repositories
  • Topics
  • Trending
  • Collections

• • Enterprise platform

    AI-powered developer platform

  Available add-ons

  • GitHub Advanced Security

    Enterprise-grade security features

  • Copilot for business

    Enterprise-grade AI features

  • Premium Support

    Enterprise-grade 24/7 support

• Pricing

{{ message }}

More

• Overview
• Repositories
• Projects
• Packages
• Stars

·

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

More

• Overview
• Repositories
• Projects
• Packages
• Stars

1. cubical-mini cubical-mini Public

   Agda 8 8

2. klac klac Public archive

   KL Agda course

   Agda 7 5

3. cv cv Public

   CV

   TeX

Something went wrong, please refresh the page to try again.

If the problem persists, check the

or

.

There was an error while loading. Please reload this page.

You can’t perform that action at this time.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4