An incremental parsing system for programming tools
- incremental
- parsing
- c
- tree-sitter
Repository Index
47,133 repositories indexed
1–24 of 58 · Most stars
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
⭐️ 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
A General-purpose Task-parallel Programming System in C++
- parallel-programming
- threadpool
- concurrent-programming
- high-performance-computing
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
Astrid is a portable, capability-secure operating system for composable software.
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
WebAssembly System Interface
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
Simple .INI file parser in C, good for embedded systems
- ini
- parser
- configparser
- embedded-systems
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
An updated version of GBDK, C compiler, assembler, linker and set of libraries for the Nintendo Gameboy, Nintendo Entertainment System, Sega Master System, Sega Game Gear.
- gameboy
- sdcc
- gbdk
List of Elixir books
- programming-elixir
- elixir
- programming-erlang
- erlang
Simplified nix packaging for various programming language ecosystems [maintainer=@DavHau]
Realtime Dynamic localization translation delivery system for iOS and Mac OSX in Swift. Create and update texts from localization.com without needing to recompile or redeploy. Cocapod for iOS devices (iPad, iPhone, iPod Touch and Mac)
- localization
- realtime
- cocoapods
- language
A pure Python HTML5 parser that just works. No C extensions to compile. No system dependencies to install. No complex API to learn.
A Comprehensive Coverage Testing System for The Go Programming Language
- go
- coverage-testing
- testing-tools
JSON parser and generator for C/C++ with scanf/printf like interface. Targeting embedded systems.
A framework for formally verifying distributed systems implementations in Coq
- verdi
- coq
- coq-library
- proof