A language for writing HTML user interfaces in Go.
- templating-languages
- ide-support
- lsp
- language-server
Repository Index
47,133 repositories indexed
49–72 of 755 · Most stars
The single instruction C compiler
High-level tracing language for Linux
Astrid is a portable, capability-secure operating system for composable software.
xLua is a lua programming solution for C# ( Unity, .Net, Mono) , it supports android, ios, windows, linux, osx, etc.
ChakraCore is an open source Javascript engine with a C API.
- chakracore
- javascript-engine
- jsrt
- microsoft
A shell parser, formatter, and interpreter with bash and zsh support; includes shfmt
Hyperscript Tagged Markup: JSX alternative using standard tagged templates, with compiler support.
🚀 A fast WebAssembly interpreter and the most universal WASM runtime
Expression language and expression evaluation for Go
- configuration-language
- expression
- evaluator
- go
An extremely fast CSS parser, transformer, bundler, and minifier written in Rust.
Go package for computer vision using OpenCV 4 and beyond. Includes support for DNN, CUDA, OpenCV Contrib, and OpenVINO.
A fast type checker and language server for Python
C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
Powerful scripting language & versatile interactive shell
Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
- javaparser
- parser
- java
- javadoc
Event-driven networking engine written in Python.
- python
- twisted
- async
- async-python
Native Node bindings to Git.
- libgit2
- javascript
- nodegit
- git
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
SkiaSharp is a cross-platform 2D graphics API for .NET platforms based on Google's Skia Graphics Library. It provides a comprehensive 2D API that can be used across mobile, server and desktop models to render images.
Python for Windows (pywin32) Extensions
- python
- windows
LWJGL is a Java library that enables cross-platform access to popular native APIs useful in the development of graphics (OpenGL, Vulkan, bgfx), audio (OpenAL, Opus), parallel computing (OpenCL, CUDA) and XR (OpenVR, LibOVR, OpenXR) applications.
- lwjgl
- kotlin
- opengl
- opencl
Lightweight, modular, and extensible library for functional programming.
Run .NET and Node.js code in-process on Windows, MacOS, and Linux