Repositories

Also show repositories of people's personal interest
Name Created Updated License

hookiedatreader

Hookie kiihtyvyysanturin binääridata tekstimuotoon.

Project: ThirdParty Owner: ~ji

2015-05-22 14:39:18 +0300 2015-05-22 14:40:29 +0300 GNU General Public License version 3 (GPLv3)
2016-02-19 03:24:07 +0200 2016-02-19 03:24:07 +0200 Academic Free License v3.0

hm-kieli

Yksinkertaisen Hindley-Milner-tyypitetyn kielen toteutus.

Project: Ohjelmointikielten periaatteet Owner: ~antkaij

2012-11-09 19:54:53 +0200 2012-11-22 14:25:40 +0200 MIT License
2016-05-10 12:32:22 +0300 2016-05-12 13:10:38 +0300

helicopter

Stochastic Progran derivation tests

Project: Helicopter Owner: ~aleator

2010-03-05 09:41:33 +0200 2010-06-11 17:49:31 +0300 MIT License
2013-09-26 20:30:12 +0300 2013-09-26 20:30:13 +0300 Academic Free License v3.0
2013-09-10 08:26:52 +0300 2013-09-10 08:26:52 +0300
2013-09-12 14:07:12 +0300 2013-09-12 14:07:12 +0300
2016-03-03 17:04:45 +0200 2016-03-03 17:04:48 +0200
2014-09-24 11:49:48 +0300 2014-10-01 10:39:34 +0300 Academic Free License v3.0

groups-script

A Python script for automatically assigning groups in demo sessions.

Project: groups-script Owner: ~tejupelt

2015-10-14 12:30:36 +0300 2015-10-14 15:20:52 +0300 Academic Free License v3.0
2015-10-15 12:35:18 +0300 2015-10-15 12:35:18 +0300
2015-10-08 13:03:40 +0300 2015-10-08 13:03:40 +0300
2015-10-01 14:51:50 +0300 2015-10-01 14:51:50 +0300
2015-10-01 12:08:58 +0300 2015-11-05 10:39:25 +0200 Academic Free License v3.0
2014-10-02 10:50:52 +0300 2014-10-06 23:23:16 +0300 Academic Free License v3.0
2015-09-24 12:34:30 +0300 2015-09-29 23:03:50 +0300
2015-09-18 13:26:33 +0300 2015-09-18 13:26:33 +0300
2015-09-17 10:48:44 +0300 2015-09-22 19:47:16 +0300
2015-10-15 12:35:05 +0300 2015-10-26 23:47:32 +0200
2015-10-08 13:03:33 +0300 2015-10-15 09:17:43 +0300
2015-10-01 14:51:43 +0300 2015-10-05 20:50:20 +0300
2015-10-01 12:08:51 +0300 2015-10-06 23:07:53 +0300
2014-10-02 10:50:42 +0300 2014-10-26 15:37:43 +0200 Academic Free License v3.0
2015-09-24 12:34:17 +0300 2015-09-29 23:03:48 +0300
2015-09-18 13:26:26 +0300 2015-09-21 23:34:10 +0300
2015-09-17 10:48:37 +0300 2015-09-22 19:47:10 +0300
2015-10-15 12:34:58 +0300 2015-10-24 23:56:20 +0300
2015-10-08 13:03:26 +0300 2015-10-14 15:02:52 +0300
2015-10-01 14:51:36 +0300 2015-11-10 09:18:07 +0200