Idris: A Language for Type-Driven Development

https://www.idris-lang.org/

Home Download Example Documentation Papers News Idris: A Language for Type-Driven Development Idris is a programming language designed to encourage Type-Driven Development . In ty

The Forms Working Group

https://www.w3.org/MarkUp/Forms/

  Public Mail Lists/Archives | Implementations | Documents | Test Suite | Validator | FAQ | Tutorial | Schedule of Deliverables | Dependencies | Activity Statement | Charter | Par

singlix.com web site

https://www.singlix.com/

    Development Center  |  Download Center  |  Travel Center  |  Home Page   |  Contact Address   You are at the entrance of

Daniel Janus

https://danieljanus.pl/

Daniel Janus Programming Smyrna , a concordancer for Polish Word Champions , a word game Autosummarized Hacker News (with GPT-3, no longer updated) GitHub projects Writing Blogs:

Bostjan Grandovec - About

http://bostjan-grandovec.si/Content/About.htm

Name: Bo?tjan Grandovec Address: Pot na Jo?ta 27 4000 Kranj Slovenia E-mail: bgrandovec@hotmail.com Born: 15.7.1972 Education: Computer tehnician I had my first contact with compu

Cole's Personal Site

https://coleroberts.dev/index

INDEX / LINKS / UPDATES / BLOG / BOOKS / QUOTES Welcome. I hope you enjoy your stay and learn a thing or two while you are here. My contact info is at the bottom of this page and
Personal blog about low level programming, sustainable living, philosophy and life.

Mark J. Nelson

https://www.kmjn.org/

Ah, the year 2020... Mark J. Nelson Associate Professor & Interim Chair Department of Computer Science American University I'm a professor in the computer science department a

ANARCHISM.net: The Structure of Anarchist Society

https://www.anarchism.net/anarchism_structureofanarchistsociety.htm

  About        Essays        Books        Site Map        Forum  &nbs

Memotech MTX 512 - MOC

http://www.primrosebank.net/computers/mtx/magazines/moc.htm

Computers Overview Commodore PET Sinclair ZX80 Sinclair ZX81 BBC Micro Commodore 64 Sinclair Spectrum Memotech MTX     About     Library   

Accidental Tech Podcast

https://atp.fm/

Accidental Tech Podcast Accidental Tech Podcast Three nerds discussing tech, Apple, programming, and loosely related matters. Hosted by Marco Arment , Casey Liss , and John Siracu
Three nerds discussing tech, Apple, programming, and loosely related matters.

Ville Saalo, moi! 👋

https://ville.saalo.moi/

Ville Saalo, moi! 👋 Interested in tech, reading, LEGO, and some such random stuff. ("moi": Finnish for "hi", "hello") Archive Photos Replies Reading GitHub Mar 18, 2026 ∞ Richard
Interested in tech, reading, LEGO, and some such random stuff. ("moi": Finnish for "hi", "hello")

XS4all Homepage

https://cromdesi.home.xs4all.nl/

Links: (html app) Current project : Mine Slime and Monster - procgen action platformer (port) - Now with Controller support Play Other trinkles : BrushFactory - Phone / Tablet Tou

Find more...