#[1]Edit [2]bootstrapping (en) [3]bootstrapping Atom feed

   [4]Jump to content
   [X]

   Toggle sidebar [5]bootstrapping
   [6]Search
   ____________________ Search Go

     * [7]Create account
     * [8]Log in

   [ ] Personal tools
     * [9]Dark mode
     * [10]Create account
     * [11]Log in

   Pages for logged out editors [12]learn more
     * [13]Contributions
     * [14]Talk

   Navigation
     * [15]Main page
     * [16]Recent changes
     * [17]Random page
     * [18]Help about MediaWiki

   Tools
     * [19]What links here
     * [20]Related changes
     * [21]Special pages
     * [22]Printable version
     * [23]Permanent link
     * [24]Page information
     * [25]Get shortened URL
     * [26]Cite this page

   [ ]

Contents

   (BUTTON) move to sidebar (BUTTON) hide
     * Beginning
     * 1Welcome to the bootstrapping wiki!

     2Topics

     3Groups



   4Helpful Links

   Toggle the table of contents

   [ ] Toggle the table of contents

Main Page

     * [27]Main Page
     * [28]Discussion

   [ ] English

     * [29]Read
     * [30]Edit
     * [31]View history

   [ ] More
     * [32]Read
     * [33]Edit
     * [34]View history

   From bootstrapping

Welcome to the bootstrapping wiki![[35]edit]

   This wiki is about bootstrapping, i.e., building up compilers and
   interpreters and tools from nothing.

   To use an analogy from the world of food production:

     "Recipe for yogurt: Add yogurt to milk." - Anon.

   In simple technical terms:

     Bootstrapping is about building a compiler using tools smaller than
     itself, as opposed to building a compiler using an already built
     version of itself. The problem with the second is: Where did that
     prebuilt binary come from?

   The short sci-fi story [36]Coding Machines (Lawrence Kesteloot, January
   2009) has bootstrapping as a theme.

   Also see the homepage of [37]the Bootstrappable project, which has
   pointers to a mailing list and IRC channel.

Topics[[38]edit]

   Current topics being considered include:
     * [39]mes by janneke, [40]repo
     * [41]live-bootstrap by fossy and stikonas, [42]repo
     * [43]stage0 by Jeremiah Orians, [44]repo
     * [45]Boot2Now by Rick Masters, [46]repo
     * [47]Coquillage by bms_
     * [48]Aesop by unmatched-paren
     * [49]Descent principle
     * [50]The Semantics Assignment Problem
     * [51]Self-Extension
     * [52]Self-Hosting
     * [53]Build Systems
     * [54]Build Inputs
     * [55]C compilers
     * [56]Below C Level
     * [57]Boostrapping Specific Languages
     * [58]Investigate
     * [59]Projects List
     * [60]Documents
     * [61]Forth

   Other ideas that have been considered are listed on the dedicated
   [62]Past Research page. There is also a list of [63]discarded options
   and why.

Groups[[64]edit]

   The [65]Groups page has links related to various areas of interest
   including:
     * Karger-Thompson Attack
     * Ubiquitous Implementations
     * Small C Compilers
     * Grammars, Parsing, and Term Rewriting
     * Virtual Machines, Instruction Sets
     * CPU's for Bootstrapping
     * Minimal Operating Systems
     * Biology / Other?

Helpful Links[[66]edit]

     * [67]AIM-039.pdf The first self hosted lisp
     * [68]lambda-the-ultimate thread asking for info on bootstrapping
     * [69]awesome-compilers github list with a lot of information (copy
       the relevant parts to this wiki)
     * [70]Tombstone diagram
     * [71]bootstrappable a community hub for bootstrapping, with mailing
       list.
     * [72]bootstrappable mailing list
     * [73]yabfc - Generating-executable-files-from-scratch
     * [74]ELF visualization
     * [75]Cfront - converts C++ to C; developed by Bjarne Stroustrup.
     * [76]How do I install all of the GNU C Library project libraries
       that I just built
     * [77]Formal Compiler Verification with ACL2 - proving a compiler
       correct with ACL2 and discussion about correctness and self
       compiling.

   Retrieved from
   "[78]https://bootstrapping.miraheze.org/wiki/Main_Page?oldid=448"

   Cookies help us deliver our services. By using our services, you agree
   to our use of cookies.
   [79]More information (OK) OK

     * This page was last edited on 7 September 2023, at 10:18.
     * Content is available under Creative Commons Attribution-ShareAlike
       4.0 International (CC BY-SA 4.0) unless otherwise noted.

     * [80]Privacy policy
     * [81]About bootstrapping
     * [82]Disclaimers
     * [83]Mobile view
     * [84]Terms of Use
     * [85]Donate to Miraheze

     * [86]Hosted by Miraheze [87]Powered by MediaWiki
     * [88]Creative Commons Attribution-ShareAlike 4.0 International (CC
       BY-SA 4.0)

