Pepijn de Vos pepijndevos
pepijndevos
/ devOS.s
Created
January 3, 2017 12:33
— forked from anonymous/devOS.s
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| devos.o: file format elf32-littlearm | |
| Disassembly of section .text: | |
| c0008000 <_start>: | |
| c0008000: e3a0d902 mov sp, #32768 ; 0x8000 | |
| c0008004: e59f4030 ldr r4, [pc, #48] ; c000803c <halt+0x8> | |
| c0008008: e59f9030 ldr r9, [pc, #48] ; c0008040 <halt+0xc> |
pepijndevos
/ lisp.py
Created
September 10, 2010 09:56
— forked from dahlia/lisp.rb
5 minutes Lisp in Python
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # 5 minutes Lisp in Python | |
| # Pepijn de Vos <http://pepijndevos.nl> | |
| # | |
| # Inspired by 30 minutes Lisp in Ruby | |
| # http://gist.github.com/562017 | |
| # | |
| # This Lisp does not read or parse anything at all. | |
| # A generator and a Decorator are abused to run sexps. | |
| # | |
| # Usage: |
pepijndevos
/ en-5000500.csv
Created
May 28, 2010 09:25
— forked from bramd/en-5000500.csv
We can make this file beautiful and searchable if this error is corrected: Unclosed quoted field in line 10.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| "Short name","Full name","Country code ( ","Capital","Name of citizenship","Adjective","Currency ( ","ISO code ( ","Currency subunit ( " | |
| "Afghanistan","Islamic Republic of Afghanistan","AF","Kabul","Afghan","Afghan","afghani","AFN","pul" | |
| "Åland Islands(AX1)","Åland Islands","AX","Mariehamn","Åland Islander","of the Åland Islands","euro","EUR","cent" | |
| "Albania","Republic of Albania","AL","Tirana","Albanian","Albanian","lek","ALL","qindar (pl.qindarka)" | |
| "Algeria","People’s Democratic Republic of Algeria","DZ","Algiers","Algerian","Algerian","Algerian dinar","DZD","centime" | |
| "American Samoa(AS1)","Territory of American Samoa","AS","Pago Pago","American Samoan","American Samoan","US dollar","USD","cent" | |
| "Andorra","Principality of Andorra","AD","Andorra la Vella","Andorran","Andorran","euro","EUR","cent" | |
| "Angola","Republic of Angola","AO","Luanda","Angolan","Angolan","kwanza","AOA","cêntimo" | |
| "Anguilla(AI1)","Anguilla","AI","The Valley","Anguillan","Anguillan","East Caribbean dollar","XCD","cent" | |
| "Antarctica","Antarc |