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/$%7Burl%7D?q=api&page=33&format=json

For typeahead suggestions, use the /typeahead endpoint:

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

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

Found 11767 results for "api"(1737ms)

myApi1 file match

@jasonwUpdated 1 year ago

myApi1 file match

@cufaoilUpdated 1 year ago

myApi1 file match

@AlexSwensenUpdated 1 year ago

myApi1 file match

@DateMapsUpdated 1 year ago

myApi1 file match

@lawrencewuUpdated 1 year ago

myApi1 file match

@jcroweUpdated 1 year ago

myApi1 file match

@dhayaUpdated 1 year ago

myApi1 file match

@cburgos0511Updated 1 year ago

myApi1 file match

@devgioUpdated 1 year ago

myApi2 file matches

@tamlynUpdated 1 year ago
19
20 // Get guild information to check for owner
21 const guildResponse = await fetch(`https://discord.com/api/v10/guilds/${guildId}`, {
22 headers: {
23 Authorization: `Bot ${token}`,
33
34 // Get member to check for administrator permissions
35 const memberResponse = await fetch(`https://discord.com/api/v10/guilds/${guildId}/members/${userId}`, {
36 headers: {
37 Authorization: `Bot ${token}`,
46
47 // Fetch all roles in the guild
48 const rolesResponse = await fetch(`https://discord.com/api/v10/guilds/${guildId}/roles`, {
49 headers: {
50 Authorization: `Bot ${token}`,
119 const token = Deno.env.get("DISCORD_BOT_TOKEN");
120 // First, get the role information to include in the response
121 const roleResponse = await fetch(`https://discord.com/api/v10/guilds/${guildId}/roles`, {
122 headers: {
123 Authorization: `Bot ${token}`,
132
133 // Get the member to check if they have the role
134 const memberResponse = await fetch(`https://discord.com/api/v10/guilds/${guildId}/members/${userId}`, {
135 headers: {
136 Authorization: `Bot ${token}`,
147 const action = hasRole ? "removed" : "added";
148 const toggleResponse = await fetch(
149 `https://discord.com/api/v10/guilds/${guildId}/members/${userId}/roles/${roleId}`,
150 {
151 method,
207
208 // Fetch all roles from the guild
209 const roleResponse = await fetch(`https://discord.com/api/v10/guilds/${guildId}/roles`, {
210 headers: {
211 Authorization: `Bot ${token}`,
19 console.log(`📤 Sending follow-up message: ${content}`);
20 try {
21 await fetch(`https://discord.com/api/v10/webhooks/${applicationId}/${interactionToken}/messages/@original`, {
22 method: "PATCH",
23 headers: {
papimark21
socialdata
Affordable & reliable alternative to Twitter API: ➡️ Access user profiles, tweets, followers & timeline data in real-time ➡️ Monitor profiles with nearly instant alerts for new tweets, follows & profile updates ➡️ Simple integration