References

   Visible links:
   1. https://bootstrapping.miraheze.org/wiki/Main_Page?action=edit
   2. https://bootstrapping.miraheze.org/w/opensearch_desc.php
   3. https://bootstrapping.miraheze.org/wiki/Special:RecentChanges?feed=atom
   4. https://bootstrapping.miraheze.org/wiki/Main_Page#bodyContent
   5. https://bootstrapping.miraheze.org/wiki/Main_Page
   6. https://bootstrapping.miraheze.org/wiki/Special:Search
   7. https://bootstrapping.miraheze.org/wiki/Special:CreateAccount?returnto=Main+Page
   8. https://bootstrapping.miraheze.org/wiki/Special:UserLogin?returnto=Main+Page
   9. https://bootstrapping.miraheze.org/wiki/Main_Page
  10. https://bootstrapping.miraheze.org/wiki/Special:CreateAccount?returnto=Main+Page
  11. https://bootstrapping.miraheze.org/wiki/Special:UserLogin?returnto=Main+Page
  12. https://bootstrapping.miraheze.org/wiki/Help:Introduction
  13. https://bootstrapping.miraheze.org/wiki/Special:MyContributions
  14. https://bootstrapping.miraheze.org/wiki/Special:MyTalk
  15. https://bootstrapping.miraheze.org/wiki/Main_Page
  16. https://bootstrapping.miraheze.org/wiki/Special:RecentChanges
  17. https://bootstrapping.miraheze.org/wiki/Special:Random
  18. https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents
  19. https://bootstrapping.miraheze.org/wiki/Special:WhatLinksHere/Main_Page
  20. https://bootstrapping.miraheze.org/wiki/Special:RecentChangesLinked/Main_Page
  21. https://bootstrapping.miraheze.org/wiki/Special:SpecialPages
  22. javascript:print();
  23. https://bootstrapping.miraheze.org/wiki/Main_Page?oldid=448
  24. https://bootstrapping.miraheze.org/wiki/Main_Page?action=info
  25. https://bootstrapping.miraheze.org/wiki/Special:UrlShortener?url=https%3A%2F%2Fbootstrapping.miraheze.org%2Fwiki%2FMain_Page
  26. https://bootstrapping.miraheze.org/wiki/Special:CiteThisPage?page=Main_Page&id=448&wpFormIdentifier=titleform
  27. https://bootstrapping.miraheze.org/wiki/Main_Page
  28. https://bootstrapping.miraheze.org/wiki/Talk:Main_Page
  29. https://bootstrapping.miraheze.org/wiki/Main_Page
  30. https://bootstrapping.miraheze.org/wiki/Main_Page?action=edit
  31. https://bootstrapping.miraheze.org/wiki/Main_Page?action=history
  32. https://bootstrapping.miraheze.org/wiki/Main_Page
  33. https://bootstrapping.miraheze.org/wiki/Main_Page?action=edit
  34. https://bootstrapping.miraheze.org/wiki/Main_Page?action=history
  35. https://bootstrapping.miraheze.org/wiki/Main_Page?action=edit&section=1
  36. https://www.teamten.com/lawrence/writings/coding-machines/
  37. https://bootstrappable.org/
  38. https://bootstrapping.miraheze.org/wiki/Main_Page?action=edit&section=2
  39. https://bootstrapping.miraheze.org/wiki/Mes
  40. https://gitlab.com/janneke/mes
  41. https://bootstrapping.miraheze.org/wiki/Live-bootstrap
  42. https://github.com/fosslinux/live-bootstrap
  43. https://bootstrapping.miraheze.org/wiki/Stage0
  44. https://git.savannah.nongnu.org/cgit/stage0.git/
  45. https://bootstrapping.miraheze.org/wiki/Boot2Now
  46. https://github.com/ironmeld/boot2now
  47. https://bootstrapping.miraheze.org/wiki/Coquillage
  48. https://bootstrapping.miraheze.org/wiki/Aesop
  49. https://bootstrapping.miraheze.org/wiki/Descent_principle
  50. https://bootstrapping.miraheze.org/wiki/The_Semantics_Assignment_Problem
  51. https://bootstrapping.miraheze.org/wiki/Self-Extension
  52. https://bootstrapping.miraheze.org/wiki/Self-Hosting
  53. https://bootstrapping.miraheze.org/wiki/Build_Systems
  54. https://bootstrapping.miraheze.org/wiki/Build_Inputs
  55. https://bootstrapping.miraheze.org/wiki/C_compilers
  56. https://bootstrapping.miraheze.org/wiki/Below_C_Level
  57. https://bootstrapping.miraheze.org/wiki/Boostrapping_Specific_Languages
  58. https://bootstrapping.miraheze.org/wiki/Investigate
  59. https://bootstrapping.miraheze.org/wiki/Projects_List
  60. https://bootstrapping.miraheze.org/wiki/Documents
  61. https://bootstrapping.miraheze.org/wiki/Forth
  62. https://bootstrapping.miraheze.org/wiki/Past_Research
  63. https://bootstrapping.miraheze.org/wiki/Discarded_options_and_why
  64. https://bootstrapping.miraheze.org/wiki/Main_Page?action=edit&section=3
  65. https://bootstrapping.miraheze.org/wiki/Groups
  66. https://bootstrapping.miraheze.org/wiki/Main_Page?action=edit&section=4
  67. ftp://publications.ai.mit.edu/ai-publications/pdf/AIM-039.pdf
  68. http://lambda-the-ultimate.org/node/3678
  69. https://github.com/aalhour/awesome-compilers
  70. https://en.wikipedia.org/wiki/Tombstone_diagram
  71. http://bootstrappable.org/
  72. https://www.freelists.org/archive/bootstrappable/
  73. https://github.com/cameronswinoga/yabfc/wiki/Generating-executable-files-from-scratch
  74. http://i.imgur.com/xMyblyM.png
  75. https://en.wikipedia.org/wiki/Cfront
  76. https://sourceware.org/glibc/wiki/FAQ#How_do_I_install_all_of_the_GNU_C_Library_project_libraries_that_I_just_built.3F
  77. http://ssw.jku.at/General/Staff/TW/FormCompilerVerificationACL2.pdf
  78. https://bootstrapping.miraheze.org/wiki/Main_Page?oldid=448
  79. https://meta.miraheze.org/wiki/Special:MyLanguage/Privacy_Policy#4._Cookies
  80. https://meta.miraheze.org/wiki/Special:MyLanguage/Privacy_Policy
  81. https://bootstrapping.miraheze.org/wiki/bootstrapping:About
  82. https://bootstrapping.miraheze.org/wiki/bootstrapping:General_disclaimer
  83. https://bootstrapping.miraheze.org/wiki/Main_Page?mobileaction=toggle_view_mobile
  84. https://meta.miraheze.org/wiki/Special:MyLanguage/Terms_of_Use
  85. https://meta.miraheze.org/wiki/Special:MyLanguage/Donate
  86. https://meta.miraheze.org/wiki/Special:MyLanguage/Miraheze
  87. https://www.mediawiki.org/
  88. https://creativecommons.org/licenses/by-sa/4.0/

   Hidden links:
  90. https://bootstrapping.miraheze.org/wiki/Main_Page
  91. https://bootstrapping.miraheze.org/wiki/Main_Page#Welcome_to_the_bootstrapping_wiki!
  92. https://bootstrapping.miraheze.org/wiki/Main_Page#Topics
  93. https://bootstrapping.miraheze.org/wiki/Main_Page#Groups
  94. https://bootstrapping.miraheze.org/wiki/Main_Page#Helpful_Links