Development repository for the Triton language and compiler
Repository Index
47,133 repositories indexed
1–24 of 155 · Most stars
An open source platform for Python in the browser. https://pyscript.net Docs: https://docs.pyscript.net/ Try it: https://pyscript.com/ Community: https://discord.gg/HxvBtukrg2
MJML: the only framework that makes responsive email easy
- mjml
- email-boilerplate
- responsive-email
Seamless operability between C++11 and Python
- python
- bindings
A declarative, HTML-based language that makes building web apps fun
- javascript
- ui-components
- dom
- vdom
Comlink makes WebWorkers enjoyable.
A configuration as code language with rich validation and tooling.
- pkl
- java
- kotlin
- config
A language for writing HTML user interfaces in Go.
- templating-languages
- ide-support
- lsp
- language-server
A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. All communication should be through the Lua mailing list https://www.lua.org/lua-l.html
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
- ocaml
- javascript
- reasonml
- reason
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr
Native Mac APIs for Go. Previously known as MacDriver
- golang
- apple
- macos
- objective-c
Confluent's Apache Kafka Golang client
- confluent
- golang
- golang-library
- golang-bindings
Build, bundle & ship your Rust WASM application to the web.
- rust
- wasm
- bundler
- assets
Database Markup Language (DBML), designed to define and document database structures
- dbx
- database-schema
- dbml
jank is the native Clojure dialect with seamless C++ interop.
Golang bindings of Sciter: the Embeddable HTML/CSS/script engine for modern UI development
- gui
- sciter
- tiscript
- htmlayout
Simple and fast HTML and XML parser
Floki is a simple HTML parser that enables search for nodes using CSS selectors.
- elixir
- html-parser
- css-selector
- floki
A markup-driven CSS orchestration language for developers and AI agents.
- css
- html
- responsive
- engine
A Graph Traversal Language (no longer active - see Apache TinkerPop)