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

169–192 of 257 · Most stars

Decorator which checks whether the function is called with the correct type of parameters.

  • python
  • type-checking
  • runtime-checking
  • typechecking

Elixir phone number parser for numbers in international standard.

  • phone
  • countries
  • international
  • elixir

Computer Graphics and Gaming API (Vulkan, OpenGL, GLFW, STB, ...) bindings for Java using Java 22 FFM APIs

  • glfw
  • glfw3
  • glfw3-bindings
  • java

Build simplified C#, dotnet execute with custom entry point, another dotnet run without a project file

  • csharp
  • dotnet
  • csharp-script
  • dotnet-exec

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

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

  • community-driven
  • manifesto
  • coq

Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.

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

  • libsass
  • dotnet
  • dotnet-standard
  • scss