takasimiz's Stars
magnars/multiple-cursors.el
Multiple cursors for emacs.
babluboy/bookworm
A simple ebook reader for Elementary OS
mooz/js2-mode
Improved JavaScript editing mode for GNU Emacs
NicolasPetton/Indium
A JavaScript development environment for Emacs
jwiegley/emacs-async
Simple library for asynchronous processing in Emacs
gregsexton/origami.el
A folding minor mode for Emacs
fniessen/refcard-org-beamer
Streamline your Beamer presentations with our Org mode Beamer Refcard. Download now for quick reference and enhanced productivity. #orgmode #beamer #referencecard #productivity
QuickChick/QuickChick
Randomized Property-Based Testing Plugin for Coq
uhub/awesome-coq
A curated list of awesome Coq frameworks, libraries and software.
math-comp/analysis
Mathematical Components compliant Analysis Library
cute-jumper/embrace.el
Add/Change/Delete pairs based on `expand-region', similar to `evil-surround'.
dangom/writefreely.el
*Frictionless* blogging with Org Mode. No setup required.
inQWIRE/QWIRE
A quantum circuit language and formal verification tool
skeeto/at-el
Prototype-based Emacs Lisp object system
affeldt-aist/monae
Monadic effects and equational reasonig in Coq
jtassarotti/coq-proba
A Probability Theory Library for the Coq Theorem Prover
damien-pous/relation-algebra
Relation algebra library for Coq
AdamNiederer/0xc
Easy base conversion in emacs
emacsorphanage/transpose-frame
Transpose windows arrangement in a frame
nnnoel/muse-headband-experiment
Brain sensing headband experiment to model positive and negative emotional patterns using smart algorithms and the Muse API.
Christoph-D/latex-unicode-math-mode
Emacs minor mode for entering unicode math symbols
readablesystems/cs260r-17
Main repository for Harvard CS260r 2017.
validsdp/validsdp
A Coq tactic for proving multivariate inequalities using SDP solvers
zhijiee/MuseEEGClassifier
Realtime classification of active or mindfulness state using Muse on Android.
david-christiansen/narrowed-page-navigation
An Emacs package for showing a buffer page-by-page, intended for presentations and live coding.
chmouel/openstack-cgit-browse-file
Browse current file in openstack cgit.
affeldt/mathcomp-intro
eemeth/ConCanonicalGA
Formally verified Holland's Canonical Genetic Algorithm
ephoning/coq
coq experiments, examples from tutorials, etc.
takasimiz/opt-comp
Components of Optimization