Giter VIP home page Giter VIP logo

忘忧·北萱草

🌟 公子忘忧兮，树萱草于北堂。🌟

Style Love Stars Profile Views


忘忧北萱草's GitHub stats

🏫 I'm an undergrad of Computer Science and Software Engineering at Peking University.

🌱 I’m currently learning:

  • Rust
  • Haskell
  • Functional Programming
  • Program Verification

🌟 My Skills:


Code Time

📊 This Week I Spent My Time On

🕑︎ Time Zone: Asia/Shanghai

💬 Programming Languages: 
Other                    1 hr 13 mins        ███████████████░░░░░░░░░░   58.60 % 
Markdown                 31 mins             ██████░░░░░░░░░░░░░░░░░░░   25.12 % 
C                        20 mins             ████░░░░░░░░░░░░░░░░░░░░░   16.05 % 
OCaml                    0 secs              ░░░░░░░░░░░░░░░░░░░░░░░░░   00.23 % 

🔥 Editors: 
VS Code                  2 hrs 4 mins        █████████████████████████   100.00 % 

🐱‍💻 Projects: 
随机过程                 1 hr 13 mins        ███████████████░░░░░░░░░░   58.60 % 
hol-lite                 51 mins             ██████████░░░░░░░░░░░░░░░   41.40 % 

💻 Operating System: 
Windows                  1 hr 13 mins        ███████████████░░░░░░░░░░   58.60 % 
WSL                      51 mins             ██████████░░░░░░░░░░░░░░░   41.40 %

I Mostly Code in Rust

Rust                     30 repos            ███████░░░░░░░░░░░░░░░░░░   27.03 % 
Python                   22 repos            █████░░░░░░░░░░░░░░░░░░░░   19.82 % 
OCaml                    2 repos             ░░░░░░░░░░░░░░░░░░░░░░░░░   01.80 % 
Scala                    1 repo              ░░░░░░░░░░░░░░░░░░░░░░░░░   00.90 % 
Slash                    1 repo              ░░░░░░░░░░░░░░░░░░░░░░░░░   00.90 %

Last Updated on 2024-05-27 01:09:45 UTC

忘忧北萱草's Projects

ricq icon ricq

Rust 高性能 QQ 协议（原RS-QQ）。Linux-musl运行内存1.6MB。

sani icon sani

(WIP) 一个结构简单、可组合、易于拓展的事件系统。

scalene icon scalene

Scalene: a high-performance, high-precision CPU, GPU, and memory profiler for Python

sf-zh icon sf-zh

《软件基础》中译版 Software Foundations Chinese Translation

staged-recipes icon staged-recipes

A place to submit conda recipes before they become fully fledged conda-forge feedstocks

talkserver icon talkserver

基于 pytorch 实现的一个聊天机器人模型，开箱即用。

tid-cc icon tid-cc

一个小型编译器框架，仍在不断改进中。

tid-glgc icon tid-glgc

Delphi 开发的简易垃圾回收系统。

tidsearch icon tidsearch

为静态博客添加搜索功能的 JavaScript 库。A JavaScript library to add search functionality to static blogs.

typst-lsp icon typst-lsp

A brand-new language server for Typst, plus a VS Code extension

typst-nix icon typst-nix

Typst's humble yet comprehensive environment: an accommodating space for crafting papers and presentations, offering a range of fonts and templates.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.