Emergent Technologies Inc. -- Security Kernel</TITLE

http://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 projects

https://nlnet.nl/project/index.html

2024 Purely functional programming language designed to "type" binary files Arkin NGI0 Commons Fund 2026 Optical Tweezers Microscope Armbian User-operated Internet Fund 2021 Versa

Einar's blog

https://einar.codeberg.page/

for extensions, it is a programming language environment built around text editing. The use of a Lisp is also a great advantage since it is simple, easy and fast to learn and more

Find more...