Sign in

Repository Index

47,133 repositories indexed

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

1–21 of 21 · Most stars

Tracking ECMAScript Proposals

  • proposal
  • ecmascript
  • javascript
  • spec

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

Password hashing specification for the Elixir programming language

  • argon2
  • bcrypt
  • pbkdf2
  • elixir

XSD (XML Schema Definition) parser and Go/C/Java/Rust/TypeScript code generator

  • xsd
  • xsd-schema
  • xml
  • xml-parser

Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.

  • cql
  • clinical-quality-language
  • cds
  • java

A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter

Formal specification and generation of verifiable binary parsers, message generators and protocol state machines

query language and terminal utility for querying and transforming Lisp, JSON and other text files. written in Common Lisp

  • common-lisp
  • domain-specific-languages
  • dsl
  • json

CGo bindings to Yandex.Mystem

  • russian-specific
  • mystem
  • cgo-bindings
  • linguistics

A concurrent toolkit to help execute funcs concurrently in an efficient and safe way. It supports specifying the overall timeout to avoid blocking.

  • golang
  • go
  • goroutine

TEXP is a domain specific language for producing TeX documents with Common Lisp.

  • tex
  • domain-specific-language