Sarvex β Jatasra's Projects
Expanding upon the ideals of https://picocss.com, with icons and helper variables
An implementation of miniKanren over microKanren in extempore
An implementation of Β΅Kanren for Pharo
Prolog implementation of microKanren
An implementation of microKanren in Shen
porting the Scheme microKanren logic programming system to JavaScript
Microcode parser for AMD, Intel, and VIA processors
A JS implementation of microKanren with a focus on inspecting programs as they run
Sample queries for Advanced hunting in Microsoft 365 Defender
Source code behind the Microsoft Research project Ada
Information from Microsoft about the PDB format. We'll try to keep this up to date. Just trying to help the CLANG/LLVM community get onto Windows.
A simple bot that uses Selenium to farm Microsoft Rewards written in Python
A .NET app to farm Microsoft/Bing Rewards points.
Windows UI Library: the latest Windows 10 native controls and Fluent styles for your applications
A simple hosts picker for Microsoft Services
Microsoft MPI
An Unreal Engine game plugin providing additional features available on Microsoft's Mixed Reality devices like the HoloLens 2 when using OpenXR.
Free, open source game engine online
Croquet Microverse Alpha (obsolete)
Unified abstraction layer and HAL for several microcontrollers
Hand-crafted frontend development
A reference containing Styles and Keywords that you can use with MidJourney AI. There are also pages showing resolution comparison, image weights, and much more!
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
πΌ Plugin driven WYSIWYG markdown editor framework.
An open source vector database powered by Faiss, NMSLIB and Annoy
Dealing with all unstructured data, such as reverse image search, audio search, molecular search, video analysis, question and answer systems, NLP, etc.
Knowhere is an open-source vector search engine, integrating FAISS, HNSW, etc.
mimalloc is a compact general purpose allocator with excellent performance.
Utility for creating RFC-compliant multipart and form-encoded HTTP request bodies.
A fast, minimal browser that protects your privacy