A RetroSearch Logo

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

Search Query:

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

ncfavier (Naïm Camille Favier) · GitHub

Skip to content Navigation Menu Search code, repositories, users, issues, pull requests...

Saved searches Use saved searches to filter your results more quickly

Sign up You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert

Naïm Camille Favier ncfavier

Pinned Loading

  1. My Agda blog/lab/playground

    Agda 13 1

  2. A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

    Agda 389 83

  3. Polymorphic guarded λ-calculus

    Haskell 20

  4. A theorem prover for intuitionistic propositional logic

    Haskell 10 1

  5. Advent of Code solutions in Haskell

    Haskell 6

  6. 👓 A toy jq implementation using optics

    Haskell 5

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