Sign in

Repository Index

77,852 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

673–696 of 950 · 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.

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

  • csharp
  • dotnet
  • fsharp
  • mono

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

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

Gowl is a process management and process monitoring tool at once. An infinite worker pool gives you the ability to control the pool and processes and monitor their status.

  • golang
  • go
  • pooling
  • pool

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

  • community-driven
  • manifesto
  • coq

TxQuery component is a TDataSet descendant component that can be used to query one or more TDataSet descendant components using SQL statements. It is implemented in Delphi 100% source code, no DLL required, because it implements its own SQL syntax parser and SQL engine.