Beast code in Giters

Ignas Vyšniauskas's repositories

pierl

Asynchronous pi-calculus in Erlang

Language:ErlangISC13 10

cat-arrows

Categories, Arrows, Monads and some Haskell

3 3 3

protobuf-haskell

Mirror/fork of hprotoc / protocol-buffers darcs repo

Language:HaskellNOASSERTION2 10

idris-concstate-effect

an algebraic Effect in Idris for concurrent resource management

Language:C1 20

papers-we-love

Papers from the computer science community to read and discuss.

1 10

piqi-bin

Dummy repo for copying piqi from your PATH, alternative to https://github.com/alavrik/piqi-binary

Language:Erlang1 10

pyconlt-2015-gradual-typing-talk

PyConLT 2015 talk on Type Hints and mypy (in Lithuanian)

Language:CSS1 10

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.

NOASSERTION000

Detectron

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

Language:PythonApache-2.0010

docker-pushmi-pullyu

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

Language:Shell010

functional-vilnius.github.io

Website for Functional Vilnius

Language:Haskell010

happy

The Happy parser generator for Haskell

Language:HaskellNOASSERTION010

heroku-buildpack-erlang

Erlang buildpack

Language:Shell010

hoogle

Haskell API search engine

Language:HaskellBSD-3-Clause010

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION010

idris-emptycg

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

Language:HaskellNOASSERTION010

la-girafe-sportive

Coq-verified statements about lambda calculi.

010

lager

A logging framework for Erlang/OTP

Language:ErlangApache-2.0010

marky

A Markdown rendering wrapper for the EtherPad collaborative editor.

Language:JavaScript010

mouture

A semver 2.0.0 parser for Erlang

Language:ErlangISC010

obsidian-languagetool-plugin

languagetool plugin for obsidian

Language:TypeScript000

piqi

Serialization system for OCaml and Erlang, JSON-XML-Protocol Buffers data conversion, and more...

Language:OCamlApache-2.0010

piqi-deb

Debian packaging for the "piqi" command-line tool

Language:Shell010

piqi-erlang

Protocol Buffers, JSON, XML data serialization system for Erlang

Language:ErlangApache-2.0010

piqi-rpc

Multi-format RPC-over-HTTP system for Erlang (rebar package)

Language:Shell010

piqi-rpm

RPM packaging for the "piqi" command-line tool

010

pulseaudio-dlna

A lightweight streaming server which brings DLNA / UPNP and Chromecast support to PulseAudio and Linux

Language:PythonGPL-3.0010

sbt-native-packager

SBT Native Packager

Language:ScalaBSD-2-Clause010

scaladci

Exploring the DCI paradigm in Scala

Language:ScalaApache-2.0010

xmlgames

In search of the fastest XML parser

Language:Python010