Alternatives and similar repositories for apostila-discreta

Users that are interested in apostila-discreta are comparing it to the libraries listed below

• arielsilveira / ModalLibrary
  Modal Logic Library in Coq
  ☆16Updated 3 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated 3 weeks ago
• VictorTaelin / taemoba
  ☆14Updated 10 months ago
• rodrigogribeiro / pcc116-2021-2
  ☆10Updated 3 years ago
• folivetti / Category4Programmers
  annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski
  ☆19Updated 5 years ago
• algebraic-dev / idris-4-noobs
  📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
  ☆47Updated 3 years ago
• teikalang / teika
  ☆355Updated last month
• samueldurantes / haildo
  Toy programming language
  ☆20Updated last year
• gambiconf / gambiconf.github.io
  🐒 The Blow Your Mind Conference
  ☆13Updated 3 weeks ago
• luizperes / cantor
  A declarative toy language inspired on set comprehensions.
  ☆18Updated 6 years ago
• J-AugustoManzano / livro_Algoritmos-Funcionais
  Conteúdo adicional e complementar do livro "Algoritmos Funcionais" publicado pela editora Alta Books. Estes arquivos são uma prévia do co…
  ☆14Updated 2 years ago
• tsouanas / fmcbook
  Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
  ☆103Updated last week
• EduardoRFS / anti-study-study-group
  ☆20Updated last year
• TheMarkersFoundation / parser
  Command Line (CLI) Tool for the Markers (.mks) language made in Haskell.
  ☆11Updated 2 weeks ago
• algebraic-dev / rinha-ts
  📜 | Example of how to create an interpreter for Rinha, providing insights into interpreter development.
  ☆14Updated last year
• styzystyzy / Axiomatic_Set_Theory
  Formalization of Axiomatic Set Theory in Coq
  ☆19Updated 5 years ago
• aripiprazole / lura
  🍞 | IDE focused programming language study
  ☆35Updated last year
• UniMath / Schools
  ☆88Updated 4 months ago
• reamat / PreCalculo
  Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.
  ☆45Updated last year
• ryukinix / discrete-mathematics
  A computational way to study discrete mathematics using Haskell
  ☆73Updated 6 years ago
• johnyob / University-Notes
  A complete collection of my undergraduate notes
  ☆34Updated 3 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆61Updated last month
• pi8027 / lambda-calculus
  A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2
  ☆83Updated 5 years ago
• algebraic-dev / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆108Updated last year
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆119Updated 3 months ago
• foxx3r / FPAboveUs
  Este repósitório irá te ensinar programação funcional do zero com Haskell :) também falaremos um pouco de Prolog e Agda aqui.
  ☆23Updated 4 years ago
• Mzk-Levi / texts
  ☆161Updated 10 years ago
• jeffque / rinha-compiler
  ☆19Updated last year
• wrongbyte / awesome-learning
  A curated list of resources on the science of learning anything
  ☆35Updated 8 months ago
• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆103Updated 3 years ago