Skip to content

@ice1k Ice1000's archives

Change the repository type filter

All

    Repositories list

    43 repositories

    • typst-book

      Public
      A simple tool for creating modern online books in pure typst.
      Typst
      •
      Apache License 2.0
      •29•1•0•0•Updated Dec 9, 2025Dec 9, 2025

    • model

      Public
      Models of dependent type theory
      Typst
      •2•0•0•0•Updated Dec 3, 2025Dec 3, 2025

    • llvm-cbe

      Public
      resurrected LLVM "C Backend", with improvements
      C++
      •
      Other
      •162•0•0•0•Updated Nov 25, 2025Nov 25, 2025

    • jacoco

      Public
      :microscope: Java Code Coverage Library
      Java
      •
      Other
      •1.2k•0•0•0•Updated Nov 17, 2025Nov 17, 2025

    • 3N112

      Public
      通用计算机图形学研究平台
      Java
      •
      BSD 3-Clause "New" or "Revised" License
      •1•0•0•0•Updated Jun 22, 2025Jun 22, 2025

    • xjb

      Public
      My Emacs/Bashrc configs and linux installer
      bashrcemacs-configuration
      Emacs Lisp
      •
      MIT License
      •0•5•0•0•Updated Feb 10, 2025Feb 10, 2025

    • kaposi-langs

      Public
      Agda
      •1•0•0•0•Updated Dec 10, 2024Dec 10, 2024

    • 15714-hw0

      Public
      Jupyter Notebook
      •75•0•0•0•Updated Sep 4, 2024Sep 4, 2024

    • manifold-java-bug-report

      Public
      Java
      •0•1•0•0•Updated May 15, 2024May 15, 2024

    • Arend

      Public
      The Arend Proof Assistant
      Java
      •
      Apache License 2.0
      •32•0•0•0•Updated Mar 1, 2024Mar 1, 2024

    • intellij-arend

      Public
      Arend plugin for IntelliJ IDEA
      Kotlin
      •
      Apache License 2.0
      •11•0•0•0•Updated Feb 12, 2024Feb 12, 2024

    • arend-lib

      Public
      Java
      •23•0•0•0•Updated Sep 4, 2023Sep 4, 2023

    • history

      Public
      History of type theory (Chinese).
      TeX
      •11•0•0•0•Updated Aug 7, 2023Aug 7, 2023

    • libgdx

      Public
      Desktop/Android/HTML5/iOS Java game development framework
      Java
      •
      Apache License 2.0
      •6.5k•0•0•0•Updated Jun 18, 2023Jun 18, 2023

    • rust-analyzer

      Public
      A Rust compiler front-end for IDEs
      Rust
      •
      Apache License 2.0
      •1.9k•0•0•0•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
      •161•0•0•0•Updated Apr 17, 2023Apr 17, 2023

    • weloveinterns

      Public
      中科院软件所智能软件中心实习生社区
      HTML
      •
      Creative Commons Attribution Share Alike 4.0 International
      •145•0•0•0•Updated Feb 7, 2023Feb 7, 2023

    • ice1000

      Public
      🧊 A Elbereth Gilthoniel / silivren penna míriel! 🌟
      Haskell
      •2•0•0•0•Updated Jun 25, 2022Jun 25, 2022

    • agda

      Public
      Container image for Agda
      Dockerfile
      •
      MIT License
      •2•0•0•0•Updated Jun 13, 2022Jun 13, 2022

    • test_proto_bench

      Public
      Benchmarking proto and rust-protobuf
      Rust
      •0•0•0•0•Updated Jun 7, 2022Jun 7, 2022

    • survivial-manual-for-interns

      Public
      给新员工和实习生的生存指南。 Good Luck and Survive!
      Python
      •
      Creative Commons Attribution Share Alike 4.0 International
      •34•0•0•0•Updated Aug 15, 2021Aug 15, 2021

    • darcula

      Public
      A darcula laf available on JitPack
      Java
      •
      Apache License 2.0
      •1•0•0•0•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
      •5k•0•0•0•Updated Nov 12, 2020Nov 12, 2020

    • ConsHoTT

      Public
      Constructive Interpretations of HoTT
      agdahott
      TeX
      •1•36•5•0•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
      •27•0•0•0•Updated Mar 23, 2020Mar 23, 2020

    • pure

      Public
      A little agda library for categorical semantics.
      Agda
      •
      GNU General Public License v3.0
      •2•1•0•0•Updated Nov 8, 2019Nov 8, 2019

    • intellij-haskell

      Public
      IntelliJ plugin for Haskell
      Scala
      •
      Apache License 2.0
      •95•0•0•0•Updated Nov 4, 2019Nov 4, 2019

    • asmble

      Public
      Compile WebAssembly to JVM and other WASM tools
      Kotlin
      •
      MIT License
      •40•0•0•0•Updated Sep 9, 2019Sep 9, 2019

    • Perl5-IDEA

      Public
      Perl5 plugins for IntelliJ IDEA
      Java
      •
      Other
      •74•0•0•0•Updated Nov 29, 2018Nov 29, 2018

    • Theorems

      Public
      :globe_with_meridians: Theorems that rule this multiverse
      theorem-provingagdaformal-verificationtheorem
      Agda
      •
      Apache License 2.0
      •2•11•0•0•Updated Oct 6, 2018Oct 6, 2018