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 304 · Most stars

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.

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

  • csharp
  • dotnet
  • fsharp
  • mono

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

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

  • v
  • webview
  • gtk
  • webkit

`llthreads` library rewritten without `LuaNativeObjects` code generator

  • lua
  • threading
  • pthreads
  • lua-binding

AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL

  • aadl
  • ada

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

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

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

  • community-driven
  • manifesto
  • coq

Cojen/Maker is a lightweight, full-featured, low-level dynamic Java class generator designed for ease of use.

  • java-bytecode
  • invokedynamic
  • java
  • jvm-bytecode

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.