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

49–61 of 61 · Most stars

V binding for webview - a tiny cross-platform library to build modern cross-platform GUI applications.

  • v
  • webview
  • gtk
  • webkit

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

  • libsass
  • dotnet
  • dotnet-standard
  • scss

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

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action

A cross-platform utility library for V to open system dialogs - open files, message boxes, color-pickers etc.

D bindings for the sokol headers (https://github.com/floooh/sokol)

  • bindings
  • d
  • dlang
  • sokol