manik1337

mynix

csclub-coq-course-spring-2021

A course on formal verification at https://compsciclub.ru, Spring term 2021

dicon

Simple release deliverer for Elixir

dlcourse_ai

Материалы курса Deep Learning на пальцах

ecto

A toolkit for data mapping and language integrated query.

elixir-chat-example

eredis

Erlang Redis client. This is an actively maintained fork used and sponsored by Ericsson via Nordix Foundation.

examples

A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.

nixpkgs

Nix Packages collection

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

genlib

Things long time missing from stdlib

msgpack-erlang

MessagePack (de)serializer implementation for Erlang / msgpack.org[Erlang]

ocaml-effects-tutorial

Concurrent Programming with Effect Handlers (CUFP'17)

ocaml5-tutorial

A hands-on tutorial on the new parallelism features in OCaml 5

pajbot

Twitch moderation bot

plfa.github.io

Introduction to programming language theory in Agda

plugeth-plugins

A collection of official PluGeth plugins maintained by the Rivet team

riak-erlang-client

The Riak client for Erlang.

scala-bootcamp

Scala Bootcamp

snowflake

Twitter's Snowflake UUID generator in Erlang.

vscode_erlang

Erlang support for Visual Studio Code