https://www.humprog.org/~stephen/https://www.humprog.org/~stephen/
has mostly focused on programming languages and the systems that support them—including language runtimes and operating systems. Micro-blog and calendar December 2025. A new
Emergent Technologies Inc. -- Security Kernel</TITLEhttp://mumble.net/~jar/pubs/secureos/secureos.html
operating systems and programming environments. This report describes Scheme 48, a programming environment whose design is guided by established principles of operating system sec
CADR
NLnet; All projectshttps://nlnet.nl/project/index.html
2024 Purely functional programming language designed to "type" binary files Armbian User-operated Internet Fund 2021 Versatile OS for ARM-based single board computers ARMify NGI0
Find more...