manik1337
Follow
-
-
scala-bootcamp Public
Forked from evolution-gaming/scala-bootcampScala Bootcamp
Scala UpdatedApr 14, 2023 -
fpinscala Public
Forked from fpinscala/fpinscalaCode, exercises, answers, and hints to go along with the book "Functional Programming in Scala"
Scala MIT License UpdatedNov 14, 2022 -
ocaml5-tutorial Public
Forked from ocaml-multicore/ocaml5-tutorialA hands-on tutorial on the new parallelism features in OCaml 5
OCaml MIT License UpdatedOct 24, 2022 -
plugeth-plugins Public
Forked from openrelayxyz/plugeth-pluginsA collection of official PluGeth plugins maintained by the Rivet team
Go UpdatedSep 15, 2022 -
ecto Public
Forked from elixir-ecto/ectoA toolkit for data mapping and language integrated query.
Elixir Apache License 2.0 UpdatedMay 30, 2022 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedFeb 4, 2022 -
csclub-coq-course-spring-2021 Public
Forked from anton-trunov/csclub-coq-course-spring-2021A course on formal verification at https://compsciclub.ru, Spring term 2021
HTML UpdatedApr 5, 2021 -
eredis Public
Forked from Nordix/eredisErlang Redis client. This is an actively maintained fork used and sponsored by Ericsson via Nordix Foundation.
Erlang MIT License UpdatedMar 3, 2021 -
ocaml-effects-tutorial Public
Forked from ocaml-multicore/ocaml-effects-tutorialConcurrent Programming with Effect Handlers (CUFP'17)
OCaml MIT License UpdatedFeb 19, 2021 -
examples Public
Forked from pytorch/examplesA set of examples around pytorch in Vision, Text, Reinforcement Learning, etc.
Python BSD 3-Clause "New" or "Revised" License UpdatedFeb 5, 2021 -
genlib Public
Forked from rbkmoney/genlibThings long time missing from stdlib
Erlang Mozilla Public License 2.0 UpdatedDec 7, 2020 -
vscode_erlang Public
Forked from pgourlain/vscode_erlangErlang support for Visual Studio Code
Erlang MIT License UpdatedSep 21, 2020 -
dlcourse_ai Public
Forked from sim0nsays/dlcourse_aiМатериалы курса Deep Learning на пальцах
Jupyter Notebook MIT License UpdatedSep 8, 2020 -
dicon Public
Forked from lexmag/diconSimple release deliverer for Elixir
Elixir ISC License UpdatedDec 30, 2018 -
plfa.github.io Public
Forked from plfa/plfa.github.ioIntroduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedDec 7, 2018 -
riak-erlang-client Public
Forked from basho/riak-erlang-clientThe Riak client for Erlang.
Erlang Apache License 2.0 UpdatedMar 1, 2017 -
msgpack-erlang Public
Forked from rbkmoney/msgpack-erlangMessagePack (de)serializer implementation for Erlang / msgpack.org[Erlang]
Erlang Other UpdatedFeb 21, 2017 -
snowflake Public
Forked from rbkmoney/snowflakeTwitter's Snowflake UUID generator in Erlang.
Erlang UpdatedFeb 15, 2017 -
-
pajbot Public
Forked from pajbot/pajbotTwitch moderation bot
Python MIT License UpdatedJan 26, 2016