Skip to content
View start974's full-sized avatar

Highlights

  • Pro

Block or report start974

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

Popular repositories Loading

  1. hydra-battles hydra-battles Public

    Forked from coq-community/hydra-battles

    Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

    Coq

  2. alectryon alectryon Public

    Forked from cpitclaudel/alectryon

    A collection of tools for writing technical documents that mix Coq code and prose.

    HTML

  3. dotfiles dotfiles Public

    My Dotfiles based on nixos

    Lua

  4. raytracing-ascii raytracing-ascii Public

    Raytracing in ocaml with an output in ascii

    OCaml

  5. home-manager home-manager Public

    Forked from nix-community/home-manager

    Manage a user environment using Nix [maintainer=@rycee]

    Nix

  6. cv cv Public

    Forked from Stavrospanakakis/jekyll-cv

    Jeremy Damour cv

    HTML