yfyf Goto Github PK

8-myths-of-erlang

This repo is an attempt to bust the 8 myths of Erlang performance using the Perforator tool.

airbyte

The leading data integration platform for ETL / ELT data pipelines from APIs, databases & files to data warehouses, data lakes & data lakehouses. Both self-hosted and Cloud-hosted.

cat-arrows

Categories, Arrows, Monads and some Haskell

couchbeam

Erlang Couchdb kit.

cowboy

Small, fast, modular HTTP server and socket acceptor pool.

detectron

FAIR's research platform for object detection research, implementing popular algorithms like Mask R-CNN and RetinaNet.

docker-pushmi-pullyu

Copy a Docker image directly to a remote host without using Docker Hub or a hosted registry.

eunit

The EUnit lightweight unit testing framework for Erlang - this is the canonical development repository.

foobar-plugin

Demo repo for rebar plugin issues

functional-vilnius.github.io

Website for Functional Vilnius

happy

The Happy parser generator for Haskell

heroku-buildpack-erlang

Erlang buildpack

hoogle

Haskell API search engine

idris-concstate-effect

an algebraic Effect in Idris for concurrent resource management

idris-course

Embarrassing myself in public while trying to do Dependently Typed programming

idris-dev

A Dependently Typed Functional Programming Language

idris-emptycg

An empty code generator, to be used as a starting point for any new back ends.

kerl

Easy building and installing of Erlang/OTP instances

la-girafe-sportive

Coq-verified statements about lambda calculi.

lager

A logging framework for Erlang/OTP

lager_syslog

Syslog backend for lager

lecture_notes

LaTeX sources of notes

marky

A Markdown rendering wrapper for the EtherPad collaborative editor.

mouture

A semver 2.0.0 parser for Erlang

obsidian-languagetool-plugin

languagetool plugin for obsidian

papers-we-love

Papers from the computer science community to read and discuss.

parse_trans

Parse transform utilities for Erlang

parsexml

super simple XML to proplist parser

perforator

Performance unit testing library for Erlang

perforator2