Comments (2)
ahelwer
commented on July 17, 2024
@lemmy do you actually want to add all these feature tags? It's definitely doable in the manifest with tree-sitter queries.
from examples.
lemmy
commented on July 17, 2024
The intent of this issue is to allow the community to tag and categorize examples. Github Blocks (technical preview) look like a possible solution.
from examples.
Related Issues (20)
- Submodules vs. copying specs into the repo HOT 2
- Add support for Github Codespaces HOT 4
- ChangRoberts!TypeOK refers to non-existing PlusCal label "n2" HOT 7
- Add Raft spec with Apalache type annotations HOT 4
- More termination detection algorithms HOT 6
- Concurrent increments to a shared variable HOT 1
- Case study to share: Specifying and Verifying SDP Protocol based Zero Trust Architecture HOT 2
- Index examples in manifest.json HOT 13
- Models failing smoke testing HOT 6
- EWD998 spec fails parsing due to name collision between TLAPS and Community Modules HOT 1
- Specs failing proof validation HOT 13
- Enforce correspondence between manifest.json and README.md table in CI HOT 3
- Parameterize version of TLA+ tools used during CI run HOT 2
- Question about the specification of reliable broadcast algorithm by Bracha & Toueg (1985) HOT 8
- CI workflow fails on ubuntu HOT 7
- Do not suppress TLC output HOT 3
- Possible TLC regression on specifications/ewd998/EWD998ChanID.cfg HOT 7
- ERROR in specifications/SpecifyingSystems/Composing/CompositeFIFO.tla: In evaluation, the identifier in is either undefined or not an operator. HOT 1
- Remove deadlock flag in manifest.json in favor of `CHECK_DEADLOCK` in config file HOT 4
- Install TLA+ unicode converter into gitpod and codespaces HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from examples.