coq-synthesis is a Coq plugin for proof generation and next tactic prediction

LM Studio JSON configuration file format and a collection of example config files.

Collection of LeetCode questions to ace the coding interview! - Created using [LeetHub](https://github.com/QasimWani/LeetHub)

A parser/validator for a document that describes the HTTP API dependencies that an application has.

Integrate cutting-edge LLM technology quickly and easily into your apps

Distributed PostgreSQL as an extension

This repo includes ChatGPT prompt curation to use ChatGPT and other LLM tools better.

Microsoft Graph Training Module - Build .NET apps with Microsoft Graph

A repository for notes on Agile Chartering and templates to use.

Generation of diagrams like flowcharts or sequence diagrams from text in a similar manner as markdown

Library to manage keys in Linux, MacOS and Windows.

Run NUnit tests in separate application domains for better isolation.

Rust for Windows

Microsoft Graph Client Library for Go

Turn your favourite regex into FAT32

Microsoft Graph metadata captured and used for generating client library code files.

Python programs, usually short, of considerable difficulty, to perfect particular skills.

Module for creating and displaying Toast Notifications on Microsoft Windows 10.

NLP tools for Turkish.

Hook and simulate global keyboard events on Windows and Linux.

Jargon from the functional programming world in simple terms!

z - jump around

A drawing program for exploring symmetrical designs

A tool to construct and explore polyhedra.

Machine learning, computer vision, statistics and general scientific computing for .NET

The SUPER BEST JSON file logging library for Node.js

VS Code plugin for F# development

Generate polished résumés and CVs in HTML, Markdown, LaTeX, MS Word, PDF, plain text, JSON, XML, YAML, smoke signal, and carrier pigeon.

Lightweight automation and productivity app for OS X