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.
  ☆578Updated 4 years ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• UniMath / UniMath
  This rocq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆984Updated last week
• IHaskell / IHaskell
  A Haskell kernel for the Jupyter project.
  ☆2,632Updated this week
• hakaru-dev / hakaru
  A probabilistic programming language
  ☆319Updated 3 years ago
• damelang / nile
  ☆721Updated 4 years ago
• FormalTheology / GoedelGod
  Formalizations of Gödel's Ontological Proof of God's Existence
  ☆447Updated 6 years ago
• leanprover / lean3
  Lean Theorem Prover
  ☆2,151Updated last year
• gap-system / gap
  Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra
  ☆864Updated this week
• isaacg1 / pyth
  Pyth, an extremely concise language. Try it here:
  ☆269Updated last year
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,449Updated last year
• ajtulloch / dnngraph
  A DSL for deep neural networks, supporting Caffe and Torch
  ☆705Updated 9 years ago
• Gabriella439 / turtle
  Shell programming, Haskell style
  ☆954Updated 11 months ago
• HoTT / Coq-HoTT
  A Coq library for Homotopy Type Theory
  ☆1,312Updated last week
• hardmaru / neuralslimevolley
  Neural Slime Volleyball
  ☆209Updated 10 years ago
• i2y / mochi
  Dynamically typed functional programming language
  ☆913Updated 8 years ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆622Updated 4 years ago
• jvns / neural-nets-are-weird
  ☆168Updated 6 years ago
• burningion / deepdreamtutorial
  Deep Dream Tutorial
  ☆25Updated 9 years ago
• forestdb / forestdb.org
  A repository for generative models
  ☆115Updated last year
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆270Updated this week
• aslanides / aixijs
  AIXIjs - General Reinforcement Learning in the Browser
  ☆147Updated 4 years ago
• erdman / alt-python3-halite-starter
  Alternative Halite starter package for Python3
  ☆36Updated 8 years ago
• tweag / monad-bayes
  A library for probabilistic programming in Haskell.
  ☆431Updated last week
• ucsd-progsys / liquidhaskell
  Liquid Types For Haskell
  ☆1,241Updated this week
• billpmurphy / hask
  Haskell language features and standard libraries in pure Python.
  ☆867Updated 6 years ago
• learning-unlimited / ESP-Website
  A website to help manage the logistics of large, short-term educational programs
  ☆86Updated this week
• nh2 / call-haskell-from-anything
  Call Haskell functions from any programming language via serialization and dynamic libraries
  ☆397Updated 2 years ago
• DanielRapp / cnn-gol
  Learning Game of Life
  ☆50Updated 9 years ago
• sleexyz / hylogen
  GLSL embedded in Haskell
  ☆485Updated last year