Alternatives and similar repositories for DeepLearning:

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

• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 3 years ago
• TyGuS / hoogle_plus
  Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
  ☆60Updated last year
• tomjaguarpaw / bluefin
  ☆80Updated 2 weeks ago
• lexi-lambda / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆124Updated last year
• ekmett / placeholder
  todo and unimplemented, robustly implemented
  ☆33Updated 4 months ago
• JeanHuguesdeRaigniac / effects-landscape
  Effects libraries in Haskell
  ☆71Updated last year
• Bodigrim / poly
  Fast polynomial arithmetic in Haskell (dense and sparse, univariate and multivariate, usual and Laurent)
  ☆68Updated 3 months ago
• Lysxia / bluefin-algae
  Algebraic effects in the Bluefin effect system
  ☆14Updated 8 months ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆56Updated 5 years ago
• axiomed / http
  🌐 | HTTP primitives for Lean 4
  ☆30Updated 3 months ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆36Updated 4 years ago
• idris-community / idris2-nvim
  Simple configuration and extra tools for NVIM + LSP + Idris2
  ☆46Updated 2 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆58Updated last year
• solomon-b / lambda-calculus-hs
  Single file Lambda Calculus implementations demonstrating various type system features and interpretation techniques
  ☆44Updated last year
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆101Updated this week
• marcosh / crem
  Compositional Representable Executable Machines
  ☆110Updated 2 months ago
• andreasabel / miniagda
  A prototypical dependently typed languages with sized types and variances
  ☆104Updated 2 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆38Updated 3 years ago
• JonathanLorimer / conceptual-mathematics
  Proofs for the exercises for Lawvere and Schanuel's Conceptual Mathematics
  ☆26Updated 2 years ago
• edwinb / Yaffle
  A core language and API for dependently typed languages
  ☆89Updated last year
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆44Updated 2 weeks ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆52Updated 2 years ago
• stefan-hoeck / idris2-elab-util
  Utilities and documentation for exploring idirs2's new elaborator reflection.
  ☆79Updated this week
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆79Updated 8 months ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆119Updated 2 weeks ago
• agda / agda-language-server
  Language Server for Agda
  ☆105Updated last month
• frex-project / idris-frex
  ☆47Updated 2 months ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆54Updated 3 years ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated last year
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆56Updated 7 months ago