KPCCoiL's Stars
inspirehep/rest-api-doc
Documentation of the INSPIRE REST API
gregsexton/ob-ipython
org-babel integration with Jupyter for evaluation of (Python by default) code blocks
emacs-eaf/emacs-application-framework
EAF, an extensible framework that revolutionizes the graphical capabilities of Emacs
nico202/ob-julia
Org Mode babel support for Julia
cloud-oak/ProgressBars.jl
A Julia clone of https://pypi.python.org/pypi/tqdm
jackkamm/ob-session-async
Asynchronous org-mode session evaluation
dnek/pietron
Cross-platform IDE for Piet.
N4NU/Reversing-Challenges-List
CTF Reversing Challenges List
einsteinpy/einsteinpy
Repository for the EinsteinPy core package :rocket:
LumaKernel/coquille
[DEPRECATED] Renamed to https://github.com/LumaKernel/coqpit.vim
edwinb/Idris2-boot
A dependently typed programming language, a successor to Idris
nholthaus/units
a compile-time, header-only, dimensional analysis and unit conversion library built on c++14 with no dependencies.
thheller/shadow-cljs
ClojureScript compilation made easy
hakatashi/tsg-live-block
TSG LIVE! 2 当日ライブコーディング用リポジトリ
seancorfield/clj-new
Generate new projects based on clj, Boot, or Leiningen Templates!
jebberjeb/javafx-neovimpane
A JavaFX text pane, backed by Neovim, created with Clojure
PrincetonUniversity/VST
Verified Software Toolchain
edwinb/Blodwen
A prototype successor to Idris
elba/elba
A package manager for Idris
idris-lang/Idris-dev
A Dependently Typed Functional Programming Language
idris-hackers/idris-llvm
Idris LLVM codegen factored out
FStarLang/FStar
A Proof-oriented Programming Language
rickyzhang82/tethering
Proxy and DNS Server on iOS
Frege/FregeFX
Frege language binding and utilities to create JavaFX user interfaces