Pinned Repositories
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.
mynix
nixpkgs
Nix Packages collection
machinegun
Machinegun FSM processor
manik1337's Repositories
manik1337/mynix
manik1337/csclub-coq-course-spring-2021
A course on formal verification at https://compsciclub.ru, Spring term 2021
manik1337/dicon
Simple release deliverer for Elixir
manik1337/dlcourse_ai
Материалы курса Deep Learning на пальцах
manik1337/ecto
A toolkit for data mapping and language integrated query.
manik1337/elixir-chat-example
manik1337/eredis
Erlang Redis client. This is an actively maintained fork used and sponsored by Ericsson via Nordix Foundation.
manik1337/examples
A set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.
manik1337/nixpkgs
Nix Packages collection
manik1337/fpinscala
Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
manik1337/genlib
Things long time missing from stdlib
manik1337/msgpack-erlang
MessagePack (de)serializer implementation for Erlang / msgpack.org[Erlang]
manik1337/ocaml-effects-tutorial
Concurrent Programming with Effect Handlers (CUFP'17)
manik1337/ocaml5-tutorial
A hands-on tutorial on the new parallelism features in OCaml 5
manik1337/pajbot
Twitch moderation bot
manik1337/plfa.github.io
Introduction to programming language theory in Agda
manik1337/plugeth-plugins
A collection of official PluGeth plugins maintained by the Rivet team
manik1337/riak-erlang-client
The Riak client for Erlang.
manik1337/scala-bootcamp
Scala Bootcamp
manik1337/snowflake
Twitter's Snowflake UUID generator in Erlang.
manik1337/vscode_erlang
Erlang support for Visual Studio Code