The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
Repository Index
55,140 visible repositories in the index
25–48 of 79 · Most stars
Manifold is a Java compiler plugin, its features include Metaprogramming, Properties, Extension Methods, Operator Overloading, Templates, a Preprocessor, and more.
- java
- intellij
- json
- template-engine
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction
- programming-model
- parallel-computing
- c-plus-plus
- abstraction
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concurrent systems developed in C99+.
Blazingly fast and light-weight Actor engine written in Golang
- actor-model
- distributed-systems
- microservices
- fault-tolerance
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
- actors
- clustering
- proto-actor
- akka
Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala
- actor-model
- cloud-native
- concurrency
- distributed-actors
An optional type system for Clojure
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
Emgo: Bare metal Go (language for programming embedded systems)
High-performance, minimalist async-io (proactor) networking for Golang.
- asyncio
- proactor
- c10k
- epoll
A functional effect and streaming system for Clojure/Script
- clojure
- clojurescript
- reactive-streams
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
An Optional Type System for Lua
A lightweight Lua VM for the browser
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
Go bindings for H3, a hierarchical hexagonal geospatial indexing system
- spatial-indexing
- geospatial
- uber
- h3
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
- cil
- msil
- c
- csharp
A fork of Cliff Click's High Scale Library. Improved with bug fixes and a real build system.
[Go]Distributed Actor/Grain framework for Golang with goodies
- actor-model
- actors
- actorsystem
- golang
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
An inter-process and inter-machine lockfile utility that works on a local or network file system.
- lockfile
- atomic
- nodejs
- cross-process
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
High performance System.Threading.(Value)Task computation expressions for F#