A language for writing HTML user interfaces in Go.
- templating-languages
- ide-support
- lsp
- language-server
Repository Index
56,638 visible repositories in the index
49–72 of 523 · Most stars
High-level tracing language for Linux
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Astrid is a portable, capability-secure operating system for composable software.
Lean 4 programming language and theorem prover
- lean4
- lean
The programming language for agents
- llm
- boundaryml
- guardrails
- structured-data
XGo is a programming language that reads like plain English. But it's also incredibly powerful — it lets you leverage assets from C/C++, Go, Python, and JavaScript/TypeScript, creating a unified software engineering ecosystem. Our vision is to enable everyone to become a builder of the world.
- data-science
- goplus
- scientific-computing
- stem-education
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
A strongly-typed language that compiles to JavaScript
- haskell
- purescript
- javascript
- typed-language
Probabilistic language based on pattern matching and constraint propagation, 153 examples
- algorithms
- csharp
- gamedev
- language
Transpile curl commands into Python, JavaScript and 27 other languages
- curl
- tree-sitter
The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.
- wren
- scripting-languages
- c
- fibers
Expression language and expression evaluation for Go
- configuration-language
- expression
- evaluator
- go
Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various cloud storage options, or alternatively, in local storage.
:electron: Build cross platform desktop apps with ASP.NET Core (Razor Pages, MVC, Blazor).
- electron
- dotnet
- dotnet-core
- dotnet-standard
Jsonnet - The data templating language
- jsonnet
- configuration
- config
- functional
Go package for computer vision using OpenCV 4 and beyond. Includes support for DNN, CUDA, OpenCV Contrib, and OpenVINO.
- opencv
- golang
- video
- computer-vision
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
Enso Analytics is a self-service data prep and analysis platform designed for data teams.
📦✨ your favorite rust -> wasm workflow tool!
Better tools for thought
A fast type checker and language server for Python
The most used, flexible, fast and streaming parser for multipart form data. Supports uploading to serverless environments, AWS S3, Azure, GCP or the filesystem. Used in production.
- form
- multipart-formdata
- multipart-parser
- incomingform