Alternatives and similar repositories for aplikacjawww:

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

• pyos / dg
  A programming language for the CPython VM.
  ☆575Updated 4 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆897Updated 8 years ago
• adamyedidia / parsimony
  ☆337Updated 6 years ago
• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆414Updated last week
• UniMath / UniMath
  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆971Updated last month
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆313Updated 2 years ago
• mikeizbicki / subhask
  Type safe interface for working in subcategories of Hask
  ☆419Updated 5 years ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆441Updated 6 years ago
• litxio / ptghci
  High-powered REPL for Haskell, inspired by IPython
  ☆338Updated last year
• nh2 / call-haskell-from-anything
  Call Haskell functions from any programming language via serialization and dynamic libraries
  ☆396Updated 2 years ago
• acowley / Frames
  Data frames for tabular data.
  ☆298Updated last year
• edwinb / Blodwen
  A prototype successor to Idris
  ☆538Updated 5 years ago
• bollu / cellularAutomata
  a collection of cellular automata written in Haskell with Diagrams
  ☆187Updated 5 years ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆901Updated 4 years ago
• ajtulloch / dnngraph
  A DSL for deep neural networks, supporting Caffe and Torch
  ☆702Updated 9 years ago
• evincarofautumn / kitten
  A statically typed concatenative systems programming language.
  ☆1,106Updated last year
• mikeizbicki / HerbiePlugin
  GHC plugin that improves Haskell code's numerical stability
  ☆192Updated 9 years ago
• snowleopard / alga
  Algebraic graphs
  ☆724Updated 7 months ago
• kasiopea-org / pisek
  Tool for developing tasks for programming competitions.
  ☆15Updated this week
• transient-haskell / transient
  A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, pa…
  ☆634Updated 3 years ago
• nikita-volkov / record
  Anonymous records
  ☆248Updated 5 years ago
• RaphaelJ / friday
  Fast image IO and transformations.
  ☆277Updated last year
• mortberg / cubicaltt
  Experimental implementation of Cubical Type Theory
  ☆572Updated last year
• HoTT / HoTT-Agda
  Development of homotopy type theory in Agda
  ☆422Updated 5 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆367Updated last year
• haskell-foundation / foundation
  Empire strikes back
  ☆464Updated last year
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆364Updated 4 years ago
• eth-sri / psi
  Exact Inference Engine for Probabilistic Programs
  ☆131Updated 4 months ago
• forestdb / forestdb.org
  A repository for generative models
  ☆114Updated last year
• idris-hackers / software-foundations
  Software Foundations in Idris
  ☆453Updated 5 years ago