Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
readme [2018/10/29 15:03] 127.0.0.1 external edit |
readme [2019/04/02 17:39] (current) |
||
---|---|---|---|
Line 1: | Line 1: | ||
+ | {{tag>news feature member publication}} | ||
~~Title: Website ~~ | ~~Title: Website ~~ | ||
~~NOTOC~~ | ~~NOTOC~~ | ||
+ | |||
+ | <slide> | ||
+ | {{:site:background.png?nolink|}} | ||
+ | </slide> | ||
<grid> | <grid> | ||
Line 17: | Line 22: | ||
<callout title="Interpreter Application"> | <callout title="Interpreter Application"> | ||
We feature a CASM language interpreter called **casmi**, which performs a AST-based numeric execution and simulates the input specification accordingly to the ASM theory. Check out the current release in the [[download]] section. | We feature a CASM language interpreter called **casmi**, which performs a AST-based numeric execution and simulates the input specification accordingly to the ASM theory. Check out the current release in the [[download]] section. | ||
+ | </callout> | ||
+ | <callout title="Language Server Support"> | ||
+ | In our CASM language server daemon application called **casmd**, we implement the Language Server Protocol (LSP) to provide CASM language specific support to editor environments (LSP clients) like **monaco** or **vscode**. | ||
</callout> | </callout> | ||
</col> | </col> | ||
Line 43: | Line 51: | ||
<col lg="12" md="12"> | <col lg="12" md="12"> | ||
===== Members ===== | ===== Members ===== | ||
+ | Find out more about our CASM [[members]]: | ||
<grid> | <grid> | ||
- | <col xs="6" md="3">{{page>member:ppaulweber&noindent&nofooter&firstseconly}}</col> | + | <col xs="12" md="3">{{page>member:ppaulweber&noindent&nofooter&firstseconly}}</col> |
- | <col xs="6" md="3">{{page>member:epescosta&noindent&nofooter&firstseconly}}</col> | + | <col xs="12" md="3">{{page>member:epescosta&noindent&nofooter&firstseconly}}</col> |
- | <col xs="6" md="3">{{page>member:fhahn&noindent&nofooter&firstseconly}}</col> | + | <col xs="12" md="3">{{page>member:fhahn&noindent&nofooter&firstseconly}}</col> |
- | <col xs="6" md="3">{{page>member:rlezuo&noindent&nofooter&firstseconly}}</col> | + | <col xs="12" md="3">{{page>member:rlezuo&noindent&nofooter&firstseconly}}</col> |
</grid> | </grid> | ||
<grid> | <grid> | ||
- | <col xs="6" md="3">{{page>member:uzdun&noindent&nofooter&firstseconly}}</col> | + | <col xs="12" md="3">{{page>member:uzdun&noindent&nofooter&firstseconly}}</col> |
- | <col xs="6" md="3">{{page>member:akrall&noindent&nofooter&firstseconly}}</col> | + | <col xs="12" md="3">{{page>member:gsimhandl&noindent&nofooter&firstseconly}}</col> |
- | <col xs="6" md="3">{{page>member:dinfuehr&noindent&nofooter&firstseconly}}</col> | + | <col xs="12" md="3">{{page>member:akrall&noindent&nofooter&firstseconly}}</col> |
- | <col xs="6" md="3">{{page>member:gbarany&noindent&nofooter&firstseconly}}</col> | + | <col xs="12" md="3">{{page>member:gbarany&noindent&nofooter&firstseconly}}</col> |
</grid> | </grid> | ||
</col> | </col> | ||
Line 60: | Line 69: | ||
<col lg="6" md="12"> | <col lg="6" md="12"> | ||
===== Publications ===== | ===== Publications ===== | ||
+ | Check out the latest CASM [[publications]]: | ||
{{tagtopic>paper&noindent&noheader&nofooter&firstseconly&rsort}} | {{tagtopic>paper&noindent&noheader&nofooter&firstseconly&rsort}} | ||
</col> | </col> | ||
<col lg="6" md="12"> | <col lg="6" md="12"> | ||
- | ===== Talks, Events, and Workshops ===== | + | ===== Presenations ===== |
+ | Check out the latest CASM conference, workshop, or event [[publications#Conference_Workshop_or_Event_Presentations|presentations]]: | ||
{{tagtopic>talk&noindent&noheader&nofooter&firstseconly&rsort}} | {{tagtopic>talk&noindent&noheader&nofooter&firstseconly&rsort}} | ||
</col> | </col> | ||
</grid> | </grid> | ||