naderghanbari

naderghanbari's Stars

• mas-cli/mas

  :package: Mac App Store command line interface

  Language:Swift11.2k103417279

• scalanlp/breeze

  Breeze is/was a numerical processing library for Scala.

  Language:Scala3.5k206540690

• fthomas/refined

  Refinement types for Scala

  Language:Scala1.7k23210153

• jline/jline3

  JLine is a Java library for handling console input.

  Language:Java1.5k41725221

• spotify/docker-client

  INACTIVE: A simple docker client for the JVM

  Language:Java1.4k71467549

• jwiegley/category-theory

  An axiom-free formalization of category theory in Coq for personal study and practical work

  Language:Coq765191972

• glebec/lambda-talk

  A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

  Language:JavaScript52017342

• scalameta/mdoc

  Typechecked markdown documentation for Scala

  Language:Scala3981020483

• higherkindness/mu-scala

  Mu is a purely functional library for building RPC endpoint based services with support for RPC and HTTP/2

  Language:Scala3302733234

• zatonovo/lambda.r

  Functional programming in R

  Language:R217323615

• SystemFw/upperbound

  A purely functional rate limiter

  Language:Scala17881115

• betaveros/paradoc

  GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*

  Language:Python102304

• miguno/akka-mock-scheduler

  A mock Akka scheduler to simplify testing scheduler-dependent code

  Language:Scala856611

• georgwiese/2048-rl

  2048 Reinforcement Learning

  Language:Python505215

• petertseng/adventofcode-rb-2018

  Solutions to https://adventofcode.com/2018 (complete)

  Language:Ruby46701

• KamchatkaLtd/okasaki

  Scala implementation of data structures from Chris Okasaki's book

  Language:Scala411126

• tarao/lambda-scala

  Type level lambda calculus in Scala

  Language:Scala33503

• spotify/code-of-conduct

  Spotify FOSS Community Code of Conduct

  2519011

• betaveros/hyperpolymorph

  A flexible multi-language cheat sheet based on hyperpolyglot.org

  Language:Haskell22512

• julienrf/faithful

  Lightweight Scala.js promise implementation that does not violate parametricity

  Language:Scala17414

• rucek/reactive-streams-with-monix

  Import data from CSV files to Cassandra using Monix Reactive Streams

  Language:Scala12204

• petertseng/adventofcode-hs-2015

  Solutions to https://adventofcode.com/2015 (complete)

  Language:Haskell10400

• codetiger/MachineLearning-2048

  AI player for 2048 game using Machine Learning concepts

  Language:Python9301

• Villane/lambdacalculus

  Lambda calculus implementation in Scala

  Language:Scala6302

• joergen7/lib_dp

  Dynamic Programming in Erlang.

  Language:Erlang5301

• yannick-cw/sane-gen

  Providing scalacheck generators for common problems

  Language:Scala5212

• jstabenow/dcos-packages

  Private DCOS Packages

  Language:HTML4201

• pavlov99/scalastructures

  Data Structures written in scala

  Language:Scala430

• faizhasim/aws-ecs-blue-green-deployments

  Language:JavaScript2210

• jessewebb/cctp

  Language:Python1100