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

409–432 of 554 · Most stars

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

  • libsass
  • dotnet
  • dotnet-standard
  • scss

CLAWK is an AWK implementation embedded into Common Lisp, by Michael Parker. This version contains some patches to make it compile again.

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

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

  • f-sharp
  • parser
  • combinator
  • library

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.

CrossPascal aims to be a Delphi 7 compatible cross-platform source-to-source compiler which generates intermediate C code.

A simple embeddable scripting language which supports concurrent event processing.