Popular repositories Loading

1. xfighter xfighter Public

   An API wrapper for the programming game Stockfighter

   Elixir 2

2. exocco exocco Public

   Exocco is an Elixir port of Docco, the original quick-and-dirty, hundred-line-long, literate-programming-style documentation generator.

   Elixir 1

3. vex vex Public

   Forked from CargoSense/vex

   Data Validation for Elixir

   Elixir

4. software-foundations software-foundations Public

   Forked from mietek/sf

   Mirror of “Software Foundations”, by Benjamin Pierce et al.

   HTML

5. software-foundations-coq-workshop software-foundations-coq-workshop Public

   Forked from jamiepg1/software-foundations-coq-workshop

   Materijal za radionicu Coq-a prema kursu "Software foundations" (CIS 500) Benjamina Piercea

   Coq

6. hydrogen hydrogen Public

   Forked from nteract/hydrogen

   Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.

   JavaScript