8000 khanh101 (nguyễn ngọc khánh) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View khanh101's full-sized avatar
🎯
Focusing
🎯
Focusing
45 followers · 182 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault ContributorAchievement: Starstruck

Block or report khanh101

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
khanh101/README.md

Hi there

Pinned Loading

  1. khanh101.github.io khanh101.github.io Public

    JavaScript 1

  2. lean4_example lean4_example Public

    some lean4 examples

    Lean

  3. fp fp Public

    A simple functional programming language in 130 lines of code with `functions as first-class citizens`. $\mathbb{F}_p$ also denotes the finite field of order $p$

    Go

  4. ca ca Public

    computational algebra

    Go

0