KPCCoiL

KPCCoiL's Stars

• inspirehep/rest-api-doc

  Documentation of the INSPIRE REST API

  4010

• gregsexton/ob-ipython

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

  Language:Emacs Lisp738109

• emacs-eaf/emacs-application-framework

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

  Language:Python3k230

• nico202/ob-julia

  Org Mode babel support for Julia

  Language:Emacs Lisp152

• cloud-oak/ProgressBars.jl

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

  Language:Julia10415

• jackkamm/ob-session-async

  Asynchronous org-mode session evaluation

  Language:Emacs Lisp293

• dnek/pietron

  Cross-platform IDE for Piet.

  Language:JavaScript399

• N4NU/Reversing-Challenges-List

  CTF Reversing Challenges List

  Language:Python26532

• einsteinpy/einsteinpy

  Repository for the EinsteinPy core package :rocket:

  Language:Python609219

• LumaKernel/coquille

  [DEPRECATED] Renamed to https://github.com/LumaKernel/coqpit.vim

  Language:Vim script31

• edwinb/Idris2-boot

  A dependently typed programming language, a successor to Idris

  Language:Idris90258

• nholthaus/units

  a compile-time, header-only, dimensional analysis and unit conversion library built on c++14 with no dependencies.

  Language:C++951134

• thheller/shadow-cljs

  ClojureScript compilation made easy

  Language:Clojure2.2k175

• hakatashi/tsg-live-block

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

  Language:JavaScript31

• seancorfield/clj-new

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

  Language:Clojure49826

• jebberjeb/javafx-neovimpane

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

  Language:Clojure35

• PrincetonUniversity/VST

  Verified Software Toolchain

  Language:Coq43692

• edwinb/Blodwen

  A prototype successor to Idris

  Language:Idris53936

• elba/elba

  A package manager for Idris

  Language:Rust19010

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k643

• idris-hackers/idris-llvm

  Idris LLVM codegen factored out

  Language:Haskell7813

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k230

• rickyzhang82/tethering

  Proxy and DNS Server on iOS

  Language:Objective-C36387

• Frege/FregeFX

  Frege language binding and utilities to create JavaFX user interfaces

  Language:Frege325