raptazure Goto Github PK
Name: Raptazure
Type: User
Bio: ✨ "Imagination bodies forth #=> the forms of things unknown."
Twitter: raptazure
Name: Raptazure
Type: User
Bio: ✨ "Imagination bodies forth #=> the forms of things unknown."
Twitter: raptazure
Agda is a dependently typed programming language / interactive theorem prover.
agda-mode on VS Code
Aurora theme based blog - the 2nd generation
A brief collection of my thoughts & feelings
Picture storage
Talking about classical logic and abstract algebra in Haskell
Visual Studio Code Extension - v0.01 preview version
Blog's comment
A compositor for X11.
A static code analysis tool for the Elixir language with a focus on code consistency and teaching.
🔮 Tarot Extension for VS Code
A secure JavaScript and TypeScript runtime
Cloud Haskell core library
☕️ Linux & macOS
A package manager for Idris
Just toys
miHoYo APP Genshin Impact daily bonus by Github Action
Dell Inspiron 7590 Hackintosh Backup
My blog based on Hexo. (2019.10.13 - 2020.5.29)
A Dependently Typed Functional Programming Language
TypeScript client for Idris IDE-mode.
Session types in Idris2!
Idris front-end for VS Code
A purely functional programming language with first class types
An Idris 2 code generator that outputs Dart code.
λ IHP is a modern batteries-included Web Framework, built on top of Haskell and Nix.
Inigo: A Package Manager for Idris2
Irmin is a distributed database that follows the same design principles as Git
🐳 Embark upon a new journey
Lean Theorem Prover
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.