Skip to content

@xiyuzhai-husky-lang The Husky Programming Language

Change the repository type filter

All

    Repositories list

    54 repositories

    • husky

      Public
      Empowering everyone towards next generation AI and software.
      languagemachine-learningcompilerhusky
      Rust
      •
      MIT License
      •7•83•215•0•Updated Nov 4, 2024Nov 4, 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
      •930•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
      •7•0•0•0•Updated Oct 27, 2024Oct 27, 2024

    • mathematics_in_lean

      Public
      The user home repository for the Mathematics in Lean tutorial.
      HTML
      •197•0•0•0•Updated Oct 22, 2024Oct 22, 2024

    • flash-attention

      Public
      Fast and memory-efficient exact attention
      Python
      •
      BSD 3-Clause "New" or "Revised" License
      •1.3k•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

    • salsa

      Public
      A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.
      Rust
      •
      Apache License 2.0
      •152•0•0•0•Updated Aug 26, 2024Aug 26, 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.6k•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
      •160•0•0•0•Updated Mar 25, 2024Mar 25, 2024

    • lean4

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

    • iris-tutorial

      Public
      Coq
      •13•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
      •92•0•0•0•Updated Feb 9, 2024Feb 9, 2024

    • ReProver

      Public
      Retrieval-Augmented Theorem Provers for Lean
      Python
      •
      MIT License
      •52•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
      •18•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
      •50•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

    • path-to-efficient-agi-main-paper

      Public
      The main paper for the path to efficient AGI
      TeX
      •0•2•0•0•Updated May 3, 2023May 3, 2023

    • image-compression-main-paper

      Public
      0•0•0•0•Updated Mar 2, 2023Mar 2, 2023