This website requires JavaScript.
Explore
Help
Sign In
Mark
0 Followers
·
0 Following
https://betalupi.com
Joined on
2021-04-09
Block a user
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
User to block:
Optional note:
The note is not visible to the blocked user.
Cancel
Block
Repositories
15
Projects
Packages
Public Activity
Starred Repositories
6
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 »
Mark
pushed to
master
at
Mark/docker
2022-10-01 19:11:55 -07:00
2161ca9805
Updated build script
e62e2c2919
Added config volume
Compare 2 commits »
Mark
pushed to
master
at
Mark/docker
2022-10-01 18:21:39 -07:00
f06f00188c
fixed a typo
Mark
pushed to
master
at
Mark/docker
2022-10-01 17:56:22 -07:00
ab9c24397a
Updated readme
Mark
pushed to
master
at
Mark/docker
2022-10-01 17:32:30 -07:00
846365cb2b
added sage build
First
Previous
...
29
30
31
32
33
...
Next
Last