Logic programming in Swift
- swift
- kanren
- logic-programming
- solver
Repository Index
69,734 visible repositories in the index
12,409–12,432 of 17,661 · Most stars
TranslatedDesktop automation for DeepSeek Harness: giving an entire Windows machine eyes and hands. It can do anything a person can do, including but not limited to CAD, WPS, browser operations, and sending WeChat messages. Safe, fast, reliable, smart, and user-friendly.
- ai-agent
- computer-use
- deepseek-harness
- desktop-automation
An agent skill for finding promising X conversations and drafting replies people have a reason to answer or share.
HTTP mock for Golang: record and replay HTTP/HTTPS interactions for offline testing
Simplify software testing, by easily mocking any system using HTTP/HTTPS, allowing a team to test and develop against a service that is not complete or is unstable or just to reproduce planned/edge cases.
Deepinfer inspired implemetation on SM80 Ampere architecture. Deepest respect for DeepSeek opensource this work!
McReplay（麦回放）— Structural snapshots, change reports, and local MCP replay for McDonald's China integrations.
TranslatedCaptcha recognition implemented with a convolutional neural network
- neural-network
- cnn-keras
- tensorflow
Word-generator based on per-position markov-chains
Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)
- calculus
- counting
- functions
- graph
Effortless Icon Packs & Components for Svelte, React, Vue and more..
Oxygen Not Included's Unity layer on the BRUTAL framework, .NET 10 CoreCLR. On a late-game colony the game runs at up to 13× the original's frame rate
- brutal
- coreclr
- dotnet
- game-engine
TranslatedTurns a game controller into keyboard shortcuts on Windows. Maps gamepad buttons to keyboard shortcuts, with support for scripts, macros, and fine joystick control
Micon, The iconic windows 10 font and CSS toolkit.
Open-source Windows download manager with browser video integration
- chrome-extension
- download-manager
- electron
- open-source
A Low-Latency, High Performance and Extensible WebAssembly Backend Library
Tools for working with GTFS public transit data in ArcGIS
- spatial-analysis
- data-management
- gtfs
- gtfs-rt
Rocq plugin embedding Elpi
- coq
- metaprogramming
- extension-language
- lambda-prolog
A Highly Accessible and Automated Virtualization Platform for Security Education
- cybersecurity
- virtualization
- docker
- virtualbox
A Pico-8 library of useful common functions.
Probabilistic cell segmentation for in situ spatial transcriptomics
Sloth - an extension slowing down page loading to bring real user experience
- chrome-extension
- devtools
- sloth
- productivity
A general library for geometry operations of union, intersections, difference, and xor
- computational-geometry
- union
- intersection
- xor
Loading animations :cyclone: by using Swift CALayer