-
🌱 I’m currently learning Rust, Lean 4, OCaml, Functional Programming, Category theory
-
📫 How to reach me [email protected]
- Javascript / Typescript
- OCaml
- Rust
- Lean
- Haskell (a little)
- HTML / CSS
- React
- Chakra UI
- tailwind css
- git
- node.js
- fp-ts
Name: FizzyElt
Type: User
Bio: If you can master the core concept, you can use it flexibly anywhere.
Twitter: FizzyElt
Location: Taiwan
Blog: https://fizzyelt.com
🌱 I’m currently learning Rust, Lean 4, OCaml, Functional Programming, Category theory
📫 How to reach me [email protected]
use fp-ts to solve 99 haskell problem
Try to use functional programming to solve the problems
The Rust Programming Language
Rust 程式設計語言(正體中文翻譯)
datePicker implementation
Functional programming in TypeScript
Custom built data types leveraged by the Effect ecosystem
紀錄文字頻道訊息的機器人
record discord text channel messages bot
紀錄陌生的英文單字,看不懂幾次就寫幾次!!
generate fake data fn
fakerator-client
remake blogs website with astro
Functional programming in TypeScript
帶你探索 functional programming
a simple example use gin to login with oauth2.
亂數分組
這是一份純靠北工程師的專案,請好好愛護它,謝謝。
這是一份純靠北工程師的前端模板,請好好愛護它,謝謝。
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.