| 1. | | ATS2 and VeriFast avoid some of FreeBSD vulnerabilities (metasepi.org) |
|
1 point by masterq on Oct 14, 2020 | past
|
|
| 2. | | If you are using Windows or Linux, you must buy SyncStitch with only 64,800 JPY (metasepi.org) |
|
2 points by masterq on Oct 16, 2018 | past
|
|
| 3. | | Hands-on VeriFast with STM32 microcontroller Osaka (slideshare.net) |
|
3 points by masterq on Aug 10, 2017 | past | 1 comment
|
|
| 4. | | Hands-on VeriFast with STM32 microcontroller (metasepi.org) |
|
1 point by masterq on Feb 6, 2017 | past
|
|
| 5. | | History of Ajhc Haskell Compiler (Japanese) [pdf] (metasepi.org) |
|
4 points by masterq on Oct 5, 2016 | past
|
|
| 6. | | C2ats – An utility to generate ATS interface from C code (metasepi.org) |
|
3 points by masterq on Sept 18, 2016 | past
|
|
| 7. | | Functional IoT Meetup #0 (metasepi.org) |
|
2 points by masterq on Feb 3, 2016 | past
|
|
| 8. | | Metasepi's going year and coming year, 2015 (metasepi.org) |
|
1 point by masterq on Dec 31, 2015 | past
|
|
| 9. | | Kick-R: Get your own R instance with 36 cores on AWS (slideshare.net) |
|
3 points by masterq on Nov 28, 2015 | past
|
|
| 10. | | Metasepi Project needs donations on Bitcoin (metasepi.org) |
|
1 point by masterq on Dec 25, 2014 | past
|
|
