A markup-based typesetting system that is powerful and easy to learn.
Repository Index
55,140 visible repositories in the index
1–19 of 19 · Most stars
PowerShell for every system!
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
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
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
The core OCaml system: compilers, runtime system, base libraries
- ocaml
- compiler
- functional-language
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!
The P programming language.
- asynchronous
- programming-language
- systematic-testing
- event-driven
An Optional Type System for Lua
Functional Reactive Programming domain-specific language for efficient hybrid systems
- haskell
- frp
- yampa
- game
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
The Frenetic Programming Language and Runtime System
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.
The 100% Pure x86-64 Assembly Systems Language
- assembler
- assembly
- assembly-lang
- assembly-language