yfyf

yfyf's Stars

• bloom-lang/bud-sandbox

  Work-in-progress sample code related to Bud

  Language:Ruby6810

• programthecloud/ptcrepo

  Repository for Berkeley's class on Programming the Cloud

  Language:Rich Text Format6012

• tonyrog/macro

  Erlang macros

  Language:Erlang72

• idris-hackers/IdrisWeb

  A secure web framework, built in the Idris language.

  Language:TeX1096

• yfyf/parsexml

  super simple XML to proplist parser

  Language:Erlang51

• exebetche/vlsub

  VLC extension to download subtitles from opensubtitles.org

  Language:Lua1.3k346

• matijapretnar/eff

  A functional programming language based on algebraic effect handlers

  Language:OCaml86241

• cmeiklejohn/distributed-data-structures

  Distributed Data Structures in Coq

  Language:Coq492

• logcabin/logcabin

  LogCabin is a distributed storage system built on Raft that provides a small amount of highly replicated, consistent storage. It is a reliable place for other distributed systems to store their core metadata and is helpful in solving cluster management issues.

  Language:C++1.9k296

• kylemcdonald/socialroulette.net

  Language:PHP162

• tromp/AIT

  Algorithmic Information Theory, using Binary Lambda Calculus

  Language:Haskell13413

• homenc/HElib

  HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.

  Language:C++3.1k764

• knuton/proof-theory

  Project for course in Proof Theory

  1

• yfyf/8-myths-of-erlang

  This repo is an attempt to bust the 8 myths of Erlang performance using the Perforator tool.

  2

• yfyf/perforator

  Performance unit testing library for Erlang

  Language:Erlang51

• yfyf/perforator2

  Language:JavaScript1

• spawnfest/perforator2

  Language:JavaScript74

• spawnfest/perforator

  Language:Erlang74

• yfyf/eunit

  The EUnit lightweight unit testing framework for Erlang - this is the canonical development repository.

  Language:Erlang1

• ngmoco/gl_async_bully

  Dynamic Leader Election behaviour for Erlang

  Language:Erlang232

• gintas/crackbook

  Chrome extension for discouraging the use of attention-sucking websites

  Language:JavaScript304

• ninenines/cowboy

  Small, fast, modern HTTP server for Erlang/OTP.

  Language:Erlang7.3k1.2k

• richcarl/eunit

  The EUnit lightweight unit testing framework for Erlang - this is the canonical development repository.

  Language:Erlang5019

• peas/readability-redux

  Let's bring Readability to Chrome!

  Language:JavaScript21

• jimenezrick/vimerl

  DEPRECATED - Please have a look at vim-erlang project

  Language:Erlang30573

• abecciu/gen_leader_revival

  A project to unify various implementations of the Erlang library gen_leader into a modern, robust single implementation

  Language:Erlang10224

• mjpizz/reclaimprivacy

  Language:CSS9316

• basho/rebar

  ATTENTION: Please find the canonical repository here:

  Language:Erlang1.1k246

• uwiger/gen_leader_revival

  A project to unify various implementations of the Erlang library gen_leader into a modern, robust single implementation

  Language:Erlang151

• RJ/playdar-core

  Playdar - a content resolver for music

  Language:PHP19217