Skip to content
View ncfavier's full-sized avatar
🌑
🌑
114 followers · 66 following

Organizations

@agda @NixOS @lambdabot @nix-community @dpndnt @the1lab

Block or report ncfavier

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. cubical-experiments Public

    Experiments with Cubical Agda

    Agda 9 1

  2. the1lab/1lab Public

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

    Agda 366 72

  3. glam Public

    Polymorphic guarded λ-calculus

    Haskell 13

  4. muri Public

    A theorem prover for intuitionistic propositional logic

    Haskell 10 1

  5. aoc Public

    Advent of Code solutions in Haskell

    Haskell 6

  6. jq-optics Public

    👓 A toy jq implementation using optics

    Haskell 3

470 contributions in the last year

Contribution Graph
Day of Week April May June July August September October November December January February March April
Sunday
Monday
Tuesday
Wednesday
Thursday
Friday
Saturday
Learn how we count contributions
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More

Contribution activity

April 2025

Created 7 commits in 3 repositories

Created a pull request in agda/agda that received 4 comments

re #3209: print out-of-scope names unqualified in case splits

Names coming from parameterised modules might not be found by the abstract-to-concrete lookup, even when they are in scope (see issue #3209). This …

+33 −5 lines changed • 4 comments
Opened 1 other pull request in 1 repository
graded-type-theory/graded-type-theory 1 open
Reviewed 1 pull request in 1 repository
the1lab/1lab 1 pull request

Created an issue in NixOS/nixpkgs that received 5 comments

sstp: server certificate verification fails

Nixpkgs version Unstable (25.05) Describe the bug sstpc incorrectly fails to verify some server certificates. Steps to reproduce $ sudo sstpc --l…

3 tasks done
• 5 comments
Opened 1 other issue in 1 repository
graded-type-theory/graded-type-theory 1 open
Answered 1 discussion in 1 repository
ghostty-org/ghostty
Loading