Emgo: Bare metal Go (language for programming embedded systems)
Repository Index
47,133 repositories indexed
25–48 of 69 · Most stars
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
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.
The Universal Device Detection library will parse any User Agent and detect the browser, operating system, device used (desktop, tablet, mobile, tv, cars, console, etc.), brand and model.
- c-sharp
- dotnet
- detection-library
- user-agent
[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#
F# computation expression builder for System.Threading.Tasks
- fsharp
- task
- computation-expressions
- async
The Frenetic Programming Language and Runtime System
A formalization of geometry in Coq based on Tarski's axiom system
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
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
.NET wrapper around the LibSass library with the ability to support a virtual file system.
Flowgraph package for scalable asynchronous system development
- dataflow
- scalable
- distributed
The Byron project is a community-driven Ada compiler, toolchain, and IDE-system.
Recursion schemes for Idris
- idris
- recursion-schemes
- idris-ecosystem
- control-flow