yfyf

Vilnius

Pinned Repositories

la-girafe-sportive
Coq-verified statements about lambda calculi.
Language:Coq3 4 12
8-myths-of-erlang
This repo is an attempt to bust the 8 myths of Erlang performance using the Perforator tool.
20
cat-arrows
Categories, Arrows, Monads and some Haskell
3 3 30
idris-concstate-effect
an algebraic Effect in Idris for concurrent resource management
Language:C1 2 00
parsexml
super simple XML to proplist parser
Language:Erlang5 2 01
perforator
Performance unit testing library for Erlang
Language:Erlang51
pierl
Asynchronous pi-calculus in Erlang
Language:Erlang13 1 01
protobuf-haskell
Mirror/fork of hprotoc / protocol-buffers darcs repo
Language:Haskell2 1 00

yfyf's Repositories

yfyf/pierl
Asynchronous pi-calculus in Erlang
Language:Erlang13 1 01
yfyf/cat-arrows
Categories, Arrows, Monads and some Haskell
3 3 30
yfyf/protobuf-haskell
Mirror/fork of hprotoc / protocol-buffers darcs repo
Language:Haskell2 1 00
yfyf/idris-concstate-effect
an algebraic Effect in Idris for concurrent resource management
Language:C1 2 00
yfyf/papers-we-love
Papers from the computer science community to read and discuss.
1 1 0
yfyf/piqi-bin
Dummy repo for copying piqi from your PATH, alternative to https://github.com/alavrik/piqi-binary
Language:Erlang1 1 01
yfyf/pyconlt-2015-gradual-typing-talk
PyConLT 2015 talk on Type Hints and mypy (in Lithuanian)
Language:CSS1 1 0
yfyf/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.
yfyf/Detectron
FAIR's research platform for object detection research, implementing popular algorithms like Mask R-CNN and RetinaNet.
Language:Python1 0
yfyf/docker-pushmi-pullyu
Copy a Docker image directly to a remote host without using Docker Hub or a hosted registry.
Language:Shell1 0
yfyf/functional-vilnius.github.io
Website for Functional Vilnius
Language:Haskell1 0
yfyf/happy
The Happy parser generator for Haskell
Language:Haskell1 0
yfyf/heroku-buildpack-erlang
Erlang buildpack
Language:Shell1 0
yfyf/hoogle
Haskell API search engine
Language:Haskell1 0
yfyf/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell1 0
yfyf/idris-emptycg
An empty code generator, to be used as a starting point for any new back ends.
Language:Haskell1 0
yfyf/la-girafe-sportive
Coq-verified statements about lambda calculi.
1 0
yfyf/lager
A logging framework for Erlang/OTP
Language:Erlang1 0
yfyf/marky
A Markdown rendering wrapper for the EtherPad collaborative editor.
Language:JavaScript1 0
yfyf/mouture
A semver 2.0.0 parser for Erlang
Language:Erlang1 0
yfyf/obsidian-languagetool-plugin
languagetool plugin for obsidian
Language:TypeScript0 0
yfyf/piqi
Serialization system for OCaml and Erlang, JSON-XML-Protocol Buffers data conversion, and more...
Language:OCaml1 0
yfyf/piqi-deb
Debian packaging for the "piqi" command-line tool
Language:Shell1 0
yfyf/piqi-erlang
Protocol Buffers, JSON, XML data serialization system for Erlang
Language:Erlang1 0
yfyf/piqi-rpc
Multi-format RPC-over-HTTP system for Erlang (rebar package)
Language:Shell1 0
yfyf/piqi-rpm
RPM packaging for the "piqi" command-line tool
1 0
yfyf/pulseaudio-dlna
A lightweight streaming server which brings DLNA / UPNP and Chromecast support to PulseAudio and Linux
Language:Python1 0
yfyf/sbt-native-packager
SBT Native Packager
Language:Scala1 0
yfyf/scaladci
Exploring the DCI paradigm in Scala
Language:Scala1 0
yfyf/xmlgames
In search of the fastest XML parser
Language:Python1 0