A markup-based typesetting system that is powerful and easy to learn.
Repository Index
72,862 visible repositories in the index
1–24 of 30 · Most stars
🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.
- markdown
- markup-language
- paper
- scripting-language
A declarative, HTML-based language that makes building web apps fun
- javascript
- ui-components
- dom
- vdom
Probabilistic language based on pattern matching and constraint propagation, 153 examples
- algorithms
- csharp
- gamedev
- language
The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language.
- wren
- scripting-languages
- c
- fibers
Better tools for thought
Arnold Schwarzenegger based programming language
The core OCaml system: compilers, runtime system, base libraries
- ocaml
- compiler
- functional-language
The home of the CUE language! Validate and define text-based and dynamic configuration
- data
- validation
- configuration
- kubernetes
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.
prototype of stream based programming language
Database Markup Language (DBML), designed to define and document database structures
- dbx
- database-schema
- dbml
GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and window functions and allow customization like user-defined types and functions
Open-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and backend developers can collaborate on the same visual flows.
- flow-based-programming
- visual-programming
- vscode
- visual-programming-editor
Zephir is a compiled high-level language aimed to ease the creation of C-extensions for PHP
- zephir
- phalcon
- php-internals
- php-extension
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
Malloy is a modern open source language for describing data relationships and transformations.
An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
- language
- tlaplus
- quint
- apalache
Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.
- gno
- gnoland
- gnolang
- bft
WATSON: Wasted but Amazing Turing-incomplete Stack-based Object Notation
- esolang
- esoteric-language
- serialization
- encoding
TypeQL: Built for systems, not records
- reasoning
- query-language
- query
- inference
This is an engine that converts data of one structure to another, based on a configuration file which describes how. There is an accompanying syntax to make writing mappings easier and more robust.
A concise and readable language for Firestore security rules, similar to Firebase Bolt.
- firebase-firestore
- haskell
- typescript
- parser-combinators