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

1–20 of 20 · Most stars

A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

inkle's open source scripting language for writing interactive narrative.

An advanced, but easy to use, platform for writing functional applications in Java 8.

  • functional-programming
  • reactive-streams
  • monoid
  • streams

Tools for transparent data transformation

  • term-rewriting
  • logic-programming
  • unification
  • pattern-matching

Compiles C# code by first rewriting the syntax trees of LINQ expressions using plain procedural code, minimizing allocations and dynamic dispatch.

A high-level assembly language for writing homebrew software and games on retro console platforms.

The Ott tool for writing definitions of programming languages and calculi

Library for writing patterns to generate or process (a)musical sequences of mathematically (un)related (non-)compound values in Lisp.

  • supercollider
  • lisp
  • synth
  • sequencer

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

  • coq-plugin
  • coq-tactic
  • coq
  • docker-coq-action