-
-
-
-
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedMar 28, 2024 -
-
-
-
-
-
-
agda Public
Forked from justas68/agdaAgda is a dependently typed programming language / interactive theorem prover.
-
bencoding Public
Forked from pxqr/bencodingSerialization and deserealization of bencoded data used by bittorent protocol.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 8, 2020 -
-
plfa.github.io Public
Forked from plfa/plfa.github.ioIntroduction to programming language theory in Agda
Agda Creative Commons Attribution 4.0 International UpdatedOct 20, 2019 -
-
-
-
-
ScalaPB Public
Forked from scalapb/ScalaPBProtocol buffer compiler for Scala.
Scala Apache License 2.0 UpdatedDec 22, 2017 -
-
-
-
-
scalapb-json4s Public
Forked from scalapb/scalapb-json4sJson/Protobuf convertors for ScalaPB
Scala Apache License 2.0 UpdatedJul 16, 2017 -
-
kafka-el7-rpm Public
Forked from id/kafka-el7-rpmA set of scripts to package Apache Kafka into an rpm (CentOS/RedHat 7)
Makefile UpdatedSep 5, 2016 -
haskakafka Public
Forked from turtlesoupy/haskakafkaKafka bindings for Haskell
Haskell MIT License UpdatedAug 12, 2016 -
-
flink Public
Forked from apache/flinkMirror of Apache Flink
Java Apache License 2.0 UpdatedJun 22, 2016 -
huskysay Public
Haskell Ascii Say
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 19, 2016
{{ message }}