Repositories list

• xjb

  Public
  My Emacs/Bashrc configs and linux installer

  bashrcemacs-configuration

  bashrcemacs-configuration

  Emacs Lisp

  •

  MIT License

  •00 forks in ice1k/xjb•55 stars in ice1k/xjb•00 issues in ice1k/xjb•00 pull requests in ice1k/xjb•Updated May 19, 2026May 19, 2026

• typst-book

  Public

  ice1k/typst-book’s past year of commit activity
  A simple tool for creating modern online books in pure typst.

  Typst

  •

  Apache License 2.0

  •3232 forks in ice1k/typst-book•11 star in ice1k/typst-book•00 issues in ice1k/typst-book•00 pull requests in ice1k/typst-book•Updated Dec 9, 2025Dec 9, 2025

• model

  Public
  Models of dependent type theory

  Typst

  •22 forks in ice1k/model•00 stars in ice1k/model•00 issues in ice1k/model•00 pull requests in ice1k/model•Updated Dec 3, 2025Dec 3, 2025

• llvm-cbe

  Public
  resurrected LLVM "C Backend", with improvements

  C++

  •

  Other

  •167167 forks in ice1k/llvm-cbe•00 stars in ice1k/llvm-cbe•00 issues in ice1k/llvm-cbe•00 pull requests in ice1k/llvm-cbe•Updated Nov 25, 2025Nov 25, 2025

• jacoco

  Public
  :microscope: Java Code Coverage Library

  Java

  •

  Other

  •1.2k1.2k forks in ice1k/jacoco•00 stars in ice1k/jacoco•00 issues in ice1k/jacoco•00 pull requests in ice1k/jacoco•Updated Nov 17, 2025Nov 17, 2025

• 3N112

  Public
  通用计算机图形学研究平台

  Java

  •

  BSD 3-Clause "New" or "Revised" License

  •11 fork in ice1k/3N112•00 stars in ice1k/3N112•00 issues in ice1k/3N112•00 pull requests in ice1k/3N112•Updated Jun 22, 2025Jun 22, 2025

• kaposi-langs

  Public
  Agda

  •11 fork in ice1k/kaposi-langs•00 stars in ice1k/kaposi-langs•00 issues in ice1k/kaposi-langs•00 pull requests in ice1k/kaposi-langs•Updated Dec 10, 2024Dec 10, 2024

• 15714-hw0

  Public
  Jupyter Notebook

  •8181 forks in ice1k/15714-hw0•00 stars in ice1k/15714-hw0•00 issues in ice1k/15714-hw0•00 pull requests in ice1k/15714-hw0•Updated Sep 4, 2024Sep 4, 2024

• manifold-java-bug-report

  Public
  Java

  •00 forks in ice1k/manifold-java-bug-report•00 stars in ice1k/manifold-java-bug-report•00 issues in ice1k/manifold-java-bug-report•00 pull requests in ice1k/manifold-java-bug-report•Updated May 15, 2024May 15, 2024

• Arend

  Public
  The Arend Proof Assistant

  Java

  •

  Apache License 2.0

  •3232 forks in ice1k/Arend•00 stars in ice1k/Arend•00 issues in ice1k/Arend•00 pull requests in ice1k/Arend•Updated Mar 1, 2024Mar 1, 2024

• intellij-arend

  Public
  Arend plugin for IntelliJ IDEA

  Kotlin

  •

  Apache License 2.0

  •1111 forks in ice1k/intellij-arend•00 stars in ice1k/intellij-arend•00 issues in ice1k/intellij-arend•00 pull requests in ice1k/intellij-arend•Updated Feb 12, 2024Feb 12, 2024

• arend-lib

  Public
  Java

  •2323 forks in ice1k/arend-lib•00 stars in ice1k/arend-lib•00 issues in ice1k/arend-lib•00 pull requests in ice1k/arend-lib•Updated Sep 4, 2023Sep 4, 2023

• history

  Public
  History of type theory (Chinese).

  TeX

  •1212 forks in ice1k/history•00 stars in ice1k/history•00 issues in ice1k/history•00 pull requests in ice1k/history•Updated Aug 7, 2023Aug 7, 2023

• libgdx

  Public
  Desktop/Android/HTML5/iOS Java game development framework

  Java

  •

  Apache License 2.0

  •6.5k6.5k forks in ice1k/libgdx•00 stars in ice1k/libgdx•00 issues in ice1k/libgdx•00 pull requests in ice1k/libgdx•Updated Jun 18, 2023Jun 18, 2023

• rust-analyzer

  Public
  A Rust compiler front-end for IDEs

  Rust

  •

  Apache License 2.0

  •2.3k2.3k forks in ice1k/rust-analyzer•00 stars in ice1k/rust-analyzer•00 issues in ice1k/rust-analyzer•00 pull requests in ice1k/rust-analyzer•Updated May 13, 2023May 13, 2023

• vscode-markdown-it-katex

  Public
  Add Math to your Markdown with a KaTeX plugin for Markdown-it

  TypeScript

  •

  Other

  •168168 forks in ice1k/vscode-markdown-it-katex•00 stars in ice1k/vscode-markdown-it-katex•00 issues in ice1k/vscode-markdown-it-katex•00 pull requests in ice1k/vscode-markdown-it-katex•Updated Apr 17, 2023Apr 17, 2023

