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 28 · Most stars

Netty project - an event-driven asynchronous network application framework

An actor-based Framework with network transparency for creating event-driven architecture in Golang. Inspired by Erlang. Zero dependencies.

  • erlang
  • golang
  • elixir
  • supervisor

Password hashing specification for the Elixir programming language

  • argon2
  • bcrypt
  • pbkdf2
  • elixir

Derives and generates mundane golang functions that you do not want to maintain yourself

  • golang
  • generator
  • deriving
  • functional-programming

Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.

  • algebraic-data-types
  • optics
  • functional-programming
  • algebra

Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^

A refined core library for D programming language. The module has concurrency / collections / event / io / logging / text / serialization and more.

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

  • community-driven
  • manifesto
  • coq