Val Town Code SearchReturn to Val Town

API Access

You can access search results via JSON API by adding format=json to your query:

https://codesearch.val.run/$%7Bart_info.art.src%7D?q=fetch&page=11&format=json

For typeahead suggestions, use the /typeahead endpoint:

https://codesearch.val.run/typeahead?q=fetch

Returns an array of strings in format "username" or "username/projectName"

Found 8065 results for "fetch"(785ms)

proxyFetch82 file matches

@alp•Updated 1 year ago

fetchGHRepoInfo1 file match

@noartem•Updated 1 year ago

fetchCongressTradeReports1 file match

@nari•Updated 1 year ago

fetchAndStore2 file matches

@tal•Updated 1 year ago

fetchCongressTradeReports1 file match

@claytn•Updated 1 year ago

fetchCat1 file match

@cole•Updated 1 year ago

fetchRSS2 file matches

@stevekrouse•Updated 1 year ago

fetchXML2 file matches

@stevekrouse•Updated 1 year ago

proxyFetch92 file matches

@alp•Updated 1 year ago

testFetch1 file match

@ImGqb•Updated 1 year ago

FeedPondmain.js4 matches

@elouan•Updated 1 hour ago
2import { cleanupOldAggregatedEntries } from "./cleanup"; // For manual trigger
3import { initializeAggregatorDB } from "./db"; // Make sure DB is initialized
4import { fetchAndStoreNewCreations } from "./fetchAndStore"; // For manual trigger
5import { serveFrontend } from "./frontend";
6import { generateRSSFeed } from "./generateRSS";
15 console.log(`[${new Date().toISOString()}] Request: ${req.method} ${path}`);
16
17 // Add CORS headers - useful if you ever want to fetch feed via JS
18 const corsHeaders = {
19 "Access-Control-Allow-Origin": "*",
49 case "/_update":
50 console.log("Manual update triggered.");
51 const fetchRes = await fetchAndStoreNewCreations();
52 const cleanupRes = await cleanupOldAggregatedEntries();
53 response = Response.json({ ok: true, fetch: fetchRes, cleanup: cleanupRes }, { headers: corsHeaders });
54 break;
55

FeedPonddb.js1 match

@elouan•Updated 2 hours ago
3// Use a distinct table name for this aggregator instance
4export const AGGREGATOR_TABLE_NAME = "pondiverse_rss_aggregator_v2"; // Incremented version
5export const UPSTREAM_PONDIVERSE_URL = "https://pondiverse.com"; // URL for linking, not fetching
6
7export async function initializeAggregatorDB() {