A markup-based typesetting system that is powerful and easy to learn.
Repository Index
55,140 visible repositories in the index
1–24 of 79 · Most stars
PowerShell for every system!
An incremental parsing system for programming tools
- incremental
- parsing
- c
- tree-sitter
MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems
- micropython
- python
- embedded
- microcontroller
⭐️ 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).
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
- markdown
- markup-language
- paper
- scripting-language
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.
XGo is a programming language that reads like plain English. But it's also incredibly powerful — it lets you leverage assets from C/C++, Go, Python, and JavaScript/TypeScript, creating a unified software engineering ecosystem. Our vision is to enable everyone to become a builder of the world.
- data-science
- goplus
- scientific-computing
- stem-education
Powerful REPL for the Laravel framework.
The most used, flexible, fast and streaming parser for multipart form data. Supports uploading to serverless environments, AWS S3, Azure, GCP or the filesystem. Used in production.
- form
- multipart-formdata
- multipart-parser
- incomingform
🐼 Chinese translations for classic software development resources
- translation
- chinese-translation
- lisp
- erlang
The core OCaml system: compilers, runtime system, base libraries
- ocaml
- compiler
- functional-language
🐼 Universal, Type-Safe, CSS-in-JS Framework for Design Systems ⚡️
- css
- styled-system
- typescript
- utility-classes
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and cross-platform reactive GUI, while providing modern support for concurrency, all in a zero-install, zero-config, single ~1MB file!
WebAssembly System Interface
- wasi
- http
- webassembly
- os
The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.
- plugin-system
- c
- cpp
- go
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