bcribas

bcribas's Stars

• crazynds/Web-programming-fight

  Competitive programming platform

  Language:PHP71

• IretonLiu/mine-pddl

  Language:PDDL172

• motion-twin/WebGamesArchives

  Language:Haxe23871

• cd-moj/cdmoj

  CD-MOJ

  Language:Shell186

• bcribas/benchmark-ordenacao

  Benchmark simples para algoritmos de ordenação. Envolve conteúdo da disciplina EDA-2 da UnB/FGA

  Language:C7615

• jcs/progman

  progman.exe^H^H^H^H

  Language:C48523

• dangom/org-thesis

  Writing a Ph.D. thesis with Org Mode

  Language:Emacs Lisp49754

• rytilahti/python-miio

  Python library & console tool for controlling Xiaomi smart appliances

  Language:Python3.7k556

• norvig/paip-lisp

  Lisp code for the textbook "Paradigms of Artificial Intelligence Programming"

  Language:Common Lisp7.1k702

• daichirata/emacs-rotate

  Rotate the layout of emacs.

  Language:Emacs Lisp795

• potassco/pddl-instances

  🌍 PDDL instances covering the International Planning Competitions

  Language:Common Lisp11256

• sat-group/open-wbo

  Open-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver

  Language:C++7112

• potassco/clasp

  ⚙️ A conflict-driven nogood learning answer set solver

  Language:C++11616