verona

ocsigen/lwt723

async lib

Concurrent programming library for OCaml

yairhalberstadt/fluentlang11

Research language

An experimental programming language designed to explore the intersection of structural typing, object-oriented programming, and functional programming.

aliceml/aliceml212

Concurrent programming language

A functional programming language with support for concurrent and distributed computing, extending Standard ML with various features.

tchajed/iris-simp-lang49

Concurrent programming verifier

Instantiates a simple programming language with Iris to verify concurrent separation logic programs

marcopennekamp/lore18

Programmable Language

A general-purpose programming language with multi-functions, structs, traits, and a static type system for functional and imperative programming.

niconex/tau59

Concurrent lang

A dynamically-typed concurrent programming language with minimalistic design and support for first-class functions, concurrency, error handling, and implicit return values.

iu-parfunc/lvars80

Concurrent program framework

Provides a data structure and framework for monotonically-growing concurrent programs

coq-concurrency/pluto86

Web server

A Coq-based web server written in a functional programming language

revsic/cpp-concurrency15

Concurrency framework

A C++ concurrency implementation inspired by Golang's style

jondgoodwin/cone529

Systems programming language

A systems programming language with features such as memory management and concurrency support.

marcoonroad/sporadic18

Concurrency library

A set of abstractions for concurrency and asynchronous programming in JavaScript

agronholm/anyio1.8K

Concurrency framework

A high-level asynchronous networking and concurrency framework that provides structured concurrency on top of asyncio or trio.

safareli/free58

Concurrency library

A library for combining parallel and sequential computations while maintaining the flexibility of a monadic programming paradigm.

dashbitco/broadway2.4K

Data processor

A concurrent and multi-stage data ingestion and processing framework in Elixir

uber-research/pplm1.1K

Language control system

An implementation of a plug-and-play language model that allows users to steer the topic and attributes of large language models.