•  


cpitclaudel (Clement Pit-Claudel) · GitHub
Skip to content
View cpitclaudel's full-sized avatar
303 followers · 0 following

Achievements

Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pair Extraordinairex3 Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3 Achievement: Starstruckx2
Beta Send feedback

Achievements

Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Pair Extraordinairex3 Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3 Achievement: Starstruckx2
Beta Send feedback

Organizations

@flycheck @boogie-org @ProofGeneral @realgud @dafny-lang
Block or Report

Block or report cpitclaudel

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

  1. monospacifier monospacifier Public

    Convert variable-pitch fonts to monospace (useful for unicode and indentation-friendly programming)

    Python 363 32

  2. company-coq company-coq Public

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

    Emacs Lisp 348 30

  3. alectryon alectryon Public

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

    HTML 221 34

  4. biblio.el biblio.el Public

    Browse and import bibliographic references from CrossRef, DBLP, HAL, arXiv, Dissemin, and doi.org from Emacs

    Emacs Lisp 177 14

  5. z3.wasm z3.wasm Public

    WASM builds of the Z3 SMT solver

    Shell 139 8

  6. quick-peek quick-peek Public

    Quick-peek inline-window library for Emacs

    Emacs Lisp 81 13

- "漢字路" 한글한자자동변환 서비스는 교육부 고전문헌국역지원사업의 지원으로 구축되었습니다.
- "漢字路" 한글한자자동변환 서비스는 전통문화연구회가 "울산대학교한국어처리연구실 옥철영(IT융합전공)교수팀"에서 개발한 한글한자자동변환기를 바탕하여 지속적으로 공동 연구 개발하고 있는 서비스입니다.
- 현재 고유명사(인명, 지명등)을 비롯한 여러 변환오류가 있으며 이를 해결하고자 많은 연구 개발을 진행하고자 하고 있습니다. 이를 인지하시고 다른 곳에서 인용시 한자 변환 결과를 한번 더 검토하시고 사용해 주시기 바랍니다.
- 변환오류 및 건의,문의사항은 juntong@juntong.or.kr로 메일로 보내주시면 감사하겠습니다. .
Copyright ⓒ 2020 By '전통문화연구회(傳統文化硏究會)' All Rights reserved.
 한국   대만   중국   일본 

Close