Alternatives and similar repositories for minibrass

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

• MiniZinc / minizinc-doc
  MiniZinc documentation
  ☆16Updated 2 years ago
• MiniZinc / minizinc-examples
  small MiniZinc examples demonstrating various language features
  ☆125Updated 8 years ago
• CP-Unibo / sunny-cp
  A CP Portfolio Solver
  ☆26Updated 2 years ago
• grafit-io / grafit
  grafit.io - shared knowledge
  ☆18Updated 3 years ago
• OpenDreamKit / OpenDreamKit.github.io
  Sources for OpenDreamKit's website
  ☆16Updated last year
• AceWiki / AceWiki
  AceWiki is a semantic wiki based on controlled natural language.
  ☆73Updated 11 months ago
• MiniZinc / minizinc.github.io
  The website for the MiniZinc constraint modelling system
  ☆17Updated last month
• conjure-cp / conjure
  Conjure: The Automated Constraint Modelling Tool
  ☆108Updated this week
• ivanov / popular-front
  Jovyan Popular Front: Prototyping UI and UX ideas for Jupyter notebooks (in Elm).
  ☆16Updated 6 years ago
• Verites / verigraph
  Software specification and verification system based on graph rewriting
  ☆37Updated 3 years ago
• jbenner-radham / awesome-semantic-web
  A curated list of various semantic web and linked data resources.
  ☆58Updated 3 years ago
• dmx-systems / dmx-platform
  DMX Knowledge Building Platform
  ☆89Updated 5 months ago
• IMCG / graph-theory-algorithms-book
  https://code.google.com/p/graph-theory-algorithms-book/
  ☆21Updated 10 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• silky / super-reference
  Web-based reference manager, written in Haskell.
  ☆30Updated 9 years ago
• ocharles / pandoc-live
  Automatically refresh Pandoc documents in your web browser
  ☆50Updated 8 years ago
• jgm / doctemplates
  Pandoc-compatible templating system
  ☆54Updated last year
• slott56 / py-web-tool
  pyWebTool supports Literate Programming by trying to work with ANY markup language and any programming language
  ☆37Updated 3 weeks ago
• berkeley-cocosci / Wallace
  See https://github.com/Dallinger/Dallinger/ for the latest.
  ☆37Updated 2 years ago
• debrouwere / python-literate
  Research notebooks in Python, with the power of literate programming and Markdown.
  ☆41Updated 12 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆16Updated 10 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• GrammaticalFramework / GF
  Archive of monolithic GF repository until 2018-07-25
  ☆189Updated 7 years ago
• nick-ulle / pandoc-minted
  A pandoc filter that has the LaTeX writer use minted for typesetting code.
  ☆35Updated 6 years ago
• priorknowledge / loom
  A streaming cross-cat inference engine
  ☆49Updated 11 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆79Updated 4 months ago
• iig-uni-freiburg / WOLFGANG
  Petri Net Editor
  ☆26Updated 8 years ago
• vangelisv / thea
  OWL2 library for Prolog
  ☆112Updated 6 years ago
• mark-watson / kbnlp.hs
  Haskell NLP Work
  ☆17Updated 2 months ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 12 years ago