Skip to content

Trending

See what the GitHub community is most excited about this month.

Trending: this month
Adjust time span
  1. Lecture notes on univalent foundations of mathematics with Agda

    Agda 56 6 Built by @martinescardo @tomdjong @wenkokke @scott-fleischman 36 stars this month
  2. Introduction to programming language theory in Agda

    Agda 509 80 Built by @wadler @wenkokke @mdimjasevic @Kwezan @ywata 33 stars this month
  3. 《编程语言基础:Agda 描述》,Programming Language Foundations in Agda 中文版

    Agda 32 80 Built by @wadler @wenkokke @mdimjasevic @Kwezan @roger-uw 31 stars this month
  4. The Agda standard library

    Agda 240 98 Built by @nad @MatthewDaggitt @asr @gallais @UlfNorell 14 stars this month
  5. Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

    Agda 164 9 Built by @HerbertMcSnout @cwjnkins @CarlOlson @astump @larrytheliquid 9 stars this month
  6. Agda 89 25 Built by @mortberg @Saizan @ice1000 @3abc @dolio 5 stars this month
  7. Learn you an Agda (and achieve enlightenment)

    Agda 294 35 Built by @liamoc @sordina
  8. Development of homotopy type theory in Agda

    Agda 271 53 Built by @favonia @ecavallo @andrejbauer @guillaumebrunerie @ericfinster
  9. being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

    Agda 166 20 Built by @pigworker @jmchapman @bishboria
  10. Categories parametrized by morphism equality, in Agda

    Agda 124 25 Built by @copumpkin @xplat @Saizan @JacquesCarette @mokus0
  11. ECMAScript back end for Functional Reactive Programming in Agda

    Agda 83 8 Built by @larrytheliquid @andreasabel
  12. Open-source books I've written

    Agda 80 3 Built by @ice1000 @paustint @sgalal
  13. Programming library for Agda

    Agda 74 18 Built by @UlfNorell @m0davis @phile314 @jespercockx @xekoukou
  14. Agda 63 6 Built by @dlicata335 @emblack @guillaumebrunerie @ericfinster @DanGrayson
  15. Companion code for "Why Dependent Types Matter" paper.

    Agda 61 4 Built by @jstolarek @markus1189
  16. being the materials for CS410 Advanced Functional Programming in the 2014-15 session

    Agda 58 5 Built by @pigworker @gallais
  17. Summer school on programming in Agda

    Agda 55 14 Built by @UlfNorell @andorp @IgnoredAmbience
  18. A workshop on learning Agda with minimal prerequisites.

    Agda 51 3 Built by @scott-fleischman
  19. Miller/pattern unification in Agda

    Agda 48 1 Built by @Saizan
  20. The Spire Programming Language

    Agda 47 2 Built by @larrytheliquid @ntc2 @TimSheard
  21. Agda 45 13 Built by @Saizan @fredefox @xekoukou @mortberg @gunpinyo
  22. Cryptographic Constructions in the Type Theory of Agda

    Agda 43 6 Built by @np @Danten @lron @gitter-badger @diakopter
  23. The Evolution of a Typechecker

    Agda 43 Built by @pedagand
  24. Agda proofs for some of the theorems in Robert Harper's Practical Foundations of Programming Languages.

    Agda 42 2 Built by @scmu
  25. The theory of algebraic graphs formalised in Agda

    Agda 41 4 Built by @snowleopard @anfelor @nobrakal @Rotsor
