Sign in

Repository Index

86,076 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

697–720 of 928 · Most stars

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

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

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

Lightweight cURL wrapper for C# with support for curl_multi polling interface through libuv

  • curl
  • libcurl
  • libuv
  • multiprocessing

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.

Write parsers for arbitrary text inputs, entirely in Java, with no preprocessing phase

Go language extension that turns HTML templates into typed Go expressions with seamless editor support and an extensible rendering pipeline.