Automatable GenAI Scripting

Grammar Prompting for Domain-Specific Language Generation with Large Language Models

TypeChat is a library that makes it easy to build natural language interfaces using types.

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

Power Fx low-code programming language

This repository contains code and datasets related to entity/knowledge papers from the VERT (Versatile Entity Recognition & disambiguation Toolkit) project, by the Knowledge Computing group at Micr…

The world's fastest CRDT. WIP.

Sample code illustrating the VS Code extension API.

An Excel formula language parser, written in Typescript

A utf8 text rope for manipulating and editing large texts.

Repo hosts npm packages for monaco-languageclient, vscode-ws-jsonrpc, monaco-editor-wrapper, @typefox/monaco-editor-react and monaco-languageclient-examples

A library for incremental computations

Robust Distributed Programming Made Easy and Efficient

Paper, proofs, and code for "Complete Monitors for Gradual Types"

ECMAScript Proposal, specs, and reference implementation for Realms

Static Type Checker for Python

Library for building distributed, real-time collaborative web applications

The most popular type names on Definitely Typed

Add-in for Excel that finds formula errors

Incubation repository for the new TypeScript handbook 🐣

Koka language compiler and interpreter

Breaking change detector for npm

Sobering things about Excel

Learn about custom functions in Excel.

10 papers that all PhD students in programming languages ought to know, for some value of 10

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

📗 SheetJS Spreadsheet Data Toolkit -- New home https://git.sheetjs.com/SheetJS/sheetjs

Typed Racket