emacsmirror Goto Github PK
Name: Emacsmirror
Type: Organization
Blog: https://emacsmirror.net
Name: Emacsmirror
Type: Organization
Blog: https://emacsmirror.net
Collection of snippets for the Lean prover
Collection of yasnippet snippets
Setup yasnippets for use with rspec
File templates with yasnippet
Simple test framework
Yet Another tex-mode for emacs //野鳥//
Yet Another Text Menu
Provide framework about exception like Java for Elisp
Emacs client for the YouCompleteMe auto-completion server
Emacs bindings to the ycmd completion server
Language support for Yu-Gi-Oh! deck files
Interact with Yeoman from Emacs
Drop-down frames, like Yakuake
Display ghostly yesql defqueries inline
Count number of inbox messages by day
Major mode for YNAB (you need a budget)
Interactively yoficate Russian texts
Theme named after my cat
Youdao Dictionary interface for Emacs
Manages a youtube-dl queue
Emacs Lisp library for accessing YQL
Query / Preview YouTube via Invidious
Emacs Interface for youtube-dl
Query YouTube via Invidious
Major mode for the yuck configuration language
Major mode for editing Ethereum Yul intermediate code
A z3/SMTLIBv2 interactive development environment
Search the word at point with Zeal
Zen and art color theme for GNU Emacs 24
A major mode for the Zen programming language
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.