No need for pull requests, if you have access to this, go ahead and push to the default branch.
Work inside your own directory, but aside from that, go nuts!
Some project participants prefer to work within their existing GitHub repos:
forked from smucclaw/sandbox
-
Notifications
You must be signed in to change notification settings - Fork 0
verbman/smucclaw-sandbox
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Learning exercises, random art, and code that will never, ever go into production
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Grammatical Framework 71.6%
- C++ 17.4%
- TeX 3.2%
- Haskell 2.1%
- HTML 1.6%
- Lean 1.4%
- Other 2.7%