Mark
0 Followers · 0 Following
Repositories
16
 Projects Packages Public Activity Starred Repositories
6
Mark pushed to master at Mark/lamb 2022-10-21 19:13:19 -07:00
ef19fc42a6 Added support for curry shorthand
Mark pushed to master at Mark/lamb 2022-10-21 17:55:39 -07:00
3ff496e1d6 Added a few commands
84c5229fbf Updated README
a4af47435a Improved macro reduction
01632f6ec3 Updated README
696ede7a9c Added runstatus and prettified prompt
Compare 5 commits »
Mark pushed to master at Mark/lamb 2022-10-21 15:10:43 -07:00
92e741549f Removed image from README
Mark pushed to master at Mark/lamb 2022-10-21 15:09:16 -07:00
6a818b42fe Image size
Mark pushed to master at Mark/lamb 2022-10-21 15:07:45 -07:00
bcd7a9d888 Added README and icon
Mark pushed to master at Mark/lamb 2022-10-21 14:45:05 -07:00
1a4ed032c2 Added basic command handling
f8ff0a0c3e Changed parsing syntax
5f4f3db48f Improved reduction process
c671fc6f9a Added runner
9ed159dee9 Cleaned up greeting, add simple prompt, moved runner
Compare 5 commits »
Mark pushed to master at Mark/lamb 2022-10-20 14:07:31 -07:00
94f8963436 Added messy greeting
Mark created branch master in Mark/lamb 2022-10-20 11:04:02 -07:00
Mark pushed to master at Mark/lamb 2022-10-20 11:04:02 -07:00
99217297d2 Added basic lambda parser
d42b772092 Added metafiles
Mark created repository Mark/lamb 2022-10-20 11:03:47 -07:00
Mark pushed to master at Mark/docker 2022-10-13 12:45:40 -07:00
7e202aae3a Fixed a few errors
Mark pushed to master at Mark/docker 2022-10-13 07:59:16 -07:00
eb22f37654 Whitespace and gitignore
9ea5fe3b5f Added radicale container
Compare 2 commits »
Mark pushed to master at Mark/docker 2022-10-09 21:03:02 -07:00
8c323dd0d1 Moved files
67b30b37cb Added manim module
Compare 2 commits »
Mark transferred repository dotfiles/vim to Mark/vim 2022-10-07 22:08:02 -07:00
Mark opened issue Mark/awesomewm#15 2022-10-07 22:00:49 -07:00
Rofi dynamic config
Mark opened issue Mark/awesomewm#14 2022-10-07 21:58:36 -07:00
MPC CPU usage
Mark pushed to master at Mark/docker 2022-10-07 13:48:59 -07:00
e42d845d5a Minor changes
Mark pushed to master at Mark/awesomewm 2022-10-04 22:19:42 -07:00
35267764b6 Replaced mathwriter with latex
Mark pushed to master at Mark/docker 2022-10-01 21:44:47 -07:00
3e7bc08555 Removed selenium
Mark pushed to master at Mark/docker 2022-10-01 21:04:04 -07:00
b4659cd333 Added julia file
0d21666f7e updated README
Compare 2 commits »