Skip to content
View txyyss's full-sized avatar
146 followers · 16 following
  • Beijing

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull SharkAchievement: Arctic Code Vault ContributorAchievement: Starstruckx2
Block or Report

Block or report txyyss

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

  • FormalMath Public

    A side project about formalization of mathematics.

    Coq 6 Updated Jul 26, 2024

  • EmacsSettings Public

    My Emacs Settings

    Emacs Lisp Updated Jul 22, 2024

  • company-coq Public

    Forked from cpitclaudel/company-coq

    A Coq IDE build on top of Proof General's Coq mode

    Emacs Lisp GNU General Public License v3.0 Updated Apr 5, 2024

  • PG Public

    Forked from ProofGeneral/PG

    This repo is the new home of Proof General

    Emacs Lisp GNU General Public License v3.0 Updated Apr 5, 2024

  • Hyperbolic-Tiling Public

    Introduction and Code about Hyperbolic Tilings

    GAP GNU General Public License v3.0 Updated Dec 1, 2023

  • 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 Oct 22, 2023

  • tron-legacy-emacs-theme Public

    Forked from ianyepan/tron-legacy-emacs-theme

    Original retro-futuristic theme inspired by Tron: Legacy

    Emacs Lisp GNU General Public License v3.0 Updated May 6, 2023

  • LovePoints Public

    Animations for Valentine's Day

    MIT License Updated Feb 13, 2022

  • cdf-mech-sem Public

    Forked from xavierleroy/cdf-mech-sem

    Coq development for the course "Mechanized semantics", Collège de France, 2019-2020

    Coq GNU Lesser General Public License v2.1 Updated Nov 20, 2021

  • VST Public

    Forked from PrincetonUniversity/VST

    Verified Software Toolchain

    Coq Other Updated Sep 27, 2021

  • omega Public

    OCaml Updated Jun 27, 2020

  • polylink Public

    A Blender Addon

    Python 6 4 Updated Apr 4, 2020

  • Lambda-Calculus Public

    An introduction to lambda calculus in Chinese, including an interpreter in Haskell.

    TeX 387 68 Updated May 30, 2014

  • Project-Euler Public

    Solutions for Project Euler

    Haskell 6 Updated Nov 7, 2013

  • GridMaze-Algorithm Public

    Description of the algorithms used in my app GridMaze

    3 Updated Jul 3, 2013

  • Regular-Polytopes Public

    Notes about Coxeter's "Regular Polytopes"

    1 1 Updated Jul 12, 2012

  • Surreal-Number Public

    My note and programs about surreal number created by John Horton Conway

    Haskell 2 Updated Apr 24, 2012

  • H-99 Public

    My solutions to "Ninety-Nine Haskell Problems"

    Haskell 2 Updated Apr 9, 2012

  • Symmetries-of-Things Public

    Notes about "The Symmetries of Things"

    2 Updated Apr 3, 2012