Pinned Repositories
open-llm-repl
REPL for playing with open source LLMs
FluidFramework
Library for building distributed, real-time collaborative web applications
TypeAgent
Sample code that explores an architecture for using TypeChat to build a personal agent that can work with application agents.
TypeChat
TypeChat is a library that makes it easy to build natural language interfaces using types.
TypeScript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TypeScript-Sublime-Plugin
IO wrapper around TypeScript language services, allowing for easy consumption by editor plugins
elec
electron, typescript and webpack
lean
Lean Theorem Prover
precomp
Programming skills pre-requisite for writing a compiler
vscode
Visual Studio Code
steveluc's Repositories
steveluc/elec
electron, typescript and webpack
steveluc/vscode
Visual Studio Code
steveluc/lean
Lean Theorem Prover
steveluc/precomp
Programming skills pre-requisite for writing a compiler