Sign in

Repository Index

73,362 visible repositories in the index

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

97–120 of 1,038 · Most stars

SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.

The home of the CUE language! Validate and define text-based and dynamic configuration

🐼 Universal, Type-Safe, CSS-in-JS Framework for Design Systems ⚡️

  • css
  • styled-system
  • typescript
  • utility-classes

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

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!

Declarative data automation language and Go runtime for structured extraction workflows.

  • golang
  • query-language
  • dsl
  • go

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

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.