Skip to content
@xiyuzhai-husky-lang

The Husky Programming Language

README.md

Hello, fellow sentient beings! 👋

Welcome to husky-lang-org! The word husky means that we want to work happily!

Pinned Loading

  1. husky husky Public

    Empowering everyone towards next generation AI and software.

    Rust 78 7

  2. corgi corgi Public

    The Husky package manager

    Rust 5 2

  3. impress impress Public

    TeX 4

  4. rfcs rfcs Public

    RFCs for changes to Husky

    1 1

Repositories

Showing 10 of 47 repositories
  • husky Public

    Empowering everyone towards next generation AI and software.

    xiyuzhai-husky-lang/husky’s past year of commit activity
    Rust 78 MIT 7 124 0 Updated Sep 3, 2024
  • typst Public Forked from typst/typst

    A new markup-based typesetting system that is powerful and easy to learn.

    xiyuzhai-husky-lang/typst’s past year of commit activity
    Rust 0 Apache-2.0 882 0 0 Updated Sep 3, 2024
  • salsa Public Forked from salsa-rs/salsa

    A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

    xiyuzhai-husky-lang/salsa’s past year of commit activity
    Rust 0 Apache-2.0 145 0 0 Updated Aug 26, 2024
  • egui Public Forked from emilk/egui

    egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

    xiyuzhai-husky-lang/egui’s past year of commit activity
    Rust 0 Apache-2.0 1,582 0 0 Updated Aug 25, 2024
  • impress Public
    xiyuzhai-husky-lang/impress’s past year of commit activity
    TeX 4 MIT 0 0 0 Updated Jul 13, 2024
  • lean4 Public Forked from leanprover/lean4

    Lean 4 programming language and theorem prover

    xiyuzhai-husky-lang/lean4’s past year of commit activity
    Lean 0 Apache-2.0 394 0 0 Updated Mar 7, 2024
  • mathematics_in_lean Public Forked from leanprover-community/mathematics_in_lean

    The user home repository for the Mathematics in Lean tutorial.

    xiyuzhai-husky-lang/mathematics_in_lean’s past year of commit activity
    HTML 0 172 0 0 Updated Mar 3, 2024
  • iris-tutorial Public Forked from logsem/iris-tutorial
    xiyuzhai-husky-lang/iris-tutorial’s past year of commit activity
    Coq 0 5 0 0 Updated Feb 23, 2024
  • gohan Public

    Project for AI mathematics

    xiyuzhai-husky-lang/gohan’s past year of commit activity
    1 MIT 0 0 0 Updated Feb 16, 2024
  • unicode_names2 Public Forked from progval/unicode_names2

    char <-> Unicode character name (maintained fork of huonw/unicode_names)

    xiyuzhai-husky-lang/unicode_names2’s past year of commit activity
    Rust 0 Apache-2.0 20 0 0 Updated Feb 10, 2024
View all repositories

Top languages

Loading…

Most used topics

Loading…