Sign in

Repository Index

47,133 repositories indexed

Filters

Filters

Clear all filters

1–24 of 161 · 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

A configuration as code language with rich validation and tooling.

  • pkl
  • java
  • kotlin
  • config

fq - jq for binary formats. Tool, language and decoders for working with binary formats.

  • jq
  • binary
  • hexdump
  • go

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

  • ocaml
  • javascript
  • reasonml
  • reason

Open-source platform for building cross-platform native Mobile, Web, Desktop, and Embedded apps from a single C#/XAML codebase. Work from any IDE/CLI with Hot Reload, Visual Designer, MCPs, and Skills built for modern .NET workflows. 200M+ NuGet downloads.

Unified querying, transformation, and modification of JSON, TOML, YAML, XML, INI, HCL, KDL and CSV.

  • json
  • yaml
  • configuration
  • selector

TinyXML2 is a simple, small, efficient, C++ XML parser that can be easily integrated into other programs.

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.

:angel: The ultimate angle brackets parser library parsing HTML5, MathML, SVG and CSS to construct a DOM based on the official W3C specifications.

SwiftSoup: Pure Swift HTML Parser, with best of DOM, CSS, and jquery (Supports Linux, iOS, Mac, tvOS, watchOS)

  • swift
  • swiftsoup
  • parse
  • html-document