Documentation of the INSPIRE REST API

org-babel integration with Jupyter for evaluation of (Python by default) code blocks

EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs

Org Mode babel support for Julia

A Julia clone of https://pypi.python.org/pypi/tqdm

Asynchronous org-mode session evaluation

Cross-platform IDE for Piet.

CTF Reversing Challenges List

Repository for the EinsteinPy core package 🚀

[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.

ClojureScript compilation made easy

TSG LIVE! 2 当日ライブコーディング用リポジトリ

Generate new projects based on clj, Boot, or Leiningen Templates!

A JavaFX text pane, backed by Neovim, created with Clojure

Verified Software Toolchain

A prototype successor to Idris

A package manager for Idris

A Dependently Typed Functional Programming Language

Idris LLVM codegen factored out

A Proof-oriented Programming Language

Proxy and DNS Server on iOS

Frege language binding and utilities to create JavaFX user interfaces