Duktape - embeddable Javascript engine with a focus on portability and compact footprint
- javascript-engine
- javascript
- duktape
Repository Index
81,588 visible repositories in the index
145–168 of 1,488 · Most stars
A fast, friendly, functional language.
- functional-language
- functional-programming
- language
- roc-lang
vʌvr (formerly called Javaslang) is a non-commercial, non-profit object-functional library that runs with Java 8+. It aims to reduce the lines of code and increase code quality.
- javaslang
- java
- functional-programming
- object-functional
Java 1-25 Parser and Abstract Syntax Tree for Java with advanced analysis functionalities.
- javaparser
- parser
- java
- javadoc
OpenCV wrapper for .NET
- opencv
- wrapper
- dotnet
- nuget
A statically typed lisp, without a GC, for real-time applications.
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!
VK-KittenPHP/DB/Engine suite
Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.
- parser
- parsing-library
- parser-library
- parsing-engine
Fast event-loop networking for Go
A personal experimental C++ Syntax 2 -> Syntax 1 compiler
Event-driven networking engine written in Python.
- python
- twisted
- async
- async-python
Translated📌 Asynchronous thread pool framework, support Thread Pool Dynamic Change & monitoring & Alarm, no need to modify the code easily introduced.
- java
- thread-pool
- dynamic
- monitor
JSqlParser parses an SQL statement and translate it into a hierarchy of Java classes. The generated hierarchy can be navigated using the Visitor Pattern
Performance-portable, length-agnostic SIMD with runtime dispatch
- simd
- simd-instructions
- simd-programming
- intrinsics
The repository host gives no description.
- openapi3
- json-schema
- protobuf
- typespec
Super-fast alternative to Babel for when you can target modern JS runtimes
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
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
Rhai - An embedded scripting language for Rust.
- scripting-engine
- embedded-scripting-language
- scripting-language
- no-std
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
- typescript
- utility-types
- utilities
- static-typing
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
QLExpress is a powerful, lightweight, dynamic language for the Java platform aimed at improving developers’ productivity in different business scenes.
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.