Name: Felix Yan
Type: User
Company: Arch Linux @archlinux
Bio: Arch Linux Developer, Learning Ruby, probably a fox.
PGP Key: 0x786C63F330D7CB92
Twitter: felixonmars
Location: Wuhan, Hubei, China
Blog: https://felixc.at
Felix Yan's Projects
FOSSASIA Summit 2019 https://2019.fossasia.org
Short JavaScript code snippets for all your development needs
6rd Control Tool
Accounts Service for SUSI.AI http://accounts.susi.ai
A pure Unix shell script implementing ACME client protocol
A fast Haskell JSON library
Better errors when decoding JSON values
Compatibility package for aeson
Generate and apply diffs between JSON documents.
Encode any Aeson (JSON) value as YAML (in pure Haskell)
There can be more than Notion and Miro. AFFiNE is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.
Agda is a dependently typed programming language / interactive theorem prover.
The Agda standard library
The AI Application Framework for Javascript
Is a pretty simple and fully asynchronous framework for Telegram Bot API written in Python 3.7 with asyncio and aiohttp.
Asynchronous HTTP client/server framework for asyncio and Python
asyncio (PEP 3156) Redis support
Generate iCal 2.0 for your reservations @ AircraftClubs.com
UI Test Automation Framework for Games and Apps
Algebraic graphs
:tophat: Small self-contained pure-Go web server with Lua, Markdown, HTTP/2, QUIC, Redis and PostgreSQL support
Terminal-based Mail User Agent
The open source version of the Amazon EKS user guide. You can submit feedback & requests for changes by submitting issues in this repo or by making proposed changes & submitting a pull request.
Scala Scripting
A gardening app illustrating Android development best practices with Android Jetpack.
Sinatra-like DSL for Reel that supports WebSockets and SSE
Ansible is a radically simple IT automation platform that makes your applications and systems easier to deploy. Avoid writing scripts or custom code to deploy and update your applications — automate in a language that approaches plain English, using SSH, with no agents to install on remote systems. https://docs.ansible.com/ansible/