amutake

amutake's Stars

• microsoft/ethr

  Ethr is a Comprehensive Network Measurement Tool for TCP, UDP & ICMP.

  Language:Go5.8k12190399

• rrousselGit/provider

  InheritedWidgets, but simple

  Language:Dart5.2k68635520

• ocaml/dune

  A composable build system for OCaml.

  Language:OCaml1.7k403.1k425

• alpaca-lang/alpaca

  Functional programming inspired by ML for the Erlang VM

  Language:Erlang1.4k5911048

• ngtcp2/ngtcp2

  ngtcp2 project is an effort to implement IETF QUIC protocol

  Language:C1.2k71338248

• yannbertrand/macos-defaults

  Incomplete list of macOS `defaults` commands with demos ✨

  Language:HTML1.2k226566

• gfngfn/SATySFi

  A statically-typed, functional typesetting system

  Language:OCaml1.2k5216784

• josefs/Gradualizer

  A Gradual type system for Erlang

  Language:Erlang6172022635

• parapluu/Concuerror

  Concuerror is a stateless model checking tool for Erlang programs.

  Language:Erlang3361513942

• stedolan/mlsub

  Prototype type inference engine

  Language:OCaml201241219

• uwplse/verdi-raft

  An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

  Language:Coq187541919

• gfngfn/Sesterl

  An ML-like statically-typed Erlang

  Language:OCaml1528295

• google/quic-trace

  Library and tools for transcribing QUIC connections.

  Language:C++11817522

• DistributedComponents/disel

  Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

  Language:Coq981217

• haya14busa/nintendo-switch-checker

  Language:Go674013

• na4zagin3/satyrographos

  Package manager for SATySFi

  Language:OCaml45711013

• gfngfn/the_satysfibook

  The manuscript for The SATySFi​book (1st edition for the Web)

  36233

• nyuichi/satysfi-base

  complementary collection of useful functions and modules for SATySFi

  Language:JavaScript3183311

• flano-yuki/my-quic-spec-translation

  QUICの仕様の翻訳

  25502

• puripuri2100/learn-satysfi

  SATySFiを学ぶためのドキュメント（作成中）

  19713

• na4zagin3/satyrographos-repo

  Custom OPAM repository for SATySFi libraries managed by Satyrographos

  Language:Shell1845517

• yutopp/obeam

  [WIP] A utility library for parsing BEAM format(and Erlang External Term Format, etc) which is written in OCaml.

  Language:Standard ML165264

• monaqa/satysfi-enumitem

  SATySFi package for flexible ordered/unordered/description lists.

  15410

• pandaman64/satysfi-playground

  Language:Nix11621

• DistributedComponents/verdi-chord

  An implementation of the Chord lookup protocol verified in Coq using the Verdi framework

  Language:Coq103141

• proof-ninja/coqpad

  証明検索No.1／定理の証明載せるなら コックパッド

  Language:TypeScript8200

• manuelmontenegro/erlang-poly-transformer

  Improving the accuracy of Dialyzer by program transformation

  Language:Erlang2400

• monaqa/satysfi-yubaba

  SATySFi で湯婆婆

  Language:Dockerfile131

• psg-titech/NewcomerProject

  Programming Project for PSG Newcomers

  1100

• whatasoda/multi-row-tweet-deck

  Extends Your TweetDeck Layout

  Language:TypeScript1130