Other: Agda
Other Languages
1C Enterprise ABAP ABNF ActionScript Ada Adobe Font Metrics Agda AGS Script Alloy Alpine Abuild AMPL AngelScript Ant Build System ANTLR ApacheConf Apex API Blueprint APL Apollo Guidance Computer AppleScript Arc AsciiDoc ASN.1 ASP AspectJ Assembly Asymptote ATS Augeas AutoHotkey AutoIt Awk Ballerina Batchfile Befunge Bison BitBake Blade BlitzBasic BlitzMax Bluespec Boo Brainfuck Brightscript Bro C C# C++ C-ObjDump C2hs Haskell Cabal Config Cap'n Proto CartoCSS Ceylon Chapel Charity ChucK Cirru Clarion Clean Click CLIPS Clojure Closure Templates Cloud Firestore Security Rules CMake COBOL 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 CWeb Cycript Cython D D-ObjDump Darcs Patch Dart DataWeave desktop Diff DIGITAL Command Language DM DNS Zone Dockerfile Dogescript DTrace Dylan E Eagle Easybuild EBNF eC Ecere Projects ECL ECLiPSe Edje Data Collection edn Eiffel EJS Elixir Elm Emacs Lisp EmberScript EML EQ Erlang F# F* Factor Fancy Fantom FIGlet Font Filebench WML Filterscript fish FLUX Formatted Forth Fortran FreeMarker Frege G-code Game Maker Language GAMS GAP GCC Machine Description GDB GDScript 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 HTML HTML+Django HTML+ECR HTML+EEX HTML+ERB HTML+PHP HTML+Razor HTTP HXML Hy HyPhy IDL Idris IGOR Pro Inform 7 INI Inno Setup Io Ioke IRC log Isabelle Isabelle ROOT J Jasmin Java Java Properties Java Server Pages JavaScript JFlex Jison Jison Lex Jolie JSON JSON with Comments JSON5 JSONiq JSONLD Jsonnet JSX Julia Jupyter Notebook KiCad Layout KiCad Legacy Layout KiCad Schematic Kit Kotlin KRL LabVIEW 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 Lua M M4 M4Sugar Makefile Mako Markdown Marko Mask Mathematica MATLAB Maven POM Max MAXScript mcfunction MediaWiki Mercury Meson Metal MiniD Mirah Modelica Modula-2 Modula-3 Module Management System Monkey Moocode MoonScript MQL4 MQL5 MTML MUF mupad Myghty nanorc NCL Nearley Nemerle nesC NetLinx NetLinx+ERB NetLogo NewLisp Nextflow Nginx Nim Ninja Nit Nix NL NSIS Nu NumPy ObjDump Objective-C Objective-C++ Objective-J OCaml Omgrofl ooc Opa Opal OpenCL OpenEdge ABL OpenRC runscript OpenSCAD OpenType Feature File Org Ox Oxygene Oz P4 Pan Papyrus Parrot Parrot Assembly Parrot Internal Representation Pascal Pawn Pep8 Perl Perl 6 PHP Pic Pickle PicoLisp PigLatin Pike PLpgSQL PLSQL Pod Pod 6 PogoScript Pony PostCSS PostScript POV-Ray SDL PowerBuilder PowerShell Processing Prolog Propeller Spin Protocol Buffer Public Key Pug Puppet Pure Data PureBasic PureScript Python Python console Python traceback q QMake QML Quake R Racket Ragel RAML Rascal Raw token data RDoc REALbasic Reason Rebol Red Redcode Regular Expression Ren'Py RenderScript reStructuredText REXX RHTML Rich Text Format Ring RMarkdown RobotFramework Roff Roff Manpage Rouge RPC RPM Spec Ruby RUNOFF Rust Sage SaltStack SAS Sass Scala Scaml Scheme Scilab SCSS sed Self ShaderLab Shell ShellSession Shen Slash Slice Slim Smali Smalltalk Smarty SMT Solidity SourcePawn SPARQL Spline Font Database SQF SQL SQLPL Squirrel SRecode Template Stan Standard ML Stata STON Stylus SubRip Text SugarSS SuperCollider SVG Swift SystemVerilog Tcl Tcsh Tea Terra TeX Text Textile Thrift TI Program TLA TOML Turing Turtle Twig TXL Type Language TypeScript Unified Parallel C Unity3D Asset Unix Assembly Uno UnrealScript UrWeb Vala VCL Verilog VHDL Vim script Visual Basic Volt Vue Wavefront Material Wavefront Object wdl Web Ontology Language WebAssembly WebIDL Windows Registry Entries wisp World of Warcraft Addon Data X BitMap X Font Directory Index X PixMap X10 xBase XC XCompose XML Xojo XPages XProc XQuery XS XSLT Xtend Yacc YAML YANG YARA YASnippet ZAP Zephir Zig ZIL Zimpl
ProTip! Looking for most forked Agda repositories? Try this search
You can’t perform that action at this time.