• weloveinterns

  Public
  中科院软件所智能软件中心实习生社区

  HTML

  •

  Creative Commons Attribution Share Alike 4.0 International

  •150150 forks in ice1k/weloveinterns•00 stars in ice1k/weloveinterns•00 issues in ice1k/weloveinterns•00 pull requests in ice1k/weloveinterns•Updated Feb 7, 2023Feb 7, 2023

• ice1000

  Public
  🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟

  Haskell

  •22 forks in ice1k/ice1000•00 stars in ice1k/ice1000•00 issues in ice1k/ice1000•00 pull requests in ice1k/ice1000•Updated Jun 25, 2022Jun 25, 2022

• agda

  Public
  Container image for Agda

  Dockerfile

  •

  MIT License

  •22 forks in ice1k/agda•00 stars in ice1k/agda•00 issues in ice1k/agda•00 pull requests in ice1k/agda•Updated Jun 13, 2022Jun 13, 2022

• test_proto_bench

  Public
  Benchmarking proto and rust-protobuf

  Rust

  •00 forks in ice1k/test_proto_bench•00 stars in ice1k/test_proto_bench•00 issues in ice1k/test_proto_bench•00 pull requests in ice1k/test_proto_bench•Updated Jun 7, 2022Jun 7, 2022

• survivial-manual-for-interns

  Public
  给新员工和实习生的生存指南。 Good Luck and Survive!

  Python

  •

  Creative Commons Attribution Share Alike 4.0 International

  •3434 forks in ice1k/survivial-manual-for-interns•00 stars in ice1k/survivial-manual-for-interns•00 issues in ice1k/survivial-manual-for-interns•00 pull requests in ice1k/survivial-manual-for-interns•Updated Aug 15, 2021Aug 15, 2021

• darcula

  Public
  A darcula laf available on JitPack

  Java

  •

  Apache License 2.0

  •11 fork in ice1k/darcula•00 stars in ice1k/darcula•00 issues in ice1k/darcula•00 pull requests in ice1k/darcula•Updated Apr 10, 2021Apr 10, 2021

• linguist

  Public
  Language Savant. If your repository's language is being reported incorrectly, send us a pull request!

  Ruby

  •

  MIT License

  •5.5k5.5k forks in ice1k/linguist•00 stars in ice1k/linguist•00 issues in ice1k/linguist•00 pull requests in ice1k/linguist•Updated Nov 12, 2020Nov 12, 2020

• ConsHoTT

  Public
  Constructive Interpretations of HoTT

  agdahott

  agdahott

  TeX

  •11 fork in ice1k/ConsHoTT•3636 stars in ice1k/ConsHoTT•55 issues in ice1k/ConsHoTT•00 pull requests in ice1k/ConsHoTT•Updated Aug 26, 2020Aug 26, 2020

• cedille

  Public
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

  Agda

  •

  MIT License

  •2929 forks in ice1k/cedille•00 stars in ice1k/cedille•00 issues in ice1k/cedille•00 pull requests in ice1k/cedille•Updated Mar 23, 2020Mar 23, 2020

• pure

  Public
  A little agda library for categorical semantics.

  Agda

  •

  GNU General Public License v3.0

  •22 forks in ice1k/pure•11 star in ice1k/pure•00 issues in ice1k/pure•00 pull requests in ice1k/pure•Updated Nov 8, 2019Nov 8, 2019

• intellij-haskell

  Public
  IntelliJ plugin for Haskell

  Scala

  •

  Apache License 2.0

  •9494 forks in ice1k/intellij-haskell•00 stars in ice1k/intellij-haskell•00 issues in ice1k/intellij-haskell•00 pull requests in ice1k/intellij-haskell•Updated Nov 4, 2019Nov 4, 2019

• asmble

  Public
  Compile WebAssembly to JVM and other WASM tools

  Kotlin

  •

  MIT License

  •4040 forks in ice1k/asmble•00 stars in ice1k/asmble•00 issues in ice1k/asmble•00 pull requests in ice1k/asmble•Updated Sep 9, 2019Sep 9, 2019

• Perl5-IDEA

  Public
  Perl5 plugins for IntelliJ IDEA

  Java

  •

  Other

  •8080 forks in ice1k/Perl5-IDEA•00 stars in ice1k/Perl5-IDEA•00 issues in ice1k/Perl5-IDEA•00 pull requests in ice1k/Perl5-IDEA•Updated Nov 29, 2018Nov 29, 2018

• Theorems

  Public
  :globe_with_meridians: Theorems that rule this multiverse

  theorem-provingagdaformal-verification+ 1

  theorem-provingagdaformal-verificationtheorem

  Agda

  •

  Apache License 2.0

  •22 forks in ice1k/Theorems•1111 stars in ice1k/Theorems•00 issues in ice1k/Theorems•00 pull requests in ice1k/Theorems•Updated Oct 6, 2018Oct 6, 2018