Sign in

Repository Index

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

577–600 of 930 · Most stars

[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

Human-readable schedule expressions for .NET (C#): write "every day at 9am except sunday" instead of cron. Time zones, fluent builder, custom keywords, cron converter.

  • cron
  • csharp
  • date-time
  • dotnet

First-class patterns for Clojure. Made with love, functions, and just the right amount of syntax.

  • clojure
  • pattern-matching
  • functional-programming