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–11 of 11 · Most stars

High performance System.Threading.(Value)Task computation expressions for F#

[TOOL/CLI] - Filter and examine Go type structures, interfaces and their transitive dependencies and relationships. Export structural types as TypeScript value object or bare type representations.

  • go
  • golang
  • type
  • struct

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  • raft
  • verdi
  • coq
  • proof

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

  • parsing
  • python
  • typechecking
  • runtime-typechecking

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

  • supercollider
  • lisp
  • synth
  • sequencer