Discover @Linyxus Open Source projects

Yichen Xu (@Linyxus)

Linyxus

Stars
59
Global Rank 303,690 (Top 11 %)
Followers 120
Following 19
Registered almost 10 years ago
Most used languages

Scala
29.2 %

C++
25.0 %

Python
12.5 %

Lean 4.2 %

JavaScript
4.2 %

Agda 4.2 %

Haskell
4.2 %

Clojure
4.2 %

HTML
4.2 %

C
4.2 %

Swift
4.2 %
Location 🇨🇳 China
Country Total Rank 30,528
Country Ranking

Lean 7

Agda 8

Clojure
139

Haskell
151

Scala
210

Swift
2,614

C++
5,411

C
5,833

HTML
6,064

YaDNS

Yet Another DNS relay server that can be used as a local DNS over HTTPS (DoH) proxy.

awesome-neural-code-intelligence

A curated list for awesome machine learning methods for neural code intelligence.

deeper-net

A deep learning neural network library implemented in pure C++.

cdot-calculus

Soundness proof for OOPSLA 2022 paper A case for DOT: Theoretical Foundations for Objects With Pattern Matching and GADT-style Reasoning.

BrainFuckInterpreter

Yet another brain fuck interpreter implemented with pure C++.

dcgan

The deep convolutional generative adversarial model, written in Python, using keras with tensorflow as backend.

warrior

Yet another scraper for jwgl.bupt.edu.cn.

CoordML

Manage ML experiments with ease. (https://github.com/CoordML)

Papiers

My Experiment to create a native document management application for macOS with Swift and SwiftUI.

fscala2c

Bring a subset of Scala to native C!

mltt

A tiny MLTT theorem prover

theorem-proving-data

Collecting Github data for theorem-proving scripts.

capture-calculus.lean

papiers-core

code-gpt-neox

Faster fine-tuning GPT for code generation.

2D-Physics-Ball-System

A simple physics ball system written in pure C++.

meow

A cute little library for Cats.

travel-agency

Min-risk travel planer in COVID-19.

space-game

A game to drive the spaceship around the planets written in ClojureScript.

ca-mips-lab

Computer Architecture Lab

YaPokemon

Yet Another Pokemon game.

voter-admin

Admin for voter.

game-system

mips-hike

Virtual machine of a self-designed MIPS-like instruction set, written in Haskell. A toy compiler targeting the MIPS-like assemble language is also included.

agda-katas

Learning Agda by solving katas