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

217–240 of 333 · Most stars

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

Kobby is a codegen plugin of Kotlin DSL Client by GraphQL schema. The generated DSL supports execution of complex GraphQL queries, mutation and subscriptions in Kotlin with syntax similar to native GraphQL syntax.

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

  • csharp
  • dotnet
  • fsharp
  • mono

This is the Ruby interface to LIBLINEAR (much more efficient than LIBSVM for text classification and other large linear classifications)

`llthreads` library rewritten without `LuaNativeObjects` code generator

  • lua
  • threading
  • pthreads
  • lua-binding

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

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

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