Idris: A Language for Type-Driven Developmenthttps://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 Grouphttps://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 sitehttps://www.singlix.com/
Development Center | Download Center | Travel Center | Home Page | Contact Address You are at the entrance of
jeedra's homepagehttps://jeedra.neocities.org/
This is jeedra's homepage Introduction Welcome to my humble website, I intend to share my programming projects, maybe some guides, maybe a blog of some sorts, and maybe some memes
jeedra's personal website
An Actual Freedom From The Human Conditionhttps://www.actualfreedom.com.au/
Search The Actual Freedom Trust Homepage A New and Non-Spiritual Down-to-Earth Freedom Source:\ <a href=richard/listdcorrespondence/listdandrew.htm#22May15 target="
An actual freedom from the Human Condition, surpassing Spiritual Enlightenment or any other Altered State Of Consciousness, challenging all philosophy, psychiatry, metaphysics (inc
Eugene Wallingford's Researchhttp://www.cs.uni.edu/~wallingf/research/
Current Research [ Patterns | Publications | Other Links ] A Short Research Description I am interested in how people design and build things. As a child, I wanted to be an archit
Rationale for a Large Text Compression Benchmarkhttp://www.mattmahoney.net/dc/rationale.html
Rationale for a Large Text Compression Benchmark Matt Mahoney Last update: July 23, 2009. The Large Text Compression Benchmark and the Hutter Prize are designed to encourage resea
daniel b cristofanihttp://www.hevanet.com/cristofd/
daniel b cristofani My page about the brainfuck programming language (a language designed for the amusement of programmers) And some other clutter I've accumulated: Voyager 1 phot
A collection of things that might interest someone.
Run My Code! (code injection on Windows) // TimDbghttps://www.timdbg.com/posts/run-my-code/
TimDbg About - Tags The art and science of debugging. And other stuff like that. From a former developer on WinDbg and the VMware hypervisor. Github Twitter YouTube Run My Code! (
The first time I realized it was possible to get a process to run some extra little code I had written, it felt like the ultimate cheat code. My first attempt was a little patch fo
History of Microchess - Peter Jenningshttp://www.benlo.com/microchess/
Benlo Park VisiCalc Contact Microchess for the Kim-1 Peter Jennings March, 2006 Microchess for the Kim-1 was the first game program sold for home computers. After six months of de
The Early History of Microchess
http://bbc.nvg.org/doc/wd1770.txthttp://bbc.nvg.org/doc/wd1770.txt
WD1770/2/3 data (disk controller chip) ====================================== This file contains essential data on programming the floppy disk controller chip used in BBC B+, Mast
For when I'm gone.https://wmealing.github.io/
For when I'm gone. Erlang Remote Shell for Rapid Development - Nov 2025 Tired of the compile-restart-cycle anti-pattern in Erlang development? It sacrifices the core advantage of
Erlang, TUI, Oldschool code
Find more...