All Public Sources Forks Archived Mirrors Templates

All Agda ANTLR Arduino Assembly ATS C C# C++ Chapel Clojure CMake CoffeeScript Common Lisp Coq Crystal CSS Cuda D Dart Dockerfile Elixir Elm Emacs Lisp Erlang F# F* Fortran Futhark Game Maker Language GLSL Gnuplot Go Haskell HCL HTML Idris Isabelle Java JavaScript Jsonnet Julia Jupyter Notebook Kotlin Lean Lex LiveScript LLVM Lua Macaulay2 Makefile Mathematica MATLAB Mercury MLIR Modelica mupad Nim Nix Objective-C Objective-C++ OCaml OpenQASM Pascal Perl PHP PLpgSQL PowerShell Prolog PureBasic PureScript Python q Q# R Racket Reason RMarkdown Ruby Rust Scala Scilab Shell Smalltalk SMT Solidity SQLPL Standard ML Starlark Stylus Swift SWIG SystemVerilog Tcl Terra TeX TLA TSQL TypeScript UrWeb V VBA VBScript Verilog VHDL Visual Basic Vue WebAssembly XSLT Yacc

Last updated Name Stars