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

💥 A Lodash-style Go library based on Go 1.18+ Generics (map, filter, contains, find...)

  • lodash
  • golang
  • go
  • generics

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

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

jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!

Library for interacting with LLVM IR in pure Go.

Yet Another LINQ to Objects for PHP [Simplified BSD]

  • linq
  • php
  • functional-programming
  • query

recursion schemes for cats; to iterate is human, to recurse, divine

  • scala
  • recursion-schemes
  • functional-programming

Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land

  • promise
  • fantasy-land
  • async
  • asynchronous