Skip to content

Commit

Permalink
Merge remote-tracking branch 'refs/remotes/origin/master'
Browse files Browse the repository at this point in the history
  • Loading branch information
pad committed Apr 14, 2024
2 parents 8e5342e + fc10ebc commit d582cba
Show file tree
Hide file tree
Showing 3 changed files with 11 additions and 0 deletions.
4 changes: 4 additions & 0 deletions docs/principia/Principia.nw
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,10 @@
% recent links:
% - https://github.com/oasislinux/oasis minimal-oriented linux distro,
% with lots of simpler variants of big libs (e.g., musl not glibc)
% - https://github.com/danistefanovic/build-your-own-x
% - https://github.com/mit-pdos/xv6-riscv
% - https://aquadzn.github.io/learn-x-by-doing-y/ lots of cool tutorial
% on how to build zip from scratch, HN clone, etc.
% - https://c9x.me/ mini editor, yacc, C compiler, etc.
% - http://nandgame.com/ WEBUI following nand-2-tetris but gamified a bit
% - https://web.eecs.utk.edu/~azh/blog/challengingprojects.html
Expand Down
3 changes: 3 additions & 0 deletions profilers/Profiler.nw
Original file line number Diff line number Diff line change
@@ -1,5 +1,8 @@
\documentclass[12pt]{report}

%last:
% - https://www.markhansen.co.nz/profilerpedia/

%******************************************************************************
% Prelude
%******************************************************************************
Expand Down
4 changes: 4 additions & 0 deletions shells/Shell.nw
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,10 @@
% - https://elv.sh/
% - https://www.oilshell.org/
% - https://www.micahlerner.com/2021/07/14/unix-shell-programming-the-next-50-years.html
% https://github.com/oilshell/oil/wiki/Alternative-Shells
% choc programming language shell (see pdf in principa-project/Shells/)

% https://angelhof.github.io/files/papers/shell-2021-hotos.pdf

\input{../docs/latex/Packages}
\input{../docs/latex/Config}
Expand Down

0 comments on commit d582cba

Please sign in to comment.