Kotlin code completion, diagnostics and more for any editor/IDE
General plug-and-play inference library for Recursive Language Models
Lean 4 programming language and theorem prover
The Python programming language
Bootstrapping LISP in a Boot Sector
An updated version of the classic "Basic Computer Games" book
Starlark in Go: the Starlark configuration language, implemented in Go
Access large language models from the command-line
A Lua implementation for the Dynamic Language Runtime (DLR)
An extremely fast Python type checker and language server
The only framework that makes responsive-email easy
Dynamic, functional language designed for building scalable apps
Localization of the application with ability to change language
Transpiler of Python to many other languages
A set of tools that keep Java sweet
Quickstart configs for Nvim LSP
A library and language for building parsers, interpreters, compilers
Simple and Fast Multimedia Library
Free Google Translate API PHP Package
Multi-Language Backend Framework that unifies APIs
LYGIA, it's a granular and multi-language (GLSL, HLSL, WGSL, MSL, etc.
JavaScript in-page GUI agent. Control web interfaces
Official inference framework for 1-bit LLMs
The Zoo Design Studio app
Lightweight, robust, elegant syntax highlighting