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

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

  • cats
  • either
  • fp
  • functional

CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.

  • clang
  • cpp
  • c
  • clang-tidy

Functional programming library for TypeScript - https://gigobyte.github.io/purify/

  • typescript
  • algebraic-data-types
  • maybe
  • monad

Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.

  • typescript
  • typescript-library
  • typescript-definitions
  • functional-programming

🧙 meiga is a Python µframework that provides a simple, fully typed, monad-based result type ➡️ Result[Value, Error].

  • monads
  • result-type
  • typing
  • python

Go option and result types that optionally contain a value

  • golang
  • option
  • result
  • error

Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to real and complex analysis. [maintainer=@jmadiot]

  • coq
  • complex-analysis
  • real-analysis