Alternatives and similar repositories for featherweight_go:

Users that are interested in featherweight_go are comparing it to the libraries listed below

• shinchoku-tairiku / shinchoku-tairiku.satyh
  進捗大陸で使用されたSATySFiファイル
  ☆12Updated last year
• matsubara0507 / git-plantation
  mixi git challenge の新しい採点システム
  ☆18Updated last year
• yewton / kafka-doc-ja
  Kafkaドキュメント( http://kafka.apache.org/documentation.html )の拙訳
  ☆17Updated 9 years ago
• KeenS / isucon7-qualify
  Rust移植版 ISUCON7 予選問題の参照実装とベンチマーカー
  ☆15Updated 6 years ago
• utam0k / rjvm
  Toy JVM is written in Rust
  ☆13Updated 4 years ago
• sanposhiho / molizen
  [WIP] Molizen is a typed actor framework for Go.
  ☆41Updated 3 years ago
• scaruby / scaruby
  Ruby-like Lightweight Scripting Library for Scala
  ☆25Updated 8 months ago
• itchyny / mackerel-plugin-rs
  Mackerel plugin helper library for Rust
  ☆12Updated last year
• sfja / sfja
  SoftwareFoundations(Ja)
  ☆71Updated 5 years ago
• onion-lang / onion
  Onion - statically typed object-oriented programming language
  ☆26Updated 3 months ago
• qnighy / umo
  A programming language (WIP)
  ☆29Updated 11 months ago
• KeenS / whitelie
  A self hosted whitespace compiler
  ☆32Updated 5 years ago
• nomaddo / loop
  ☆15Updated 8 years ago
• dwango / fialyzer
  [WIP] Faster Implementation of Dialyzer
  ☆56Updated last year
• Tatamo / lavriapg
  LavRia: TypeScript LALR(1) Parser Generator
  ☆15Updated last month
• theoremoon / satysfi.ml
  ☆14Updated 3 years ago
• qnighy / bqpb
  BigQuery UDF to parse protobuf messages
  ☆39Updated last year
• hatsugai / SyncStitch
  A Refinement Checker based on CSP
  ☆28Updated 2 years ago
• pocarist / hminfer-rust
  ☆11Updated 7 years ago
• KOBA789 / rust-reversi
  Cookpad Spring 1day Internship 2018 Rust プログラミングコースで使用された講義資料
  ☆31Updated 7 years ago
• hogesuke / gited
  githubのコミットログを利用したエンディングロール
  ☆10Updated 2 years ago
• cybozu / oss-policy
  A policy document about open source software referenced at Cybozu.
  ☆23Updated 4 years ago
• haskell-jp / recipe-collection
  レシピ集、あるいは逆引き辞典
  ☆53Updated 5 years ago
• k1LoW / filt
  filt is a interactive/realtime stream filter ( also known as "trial-and-error pipe" ).
  ☆74Updated last year
• klassic / klassic
  Klassic is A Programming Language which enables Object-Functional Programming
  ☆85Updated 3 months ago
• kmizu / nuko
  日本語プログラミング言語「Nuko」
  ☆15Updated 3 months ago
• ksk / Rho
  Programs for checking the ρ property
  ☆17Updated 4 years ago
• tarao / bullet-scala
  A monadic library to resolve object relations with the aim of avoiding the N+1 query problem.
  ☆54Updated 9 years ago
• nineties / category-seminar
  Materials for category theory seminar
  ☆28Updated last year
• hexx / action-cont
  ☆25Updated 9 years ago