JM Tech Power

JM Tech Power Web

7541 results for “See what each file will become”

github.com
GitHub - janestreet/bonsai: A library for building dynamic webapps, using Js_of_ocaml · GitHub
A library for building dynamic webapps, using Js_of_ocaml - janestreet/bonsai
github.com
base/md5/src at master · janestreet/base · GitHub
Standard library for OCaml. Contribute to janestreet/base development by creating an account on GitHub.
github.com
base/generate at master · janestreet/base · GitHub
Standard library for OCaml. Contribute to janestreet/base development by creating an account on GitHub.
github.com
verified-polygon-intersection/.claude at main · schildep/verified-polygon-intersection · GitHub
Formally verified polygon intersection. Contribute to schildep/verified-polygon-intersection development by creating an account on GitHub.
github.com
verified-polygon-intersection/scripts at main · schildep/verified-polygon-intersection · GitHub
Formally verified polygon intersection. Contribute to schildep/verified-polygon-intersection development by creating an account on GitHub.
marketplace.visualstudio.com
GitHub Copilot Chat - Visual Studio Marketplace
Extension for Visual Studio Code - AI chat features powered by Copilot
github.com
sem/assets at main · Ataraxy-Labs/sem · GitHub
Semantic version control => entity-level diffs, blame, and impact analysis on top of git. 28 languages via tree-sitter. Built for coding agents. - sem/assets at main · Ataraxy-Labs/sem
drewdevault.com
The forbidden topics
Drew's website Blog Recent articles ► The circus freaks of open source Vim Classic 8.3.0 released New blog design Add an LLM policy for rust-lang/rust I can't cancel GitHub Copilot Addressing the harassment Rewrote my blog with Zine tar: a
resources.github.com
Transforming application security with AI · GitHub Facebook X (formerly Twitter) LinkedIn Instagram TikTok Twitch
From prevention to remediation, AI-assisted tooling changes everything. The future of secure software development is here. Let’s dive in.
resources.github.com
Demo Day: Automating CI/CD and Security on a single platform with GitHub Enterprise · GitHub Facebook X (formerly Twitter) LinkedIn Instagram TikTok Twitch
Get hands-on support for code-to-cloud automation. Join us for a technical deep dive into GitHub Enterprise, plus how you can build, deploy, and secure your applications using GitHub Actions, Packages, and GitHub security alerts.
github.com
Sign up for GitHub · GitHub
GitHub is where people build software. More than 150 million people use GitHub to discover, fork, and contribute to over 420 million projects.
huggingface.co
merve (merve)
I love this website VLMs, vision & co
github.com
keybench/samples at master · guycipher/keybench · GitHub
A scriptable, extensible performance tool for sorted key value stores. - keybench/samples at master · guycipher/keybench
gwern.net
“Jacky Rabbit and the Empty Jam Pot”, by Gwern · Gwern.net
Writing exercise: a children’s story in 30 minutes or less.
github.com
History for demo.sh - Tako-Research/TakoVM · GitHub
A secure file system for your agents to execute code - History for demo.sh - Tako-Research/TakoVM
meatfighter.com
The MAD Turing's Maze
…o, Alfred E. Neuman ’s face, and Alfred E. Neuman’s motto, “What, me worry?”. This article recounts the labyrinthine journey taken to convert the MAD Computer Program into a Turing’s Maze . The result requires only about a minute of emulati
github.com
History for docker-compose.yaml - Tako-Research/TakoVM · GitHub
A secure file system for your agents to execute code - History for docker-compose.yaml - Tako-Research/TakoVM
github.com
astro-float/src at main · stencillogic/astro-float · GitHub
Arbitrary precision floating point numbers library - astro-float/src at main · stencillogic/astro-float
github.com
GitHub - powerline/fontpatcher: Script to patch arrow and symbol glyphs into fonts for usage with Powerline and other compatible plugins. · GitHub
Script to patch arrow and symbol glyphs into fonts for usage with Powerline and other compatible plugins. - powerline/fontpatcher
github.com
Rulesets · oproxy · GitHub
Open-source MITM proxy to intercept, inspect, and mock network traffic. - Rulesets · oproxy · sauravrao637/oproxy
Add a site to JM Search

JM Search crawls a curated set of sites. Submit one — an admin approves it, then it gets crawled.

Log in to submit a site.

Site owner? About JMSearchBot