Pinned Loading

1. TCOS.lang TCOS.lang Public

   a metalanguage for Timed and Concurrent Operational Semantics

   TypeScript 3 2

2. eclipse-gemoc/gemoc-studio eclipse-gemoc/gemoc-studio Public

   gemoc-studio

   PostScript 26 21

3. LinguaFrancaInGemoc LinguaFrancaInGemoc Public

   Java 3

4. xCapella xCapella Public

   Forked from smadelenat/CapellaModeAutomata

   Capella Mode Automaton experimental prototype

   Java 2 1

5. KilnRegulator3.0 KilnRegulator3.0 Public

   The objective is to provide a cheap and up to date kiln regulator based on a micro controller and a smart phone app

   JavaScript 12 3

6. pedagogicalWebServer pedagogicalWebServer Public

   Python