Skip to content

@xiyuzhai-husky-lang The Husky Programming Language

Change the repository type filter

All

    Repositories list

    56 repositories

    • husky

      Public
      Empowering everyone towards next generation AI and software.
      languagemachine-learningcompilerhusky
      Rust
      •
      MIT License
      •9•87•341•0•Updated Jan 14, 2025Jan 14, 2025

    • Sudoku-RWKV

      Public
      Python
      •5•0•0•0•Updated Nov 22, 2024Nov 22, 2024

    • Pantograph

      Public
      (Mirror) A Lean machine-to-machine interaction library
      Lean
      •
      Apache License 2.0
      •2•0•0•0•Updated Nov 16, 2024Nov 16, 2024

    • mathematics_in_lean

      Public
      The user home repository for the Mathematics in Lean tutorial.
      HTML
      •199•0•0•0•Updated Nov 13, 2024Nov 13, 2024

    • PyPantograph

      Public
      A Machine-to-Machine Interaction System for Lean 4.
      TeX
      •
      Apache License 2.0
      •9•0•0•0•Updated Nov 12, 2024Nov 12, 2024

    • rust

      Public
      Empowering everyone to build reliable and efficient software.
      Rust
      •
      Other
      •13k•0•0•0•Updated Oct 31, 2024Oct 31, 2024

    • typst

      Public
      A new markup-based typesetting system that is powerful and easy to learn.
      Rust
      •
      Apache License 2.0
      •994•0•0•0•Updated Oct 31, 2024Oct 31, 2024

    • naproche

      Public
      Write formal proofs in natural language and LaTeX.
      Haskell
      •
      GNU General Public License v3.0
      •6•0•0•0•Updated Oct 27, 2024Oct 27, 2024

    • flash-attention

      Public
      Fast and memory-efficient exact attention
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •1.4k•0•0•0•Updated Sep 18, 2024Sep 18, 2024

    • makefile-lossless

      Public
      Lossless makefile parser
      Rust
      •3•0•0•0•Updated Sep 2, 2024Sep 2, 2024

    • egui

      Public
      egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native
      Rust
      •
      Apache License 2.0
      •1.7k•0•0•0•Updated Aug 25, 2024Aug 25, 2024

    • impress

      Public
      TeX
      •
      MIT License
      •0•4•0•0•Updated Jul 13, 2024Jul 13, 2024

    • Randomized-Geometric-Algebra-Methods-for-Convex-Neural-Networks

      Public
      Python
      •1•0•0•0•Updated Jun 11, 2024Jun 11, 2024

    • FLib

      Public
      A library of (checked) mathematical texts
      FreeMarker
      •3•0•0•0•Updated May 6, 2024May 6, 2024

    • serde-yaml

      Public
      Strongly typed YAML library for Rust
      Rust
      •
      Apache License 2.0
      •174•0•0•0•Updated Mar 25, 2024Mar 25, 2024

    • lean4

      Public
      Lean 4 programming language and theorem prover
      Lean
      •
      Apache License 2.0
      •450•0•0•0•Updated Mar 7, 2024Mar 7, 2024

    • iris-tutorial

      Public
      Coq
      •19•0•0•0•Updated Feb 23, 2024Feb 23, 2024

    • gohan

      Public
      Project for AI mathematics
      MIT License
      •0•1•0•0•Updated Feb 16, 2024Feb 16, 2024

    • unicode_names2

      Public
      char <-> Unicode character name (maintained fork of huonw/unicode_names)
      Rust
      •
      Apache License 2.0
      •22•0•0•0•Updated Feb 10, 2024Feb 10, 2024

    • LeanDojo

      Public
      Tool for data extraction and interacting with Lean programmatically.
      Python
      •
      MIT License
      •95•0•0•0•Updated Feb 9, 2024Feb 9, 2024

    • ReProver

      Public
      Retrieval-Augmented Theorem Provers for Lean
      Python
      •
      MIT License
      •54•0•0•0•Updated Jan 17, 2024Jan 17, 2024

    • untex

      Public
      Understand and manipulate TeX files with ease
      Rust
      •
      MIT License
      •1•0•0•0•Updated Dec 25, 2023Dec 25, 2023

    • Portal-to-ISAbelle

      Public
      https://albertqjiang.github.io/Portal-to-ISAbelle/
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •19•0•0•0•Updated Sep 6, 2023Sep 6, 2023

    • arxiv-explorer

      Public
      MIT License
      •0•0•0•0•Updated Jul 5, 2023Jul 5, 2023

    • cybertron

      Public
      Cybertron: DSL for Transformer Expressive Power
      0•0•0•0•Updated Jul 3, 2023Jul 3, 2023

    • CoqGym

      Public
      A Learning Environment for Theorem Proving with the Coq proof assistant
      Coq
      •
      GNU Lesser General Public License v2.1
      •51•0•0•0•Updated Jun 30, 2023Jun 30, 2023

    • resnet-is-optimization-in-disguise

      Public
      Paper on ResNet is Optimization-in-Disguise
      0•0•0•0•Updated Jun 26, 2023Jun 26, 2023

    • rl-is-all-you-need

      Public
      Reinforcement Learning is All You Need
      TeX
      •0•0•0•0•Updated Jun 14, 2023Jun 14, 2023

    • xiyuzhai-thesis

      Public
      TeX
      •0•0•0•0•Updated Jun 13, 2023Jun 13, 2023

    • theoretical-foundation-for-AI-alignment

      Public
      theoretical foundation for AI alignment
      TeX
      •0•0•0•0•Updated May 4, 2023May 4, 2023