Skip to content

Trending

See what the GitHub community is most excited about today.

Spoken Language: Any
Select a spoken language
Abkhazian Afar Afrikaans Akan Albanian Amharic Arabic Aragonese Armenian Assamese Avaric Avestan Aymara Azerbaijani Bambara Bashkir Basque Belarusian Bengali Bihari languages Bislama Bosnian Breton Bulgarian Burmese Catalan, Valencian Chamorro Chechen Chichewa, Chewa, Nyanja Chinese Chuvash Cornish Corsican Cree Croatian Czech Danish Divehi, Dhivehi, Maldivian Dutch, Flemish Dzongkha English Esperanto Estonian Ewe Faroese Fijian Finnish French Fulah Galician Georgian German Greek, Modern Guarani Gujarati Haitian, Haitian Creole Hausa Hebrew Herero Hindi Hiri Motu Hungarian Interlingua (International Auxil... Indonesian Interlingue, Occidental Irish Igbo Inupiaq Ido Icelandic Italian Inuktitut Japanese Javanese Kalaallisut, Greenlandic Kannada Kanuri Kashmiri Kazakh Central Khmer Kikuyu, Gikuyu Kinyarwanda Kirghiz, Kyrgyz Komi Kongo Korean Kurdish Kuanyama, Kwanyama Latin Luxembourgish, Letzeburgesch Ganda Limburgan, Limburger, Limburgish Lingala Lao Lithuanian Luba-Katanga Latvian Manx Macedonian Malagasy Malay Malayalam Maltese Maori Marathi Marshallese Mongolian Nauru Navajo, Navaho North Ndebele Nepali Ndonga Norwegian Bokmål Norwegian Nynorsk Norwegian Sichuan Yi, Nuosu South Ndebele Occitan Ojibwa Church Slavic, Old Slavonic, Chu... Oromo Oriya Ossetian, Ossetic Punjabi, Panjabi Pali Persian Polish Pashto, Pushto Portuguese Quechua Romansh Rundi Romanian, Moldavian, Moldovan Russian Sanskrit Sardinian Sindhi Northern Sami Samoan Sango Serbian Gaelic, Scottish Gaelic Shona Sinhala, Sinhalese Slovak Slovenian Somali Southern Sotho Spanish, Castilian Sundanese Swahili Swati Swedish Tamil Telugu Tajik Thai Tigrinya Tibetan Turkmen Tagalog Tswana Tonga (Tonga Islands) Turkish Tsonga Tatar Twi Tahitian Uighur, Uyghur Ukrainian Urdu Uzbek Venda Vietnamese Volapük Walloon Welsh Wolof Western Frisian Xhosa Yiddish Yoruba Zhuang, Chuang Zulu
Language: Coq
Select a language
Clear language
C++ HTML Java JavaScript PHP Python Ruby Unknown languages 1C Enterprise 4D ABAP ABAP CDS ABNF ActionScript Ada Adobe Font Metrics Agda AGS Script AIDL AL AL Alloy Alpine Abuild Altium Designer AMPL AngelScript Ant Build System ANTLR ApacheConf Apex API Blueprint APL Apollo Guidance Computer AppleScript Arc AsciiDoc ASL ASN.1 Classic ASP ASP.NET AspectJ Assembly Asymptote ATS Augeas AutoHotkey AutoIt Avro IDL Awk Ballerina BASIC Batchfile Beef Befunge BibTeX Bicep Bison BitBake Blade BlitzBasic BlitzMax Bluespec Boo Boogie Brainfuck Brightscript Zeek Browserslist C C# C-ObjDump C2hs Haskell Cabal Config Cap'n Proto CartoCSS Ceylon Chapel Charity ChucK CIL Cirru Clarion Classic ASP Clean Click CLIPS Clojure Closure Templates Cloud Firestore Security Rules CMake COBOL CODEOWNERS CodeQL CoffeeScript ColdFusion ColdFusion CFC COLLADA Common Lisp Common Workflow Language Component Pascal CoNLL-U Cool Coq Cpp-ObjDump Creole Crystal CSON Csound Csound Document Csound Score CSS CSV Cuda CUE cURL Config CWeb Cycript Cython D D-ObjDump Dafny Darcs Patch Dart DataWeave desktop Dhall Diff DIGITAL Command Language dircolors DirectX 3D File DM DNS Zone Dockerfile Dogescript DTrace Dylan E Eagle Easybuild EBNF eC Ecere Projects ECL ECLiPSe EditorConfig Edje Data Collection edn Eiffel EJS Elixir Elm Emacs Lisp EmberScript EML EQ Erlang F# F* Factor Fancy Fantom Faust FIGlet Font Filebench WML Filterscript fish Fluent FLUX Formatted Forth Fortran Fortran Free Form FreeBasic FreeMarker Frege Futhark G-code Game Maker Language GAML GAMS GAP GCC Machine Description GDB GDScript GEDCOM Genie Genshi Gentoo Ebuild Gentoo Eclass Gerber Image Gettext Catalog Gherkin Git Attributes Git Config GLSL Glyph Glyph Bitmap Distribution Format GN Gnuplot Go Golo Gosu Grace Gradle Grammatical Framework Graph Modeling Language GraphQL Graphviz (DOT) Groovy Groovy Server Pages Hack Haml Handlebars HAProxy Harbour Haskell Haxe HCL HiveQL HLSL HolyC Jinja HTML+ECR HTML+EEX HTML+ERB HTML+PHP HTML+Razor HTTP HXML Hy HyPhy IDL Idris Ignore List IGOR Pro ImageJ Macro Inform 7 INI Inno Setup Io Ioke IRC log Isabelle Isabelle ROOT J Jasmin Java Properties Java Server Pages JavaScript+ERB JFlex Jinja Jison Jison Lex Jolie jq JSON JSON with Comments JSON5 JSONiq JSONLD Jsonnet Julia Jupyter Notebook Kaitai Struct KiCad Layout KiCad Legacy Layout KiCad Schematic Kit Kotlin KRL Kusto LabVIEW Lark Lasso Latte Lean Less Lex LFE LilyPond Limbo Linker Script Linux Kernel Module Liquid Literate Agda Literate CoffeeScript Literate Haskell LiveScript LLVM Logos Logtalk LOLCODE LookML LoomScript LSL LTspice Symbol Lua M M4 M4Sugar Macaulay2 Makefile Mako Markdown Marko Mask Mathematica MATLAB Maven POM Max MAXScript mcfunction Wikitext Mercury Meson Metal Microsoft Developer Studio Project Microsoft Visual Studio Solution MiniD Mirah mIRC Script MLIR Modelica Modula-2 Modula-3 Module Management System Monkey Moocode MoonScript Motorola 68K Assembly MQL4 MQL5 MTML MUF mupad Muse Mustache Myghty nanorc NASL NCL Nearley Nemerle NEON nesC NetLinx NetLinx+ERB NetLogo NewLisp Nextflow Nginx Nim Ninja Nit Nix NL NPM Config NSIS Nu NumPy Nunjucks NWScript ObjDump Object Data Instance Notation Objective-C Objective-C++ Objective-J ObjectScript OCaml Odin Omgrofl ooc Opa Opal Open Policy Agent OpenCL OpenEdge ABL OpenQASM OpenRC runscript OpenSCAD OpenStep Property List OpenType Feature File Org Ox Oxygene Oz P4 Pan Papyrus Parrot Parrot Assembly Parrot Internal Representation Pascal Pawn PEG.js Pep8 Perl Pic Pickle PicoLisp PigLatin Pike PlantUML PLpgSQL PLSQL Pod Pod 6 PogoScript Pony PostCSS PostScript POV-Ray SDL PowerBuilder PowerShell Prisma Processing Proguard Prolog Propeller Spin Protocol Buffer Public Key Pug Puppet Pure Data PureBasic PureScript Python console Python traceback q Q# QMake QML Qt Script Quake R Racket Ragel Raku RAML Rascal Raw token data RDoc Readline Config REALbasic Reason Rebol Red Redcode Regular Expression Ren'Py RenderScript ReScript reStructuredText REXX Rich Text Format Ring Riot RMarkdown RobotFramework robots.txt Roff Roff Manpage Rouge RPC RPM Spec RUNOFF Rust Sage SaltStack SAS Sass Scala Scaml Scheme Scilab SCSS sed Self ShaderLab Shell ShellSession Shen Sieve Singularity Slash Slice Slim Smali Smalltalk Smarty SmPL SMT Solidity SourcePawn SPARQL Spline Font Database SQF SQL SQLPL Squirrel SRecode Template SSH Config Stan Standard ML Starlark Stata STON StringTemplate Stylus SubRip Text SugarSS SuperCollider Svelte SVG Swift SWIG SystemVerilog Tcl Tcsh Tea Terra TeX Texinfo Text Textile Thrift TI Program TLA TOML TSQL TSV TSX Turing Turtle Twig TXL Type Language TypeScript Unified Parallel C Unity3D Asset Unix Assembly Uno UnrealScript UrWeb V Vala VBA VBScript VCL Verilog VHDL Vim Help File Vim script Vim Snippet Visual Basic .NET Visual Basic .NET Volt Vue Wavefront Material Wavefront Object wdl Web Ontology Language WebAssembly WebIDL WebVTT Wget Config Wikitext Windows Registry Entries wisp Wollok World of Warcraft Addon Data X BitMap X Font Directory Index X PixMap X10 xBase XC XCompose XML XML Property List Xojo Xonsh XPages XProc XQuery XS XSLT Xtend Yacc YAML YANG YARA YASnippet ZAP Zeek ZenScript Zephir Zig ZIL Zimpl
Date range: Today
Adjust time span
Today This week This month