Boa is an embeddable Javascript engine written in Rust.
- rust
- javascript-engine
- interpreter
- javascript-interpreter
Repository Index
62,771 visible repositories in the index
25–48 of 190 · Most stars
:electron: Build cross platform desktop apps with ASP.NET Core (Razor Pages, MVC, Blazor).
- electron
- dotnet
- dotnet-core
- dotnet-standard
Go package for computer vision using OpenCV 4 and beyond. Includes support for DNN, CUDA, OpenCV Contrib, and OpenVINO.
- opencv
- golang
- video
- computer-vision
🐼 Chinese translations for classic software development resources
- translation
- chinese-translation
- lisp
- erlang
Light LDAP implementation
- authentication
- ldap
- opaque
- rust
The perfect companion for your Kotlin journey - Inspired by functional, data-oriented and concurrent programming
- functional-programming
- kotlin-library
- monads
- functional-data-structure
wazero: the zero dependency WebAssembly runtime for Go developers
- golang
- go
- wasm
- wasi
High performance, maintainable stylesheets.
🐼 Universal, Type-Safe, CSS-in-JS Framework for Design Systems ⚡️
- css
- styled-system
- typescript
- utility-classes
WebAssembly Micro Runtime (WAMR)
- wasm
- runtime
- interpreter
- aot
JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern
WebAssembly System Interface
- wasi
- http
- webassembly
- os
Modern concurrency tools including agents, futures, promises, thread pools, supervisors, and more. Inspired by Erlang, Clojure, Scala, Go, Java, JavaScript, and classic concurrency patterns.
- concurrency
- ruby
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
- plugin-system
- c
- cpp
- go
Rhai - An embedded scripting language for Rust.
- scripting-engine
- embedded-scripting-language
- scripting-language
- no-std
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
The high-speed OpenGL, OpenCL, OpenAL, OpenXR, GLFW, SDL, Vulkan, Assimp, WebGPU, and DirectX bindings library your mother warned you about.
Lunatic is an Erlang-inspired runtime for WebAssembly
- vm
- webassembly
- erlang
- actors
Low-latency machine code generation
- x86
- x86-64
- jit
- assembler
:zap: Walt is a JavaScript-like syntax for WebAssembly text format :zap:
- compiler
- webassembly
- javascript
Build, bundle & ship your Rust WASM application to the web.
- rust
- wasm
- bundler
- assets
The reference implementation of Sass, written in Dart.
A very fast linker for Linux and WebAssembly
A library for calling C functions from Go without Cgo
- cgo
- go
- golang
- purego