K1ll3rF0x/chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
Repositories
K1ll3rF0x/codebase-memory-mcp
High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in milliseconds. 155 languages, sub-ms queries, 99% fewer tokens. Single static binary, zero dependencies.
K1ll3rF0x/create-react-app
Create React apps with no build configuration.
K1ll3rF0x/agentbridge
IDE Agent for Copilot
K1ll3rF0x/npm-malwares
K1ll3rF0x/scripts-and-tools
This repo will contain some scripts I am using for various development and generic tasks on Linux
K1ll3rF0x/rest3d
REST3D PROJECT see www.rest3d.org
K1ll3rF0x/paintbots
Simple collaborative bot drawing "game"
K1ll3rF0x/http-kit
http-kit is a minimalist, event-driven, high-performance Clojure HTTP server/client library with WebSocket and asynchronous support
K1ll3rF0x/babashka
Native Clojure interpreter for scripting
K1ll3rF0x/data.nmea-0183
NMEA 0183 parser
K1ll3rF0x/figwheel-main
Figwheel Main provides tooling for developing ClojureScript applications
K1ll3rF0x/solita.github.com
Solita Developer Blog
K1ll3rF0x/cesium
An open-source JavaScript library for world-class 3D globes and maps :earth_americas:
K1ll3rF0x/conveyal-datatools-docker
K1ll3rF0x/reagent-cookbook
Examples of how to accomplish specific tasks in a Reagent webapp.
K1ll3rF0x/ValueFrame-time-tracker-helper
K1ll3rF0x/cljs-react-material-ui
Clojurescript library for using material-ui.com
K1ll3rF0x/sudoku
K1ll3rF0x/one-function-to-rule-them-all
K1ll3rF0x/looping-is-recursion
K1ll3rF0x/recursion
K1ll3rF0x/predicates
K1ll3rF0x/p-p-p-pokerface
K1ll3rF0x/structured-data
K1ll3rF0x/i-am-a-horse-in-the-land-of-booleans
K1ll3rF0x/training-day
K1ll3rF0x/webkit-webcl
WebKit WebCL
K1ll3rF0x/swagger-ui
Swagger UI is a dependency-free collection of HTML, Javascript, and CSS assets that dynamically generate beautiful documentation from a Swagger-compliant API.
K1ll3rF0x/flask-restful-swagger
A Swagger spec extractor for flask-restful