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 month
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆28Updated 9 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
• kokes / vaclavaky
  počítáme václaváky
  ☆20Updated 2 months ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆304Updated 2 years ago
• hmemcpy / haskell-hie-devcontainer
  A DevContainer for VSCode, for installing GHC 8.6.5, HIE (Haskell IDE Engine) and the required plugins
  ☆164Updated 3 years ago
• k0001 / safe-money
  Test project
  ☆7Updated 2 years ago
• tfausak / haskeleton
  A Haskell package skeleton.
  ☆134Updated 7 years ago
• tweag / rules_haskell
  Haskell rules for Bazel.
  ☆268Updated last week
• chrisdone-archive / jl
  Functional sed for JSON
  ☆473Updated 2 years ago
• Chris00 / ocaml-csv
  CSV library for OCaml
  ☆137Updated 3 months ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆664Updated 3 months ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆367Updated 8 months ago
• hroncok / fit-thesis-tips
  Opinionated tips for writing and typesetting a diploma thesis on FIT ČVUT (Czech)
  ☆98Updated 5 years ago
• adl-lang / adl
  ADL (Algebraic Data Language)
  ☆212Updated last month
• blaenk / blaenk.github.io
  the source for my personal site, written in Haskell, powered by Hakyll
  ☆47Updated 3 years ago
• idris-hackers / software-foundations
  Software Foundations in Idris
  ☆454Updated 5 years ago
• banacorn / agda-mode
  agda-mode on Atom
  ☆58Updated 3 years ago
• NorfairKing / syds-rules-for-sustainable-haskell
  ☆103Updated 3 years ago
• jkachmar / alpine-haskell-stack
  Demonstrating how GHC, Alpine, Stack, and Docker can be used together
  ☆111Updated 3 years ago
• simberaj / zpevnik
  Zpěvník českých písní všeho druhu.
  ☆12Updated 2 years ago
• samth / gradual-typing-bib
  A bibliography on Gradual Typing
  ☆250Updated last year
• dhall-lang / dhall-kubernetes
  Typecheck, template and modularize your Kubernetes definitions with Dhall
  ☆626Updated 5 months ago
• links-lang / links
  Links: Linking Theory to Practice for the Web
  ☆337Updated last week
• haskellweekly / haskellweekly
  Publishes curated news about the Haskell programming language.
  ☆145Updated last week
• NorfairKing / haskell-dangerous-functions
  Documentation about Haskell's dangerous functions and a hlint config file to warn about them
  ☆174Updated 3 weeks ago
• Wizek / haskell-pair-programming
  ☆42Updated 6 years ago
• simonmichael / shelltestrunner
  Easy, repeatable testing of CLI programs/commands
  ☆137Updated last year
• purerl / purescript
  A small strongly typed language that compiles to Erlang (not JavaScript)
  ☆204Updated 5 years ago
• ArulselvanMadhavan / ocaml-ctfp
  OCaml version of Category Theory For Programmers
  ☆131Updated 5 years ago