Date Range
Date Range
Date Range
I am currently working on the implementation of DSLs for stateful, resource-aware programming, especially for correct network protocol design and implementation, using Idris. A dependently typed functional programming language. Posted August 17, 2011 by edwinb.
Prize Draws - find out more. End of the month deadlines. IT Services - recruit all STEM disciplines. Gradcracker Limited, October House, Long Street, Easingwold, York, YO61 3HX. 2007 - 2018 Gradcracker Limited.
This website is so completely out of date. Please take everything with a pinch of salt. Slightly Kooky is a web idea, loosely related to a real person called Tim Bray. The inspiration for something really creative got lost somewhere down the line, so there is just what you find here.
On October 28, 2013. Today we took a look again at the Raspberry Pi and an initial look at Arduino. On October 23, 2013. On October 19, 2013.
The CompSOC platform is a research platform developed by the Eindhoven University of Technology. In the past many parts were developed in collaboration with Delft University of Technology. CompSOC aims to reduce system complexity through two techniques. Each application can be developed, verified, and executed in isolation.
Welcome to the NUI Galway Computer Society. A social outlet for NUI Galway students interested in technology. For all NUI Galway Students and Staff. Entitles you to a free SSH Account with. IRC Client, Server and access to other IRC servers. Access to our wiki and server and much more! Getting started with Linux. We run servers and usually run weekly events! .
The University of Manchester Computer Society. These include UNIX shells, email, web site hosting and pretty much anything else. The plan to convert a lot.
The University of Manchester Computer Society. These include UNIX shells, email, web site hosting and pretty much anything else. The plan to convert a lot.
For the time being please refer to compsoc. Cambridge University Computing and Technology Society. The University of Edinburgh Artificial Intelligence and Computing Society. The University of New South Wales.