Sign in

Repository Index

78,351 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

337–360 of 420 · Most stars

Translatedgo routine control, abstraction of the Main and some useful Executors. If you don't know how to manage Goroutines, use it

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.

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436