| | Typical: Data interchange with algebraic data types (github.com/stepchowfun) |
|
1 point by 082349872349872 44 days ago | past
|
| | LRU Eviction of Docker Images (github.com/stepchowfun) |
|
1 point by agomez314 on Aug 18, 2023 | past
|
| | Typical: Data interchange with algebraic data types (github.com/stepchowfun) |
|
129 points by g0xA52A2A on May 21, 2023 | past | 50 comments
|
| | Typical Rusty: Data interchange with algebraic data types (github.com/stepchowfun) |
|
1 point by metadat on July 6, 2022 | past
|
| | Typical: Data interchange with algebraic data types (github.com/stepchowfun) |
|
2 points by todsacerdoti on July 6, 2022 | past
|
| | Tagref: Maintain cross-references in your code (github.com/stepchowfun) |
|
2 points by tsujp on Feb 5, 2022 | past
|
| | Tagref: Check cross-references in your code (github.com/stepchowfun) |
|
2 points by stepchowfun on Feb 5, 2022 | past
|
| | Toast: Containerize your development and CI environments (github.com/stepchowfun) |
|
8 points by stepchowfun on Feb 4, 2022 | past
|
| | Toast: A high-level containerized build system (github.com/stepchowfun) |
|
2 points by eternalban on Jan 17, 2022 | past
|
| | Typical: Data interchange with algebraic data types (github.com/stepchowfun) |
|
5 points by stepchowfun on Jan 16, 2022 | past
|
| | Toast: Containerize your development and CI environments (github.com/stepchowfun) |
|
3 points by sbt567 on Oct 12, 2021 | past
|
| | Tagref: refer to other parts of your codebase in a robust way (github.com/stepchowfun) |
|
3 points by curryhoward on Oct 13, 2020 | past
|
| | Docuum – LRU eviction of Docker images (github.com/stepchowfun) |
|
2 points by stepchowfun on Oct 10, 2020 | past
|
| | Toast is a tool for doing work in containers (github.com/stepchowfun) |
|
3 points by Chris2048 on Jan 22, 2020 | past
|
| | Show HN: Docuum – LRU Eviction of Docker Images (github.com/stepchowfun) |
|
10 points by curryhoward on Jan 8, 2020 | past
|
| | Toast: Containerize your development environment tool in Rust (github.com/stepchowfun) |
|
2 points by adamnemecek on May 28, 2019 | past
|
| | Toast: Containerize Your Development Environment (github.com/stepchowfun) |
|
2 points by UkiahSmith on May 28, 2019 | past
|
| | Show HN: Toast – A tool for running tasks in containers (github.com/stepchowfun) |
|
10 points by curryhoward on May 22, 2019 | past
|
| | A formally verified proof of the soundness of System F (github.com/stepchowfun) |
|
2 points by mmphosis on Feb 28, 2019 | past
|
| | Show HN: Noteref – Maintain references to notes in your codebase (github.com/stepchowfun) |
|
1 point by curryhoward on May 22, 2018 | past | 1 comment
|
| | Finding ambiguities in context-free grammars (github.com/stepchowfun) |
|
2 points by curryhoward on Jan 2, 2017 | past
|