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

745–768 of 1,152 · Most stars

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.

jnigen is a small library that can be used with or without libGDX which allows C/C++ code to be written inline with Java source code.

Reduce boilerplate in RxJava by abstracting chained operators like flatMap, concatMap, switchMap, or compose [STABLE]

Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.

  • baseline
  • cli
  • legacy-code
  • mypy

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

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

  • v
  • webview
  • gtk
  • webkit

🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].

  • monads
  • result-type
  • typing
  • python

`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