soma.cell

Programs: web

16 verified Soma programs in the web domain. Each page shows the source and what soma check, soma test, soma verify and soma run printed on it.

ProgramLinesUses
Mini blog API with tag filtering. Posts carry a list of tags;61HTTP routes, pipes (|>), match, lambdas
Form handler with server-side validation54HTTP routes, match
Counter API: a persistent integer counter exposed over HTTP68HTTP routes, match
Feature-flag service: toggle named flags on/off, query state, list all61HTTP routes, match
Guestbook: append-only signed entries, rendered as a small HTML page66HTTP routes, match
Key-value store API with namespaced keys and a bulk export endpoint65HTTP routes, match
Leaderboard API: submit a score, get the ranked top-N86HTTP routes, pipes (|>), match
Metrics / health endpoint. Every request bumps a request counter;63HTTP routes, match
CRUD JSON API over a persistent Map: notes with title + body77HTTP routes, match
Paginated product list: GET /products?page=N&size=M slices a stored list57HTTP routes, match
Voting / poll API: fixed options, one counter per option, results sorted63HTTP routes, pipes (|>), match, lambdas
Session/login toy: POST /login issues a token, GET /me/<token> returns the user, POST /logout invalidates it58HTTP routes, match
Multi-page static site: home, about, and a dynamic greeting route42HTTP routes, match
Todo service backed by a typed state machine (sum type TodoStatus)82a state machine, a sum type, HTTP routes, match
URL shortener: POST a long URL, get a short code; GET the code redirects75HTTP routes, match
Webhook receiver + event log. POST /hook/<source> appends an event;71HTTP routes, pipes (|>), match, lambdas