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
  ☆85Updated 2 months ago
• exaexa / better-mff-thesis
  A slightly improved variant of the official thesis sample
  ☆28Updated 10 months ago
• otevrena-data-mfcr / cityvizor
  Snapshot verze aplikace při předání Ministerstvem financí na Otevřená města. Aktuální verze je v repozitáři CityVizor/CityVizor.
  ☆15Updated 5 years ago
• piskoviste / pisek
  Tool for developing tasks for programming competitions.
  ☆16Updated this week
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆899Updated 4 years ago
• nikita-volkov / record
  Anonymous records
  ☆248Updated 6 years ago
• GaloisInc / HaLVM
  The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
  ☆1,057Updated 6 years ago
• hwayne / lets-prove-leftpad
  Proving leftpad correct two-dozen different ways
  ☆668Updated this week
• samth / gradual-typing-bib
  A bibliography on Gradual Typing
  ☆251Updated last year
• grin-compiler / grin
  GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
  ☆1,038Updated last year
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,574Updated 9 years ago
• agentm / project-m36
  Project: M36 Relational Algebra Engine
  ☆918Updated 3 weeks ago
• idris-hackers / idris-vim
  Idris mode for vim
  ☆221Updated 4 years ago
• sasha-alias / sqlshare
  Sharing server for SQL documents created with SQL Tabs
  ☆10Updated 5 years ago
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆909Updated this week
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆186Updated 4 years ago
• itchyny / vim-haskell-indent
  If the plugin does not work for some syntax, feel free to report to the issue tracker!
  ☆109Updated 3 weeks ago
• djrobstep / schemainspect
  Schema inspection for PostgreSQL (and potentially others).
  ☆50Updated 10 months ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,151Updated last year
• richjddavis / safari-fullscreen-noescape
  A small Safari extension to disable the default behaviour of Safari exiting OS X Full Screen Mode when the Escape key is pressed.
  ☆14Updated 6 years ago
• JakeWheat / hssqlppp
  SQL parser and type checker in Haskell
  ☆111Updated 3 years ago
• litxio / ptghci
  High-powered REPL for Haskell, inspired by IPython
  ☆338Updated last year
• steshaw / catalina-nix-upgrade
  ☆12Updated 5 years ago
• mirage / irmin
  Irmin is a distributed database that follows the same design principles as Git
  ☆1,875Updated 2 weeks ago
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆774Updated last year
• simonmichael / shelltestrunner
  Easy, repeatable testing of CLI programs/commands
  ☆138Updated last year
• begriffs / haskell-vim-now
  One-line Haskell Vim install
  ☆989Updated 4 years ago
• billpmurphy / hask
  Haskell language features and standard libraries in pure Python.
  ☆865Updated 6 years ago
• lexi-lambda / hackett
  WIP implementation of a Haskell-like Lisp in Racket
  ☆1,169Updated 11 months ago
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆869Updated 6 months ago