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

25–44 of 44 · Most stars

A Rocq formalization of information theory and linear error-correcting codes

  • information-theory
  • error-correcting-codes
  • probability
  • convexity

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

  • libsass
  • dotnet
  • dotnet-standard
  • scss

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

Go utility library for convenient looping using Go's range-over-func feature

  • golang

This is a program to help the conversion of Visual Basic Microsoft Windows Forms to Glade, the GTK User Interface Designer tool.