Functional reactive programming library for TypeScript and JavaScript
Repository Index
55,640 visible repositories in the index
73–96 of 764 · Most stars
Powerful scripting language & versatile interactive shell
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
Pony is an open-source, actor-model, capabilities-secure, high performance programming language
- pony-language
- pony-source
- ponyc
- programming-language
Duktape - embeddable Javascript engine with a focus on portability and compact footprint
- javascript-engine
- javascript
- duktape
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
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!
A Java to iOS Objective-C translation tool and runtime.
Declarative data automation language and Go runtime for structured extraction workflows.
- golang
- query-language
- dsl
- go
Performance-portable, length-agnostic SIMD with runtime dispatch
- simd
- simd-instructions
- simd-programming
- intrinsics
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
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
- typescript
- utility-types
- utilities
- static-typing
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
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
- php
- static-analysis
- phan
- analysis
Bash Infinity is a modern standard library / framework / boilerplate for Bash
Bolts is a collection of low-level libraries designed to make developing mobile apps easier.
:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
- grpc
- actor-model
- actors
- cross-platform
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
Lightweight, modular, and extensible library for functional programming.