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

Showing content from https://github.com/agda/ooAgda below:

agda/ooAgda: Interactive and object-oriented programming in Agda using coinductive types

• • 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

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