Sign in

Repository Index

59,132 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

265–288 of 389 · Most stars

Lightweight cURL wrapper for C# with support for curl_multi polling interface through libuv

  • curl
  • libcurl
  • libuv
  • multiprocessing

UNIS: A Common Architecture for String Utilities within the Go Programming Language.

  • golang
  • string
  • utility-wrapper

Simple and performant utilies using Go generics inspired by JavaScript and Python

  • golang
  • go
  • utilities
  • generics

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

  • libsass
  • dotnet
  • dotnet-standard
  • scss

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.