Skip to content
View Zimmi48's full-sized avatar
137 followers · 8 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Pull Sharkx4Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

Organizations

@NixOS @coq @unkilodeplumes @coq-community

Block or report Zimmi48

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

  • bot Public

    Forked from coq/bot

    A (Coq Development Team) bot written in OCaml

    OCaml MIT License Updated Sep 16, 2024

  • dotfiles Public

    dotfiles nixos
    Nix 4 Updated Sep 13, 2024

  • zimmi48.github.io Public

    Personal web page and blog

    jekyll github-pages personal-website personal-blog
    HTML 1 Updated Aug 28, 2024

  • coq Public

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    OCaml GNU Lesser General Public License v2.1 Updated Jul 2, 2024

  • nixpkgs Public

    Forked from NixOS/nixpkgs

    Nix Packages collection

    Nix MIT License Updated Jun 10, 2024

  • accounting Public

    Elm 1 Updated Mar 15, 2024

  • coinche-a-cinq Public

    Elm Updated Feb 9, 2024

  • www Public

    Forked from coq/coq.github.io

    Sources files of the coq.inria.fr website (static part)

    HTML Updated Oct 30, 2023

  • coq-nix-toolbox Public

    Forked from coq-community/coq-nix-toolbox

    Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

    Nix MIT License Updated Oct 18, 2023

  • coq-lsp Public

    Forked from ejgallego/coq-lsp

    Visual Studio Code Extension and Language Server Protocol for Coq

    OCaml GNU Lesser General Public License v2.1 Updated Oct 10, 2023

  • Test-Pedago Public

    Logiciels éducatifs pour s'entraîner aux tables de multiplication et aux conjugaisons françaises

    C++ 1 GNU General Public License v3.0 Updated Oct 7, 2023

  • math-classes Public

    Forked from coq-community/math-classes

    A library of abstract interfaces for mathematical structures in Coq.

    Coq Other Updated Sep 29, 2023

  • home-manager Public

    Forked from nix-community/home-manager
    Nix MIT License Updated Sep 19, 2023

  • ceps Public

    Forked from coq/ceps

    Coq Enhancement Proposals

    Updated May 30, 2023

  • docs Public

    Forked from github/docs

    The open-source repo for docs.github.com

    JavaScript Creative Commons Attribution 4.0 International Updated Mar 29, 2023

  • ocaml-git Public

    Forked from mirage/ocaml-git

    Pure OCaml Git format and protocol

    OCaml ISC License Updated Mar 9, 2023

  • manifesto Public

    Forked from coq-community/manifesto

    Documentation on goals of the coq-community organization, the shared contributing guide and code of conduct.

    HTML Other Updated Nov 30, 2022

  • bertrand Public

    Forked from coq-community/bertrand

    Correctness of Knuth's algorithm for prime numbers

    Coq GNU Lesser General Public License v2.1 Updated Nov 29, 2022

  • mech.v Public

    Forked from jouvelot/mech.v

    A Coq/SSReflect library for mechanism design

    Coq Updated Oct 4, 2022

  • opam-coq-archive Public

    Forked from coq/opam

    Archive for all Coq related OPAM packages organized in various repositories

    JavaScript 1 GNU Lesser General Public License v2.1 Updated Aug 20, 2022

  • corn Public

    Forked from coq-community/corn

    Coq Repository at Nijmegen

    Coq GNU General Public License v2.0 Updated Aug 20, 2022

  • VST Public

    Forked from PrincetonUniversity/VST

    Verified Software Toolchain

    Coq Other Updated Dec 20, 2021

  • qarith-stern-brocot Public

    Forked from coq-community/qarith-stern-brocot

    Binary Rational Numbers

    Coq GNU Lesser General Public License v2.1 Updated Dec 10, 2021

  • chapar Public

    Forked from coq-community/chapar

    A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

    Coq MIT License Updated Dec 10, 2021

  • organization Public

    Forked from Meteor-Community-Packages/organization

    Discussions on organization of the organization 🎩

    Updated Dec 8, 2021

  • nix Public

    Forked from NixOS/nix

    Nix, the purely functional package manager

    C++ GNU Lesser General Public License v2.1 Updated Nov 8, 2021

  • semantics Public

    Forked from coq-community/semantics

    A survey of semantics styles, from natural semantics through structural operational, axiomatic, and denotational semantics, to abstract interpretation [maintainer=@k4rtik]

    Coq MIT License Updated Nov 1, 2021

  • Touch-Snake Public

    A modern and touch-friendly version of the classic game of snake

    JavaScript 1 Mozilla Public License 2.0 Updated Nov 1, 2021

  • aac-tactics Public

    Forked from coq-community/aac-tactics

    This Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.

    OCaml Other Updated Oct 26, 2021

  • graphql-ppx Public

    Forked from teamwalnut/graphql-ppx

    GraphQL language primitives for ReScript/ReasonML written in ReasonML

    Reason MIT License Updated Sep 21, 2021