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

361–384 of 507 · Most stars

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

Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.

Compilation and Verification of Data-Centric Languages

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

A portable cross-platform pinvoke .NET wrapper around libsass to convert SCSS to CSS

  • libsass
  • dotnet
  • dotnet-standard
  • scss

dregex is a Java library that implements a regular expression engine using deterministic finite automata (DFA). It supports some Perl-style features and yet retains linear matching time, and also offers set operations.

  • scala
  • dfa
  • regular-expression
  • regular-expression-engine

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.