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

49–66 of 66 · Most stars

Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436

Erlang nif for xor_filter. 'Faster and Smaller Than Bloom and Cuckoo Filters'.

  • xor-filter
  • bloom-filter
  • erlang-nif
  • erlang

A utility library to write code in functional programming style in Javascript

  • functor
  • monads
  • curry
  • composition

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

  • coq
  • mathcomp
  • ssreflect
  • tarjan-algorithm