Sign in

Repository Index

73,862 visible repositories in the index

Tags: Programming languages and compilers
Tags

A repository shows when it has any selected Tag.

Clear Tags
Filters

Filters

Clear all filters

481–504 of 610 · Most stars

Write parsers for arbitrary text inputs, entirely in Java, with no preprocessing phase

Translatedgo routine control, abstraction of the Main and some useful Executors. If you don't know how to manage Goroutines, use it

Compilation and Verification of Data-Centric Languages

  • verification
  • query-language
  • query-engine
  • functional-programming

The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical proofs, designed to help university students with learning how to prove mathematical statements.

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