MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
Repository Index
47,133 repositories indexed
1–24 of 29 · Most stars
⭐️ A friendly language for building type-safe, scalable systems!
- gleam
- programming-language
- compiler
- erlang
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.
- reactive
- distributed-systems
- concurrency
- high-performance
Cloud Native application framework for .NET
- actor-model
- distributed-actors
- distributed-systems
- cloud-computing
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin
- grpc
- actor-model
- actors
- cross-platform
An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.
- erlang
- golang
- elixir
- supervisor
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
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
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
Emgo: Bare metal Go (language for programming embedded systems)
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
IL2C - A translator for ECMA-335 CIL/MSIL to C language.
- cil
- msil
- c
- csharp
[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
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
A Simplest in-memory and Distributed Storage-Agnostic Message Queue for Your Concurrent Go Program
- concurrency
- go
- goroutine
- priority-queue
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
- raft
- verdi
- coq
- proof
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.