Sign in

Repository Index

59,132 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

121–144 of 186 · Most stars

A Music programming language. Translates source code into MIDI. Includes a player. Supports MIDI-Karaoke. Includes a MIDI analyzer.

  • midi
  • music-programming
  • karaoke
  • karaoke-player

Static & dynamic D bindings to SDL and the SDL_* libraries, compatible with BetterC, @nogc, and nothrow. (Mirror)

  • dlang
  • bindbc
  • sdl-mixer
  • sdl-image

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.

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

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.

UNIS: A Common Architecture for String Utilities within the Go Programming Language.

  • golang
  • string
  • utility-wrapper

extensible, type-and-source-polymorphic, non-linear applicative parser combinator library for F# 3.0 and 4.0

  • f-sharp
  • parser
  • combinator
  • library