Sign in

Repository Index

56,638 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

241–264 of 484 · Most stars

BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

Wrapper around mono library. Allows easy loading and interop between code written for the .NET framework and Rust.

  • csharp
  • dotnet
  • fsharp
  • mono

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

  • v
  • webview
  • gtk
  • webkit

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs