Alternatives and similar repositories for statnice:

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

• petrroll / mff-stuff
  #SharingIsCaring #CaringIsSharing
  ☆84Updated last week
• kasiopea-org / pisek
  Tool for developing tasks for programming competitions.
  ☆15Updated this week
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆28Updated 8 months ago
• cesko-digital / nasi-politici
  Největší otevřená databáze českých politiků a političek. Zjistěte si, kdo vám vládne.
  ☆20Updated last year
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,772Updated this week
• quickstrom / quickstrom
  High-confidence browser testing
  ☆380Updated 5 months ago
• kokes / vaclavaky
  počítáme václaváky
  ☆20Updated last month
• spaze / webtop100
  Dokumenty k hodnocení soutěže WebTop100
  ☆15Updated 6 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆659Updated 2 months ago
• Chris00 / ocaml-csv
  CSV library for OCaml
  ☆136Updated 2 months ago
• jlouis / combinatorrent
  A bittorrent client written in Haskell
  ☆235Updated 8 years ago
• zindel / game2048elm
  2048 Game in Elm
  ☆15Updated 7 years ago
• gasche / manual-ocamlbuild
  A new reference manual for the ocamlbuild tool
  ☆67Updated 8 years ago
• begriffs / heroku-buildpack-ghc
  Deploy Haskell apps to Heroku
  ☆272Updated 5 years ago
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆375Updated 2 years ago
• purerl / purescript
  A small strongly typed language that compiles to Erlang (not JavaScript)
  ☆205Updated 4 years ago
• nick8325 / quickspec
  Equational laws for free
  ☆251Updated 9 months ago
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆155Updated 3 years ago
• simberaj / zpevnik
  Zpěvník českých písní všeho druhu.
  ☆12Updated 2 years ago
• nikita-volkov / record
  Anonymous records
  ☆248Updated 5 years ago
• hroncok / fit-thesis-tips
  Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)
  ☆98Updated 5 years ago
• cvut / fittable
  Public mirror of https://gitlab.fit.cvut.cz/ict/dev/fittable
  ☆29Updated last year
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆367Updated 7 months ago
• gelisam / hawk
  Haskell text processor for the command-line
  ☆363Updated 11 months ago
• met / subfilter
  🎥+📚 Watch your favourite series on Netflix and improve foreign language at the same time. Chrome+Firefox extension to practice your lis…
  ☆18Updated last year
• imeckler / mote
  ☆116Updated 9 years ago
• haskoin / haskoin-core
  Haskoin Core is a Bitcoin and Bitcoin Cash library
  ☆525Updated last month
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆333Updated 2 months ago
• JakeWheat / intro_to_parsing
  Introduction to parsing with Haskell and Parsec
  ☆503Updated 5 years ago