Stars
org-babel integration with Jupyter for evaluation of (Python by default) code blocks
EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs
A Julia clone of https://pypi.python.org/pypi/tqdm
Asynchronous org-mode session evaluation
Repository for the EinsteinPy core package 🚀
LumaKernel / coquille
Forked from the-lambda-church/coquille[DEPRECATED] Renamed to https://github.com/LumaKernel/coqpit.vim
A dependently typed programming language, a successor to Idris
a compile-time, header-only, dimensional analysis and unit conversion library built on c++14 with no dependencies.
seancorfield / clj-new
Forked from boot-clj/boot-newGenerate new projects based on clj, Boot, or Leiningen Templates!
A JavaFX text pane, backed by Neovim, created with Clojure
A Dependently Typed Functional Programming Language
Frege language binding and utilities to create JavaFX user interfaces