koba-e964

koba-e964's Stars

• ucsd-progsys/liquidhaskell

  Liquid Types For Haskell

  Language:Haskell1.2k138

• tweag/monad-bayes

  A library for probabilistic programming in Haskell.

  Language:Jupyter Notebook41263

• tov/succinct-rs

  Succinct Data Structures for Rust

  Language:Rust5615

• asi1024/competitive-library

  A library manager for competitive programming

  Language:C++263

• crumblingstatue/try_opt

  [Deprecated] Like try!, but for Option

  Language:Rust5

• rust-lang-ja/the-rust-programming-language-ja

  Rust文書の【旧】和訳レポジトリ → 最新版はこちら： https://github.com/rust-lang-ja/book-ja

  Language:HTML35273

• tanakh/competitive-rs

  Competitive programming library for Rust

  Language:Rust557

• rust-lang/rust

  Empowering everyone to build reliable and efficient software.

  Language:Rust99.9k12.9k

• togatoga/togasat

  A Header-Only CDCL SAT Solver for Programming Contest

  Language:C++6711

• mishun/minisat-rust

  Experimental minisat SAT solver reimplementation in Rust

  Language:Rust716

• mruby/mruby

  Lightweight Ruby

  Language:C5.3k794

• ksss/mruby-spec

  The runner for ruby/spec with mruby

  Language:Ruby71

• keiichiw/constexpr-8cc

  Compile-time C Compiler implemented as C++14 constant expressions

  Language:C++80234

• IrnBrew/Contest

  for programmin contest

  Language:C++1

• Hogeyama/min-caml-hs

  rewrite esumii/min-caml in haskell

  Language:Assembly4

• jauhien/iron-kaleidoscope

  LLVM tutorial in Rust language

  Language:Rust1.2k84

• docopt/docopt.rs

  Docopt for Rust (command line argument parser).

  Language:Rust75083

• HoTT/Coq-HoTT

  A Coq library for Homotopy Type Theory

  Language:Coq1.3k195

• HoTT/book

  A textbook on informal homotopy type theory

  Language:TeX2k360

• kevinmehall/rust-peg

  Parsing Expression Grammar (PEG) parser generator for Rust

  Language:Rust1.5k107

• qnighy/RGSSTests

  Test codes for RGSS.

  Language:Ruby2

• qnighy/min-caml

  moved from https://sourceforge.net/p/min-caml/code/

  1

• nyuichi/Kaguya

  prolog

  Language:Haskell21

• b-inary/cpuex

  CPU jikken

  Language:Standard ML31

• sabottenda/llvm-sample-target

  Language:C++285

• sdiehl/kaleidoscope

  Haskell LLVM JIT Compiler Tutorial

  Language:Haskell1k131

• picrin-scheme/picrin

  lightweight scheme interpreter

  Language:Scheme41635

• jruby/jruby

  JRuby, an implementation of Ruby on the JVM

  Language:Ruby3.8k924