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
  ☆15Updated 2 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated last month
• VictorTaelin / taemoba
  ☆14Updated 5 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
• tsouanas / fmcbook
  Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
  ☆97Updated 2 months ago
• reamat / PreCalculo
  Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.
  ☆41Updated 7 months ago
• styzystyzy / Axiomatic_Set_Theory
  Formalization of Axiomatic Set Theory in Coq
  ☆18Updated 5 years ago
• dhilst / lis.py
  Small lisp interpreter in Python
  ☆9Updated 2 years ago
• reamat / CalculoNumerico
  Escrita colaborativa de recursos educacionais abertos sobre cálculo numérico.
  ☆144Updated 2 months ago
• samueldurantes / haildo
  Toy programming language
  ☆19Updated 10 months ago
• rocq-prover / platform-docs
  A project of short tutorials and how-to guides for Coq features and Coq Platform packages.
  ☆22Updated 3 weeks ago
• gambiconf / gambiconf.github.io
  🐒 The Blow Your Mind Conference
  ☆13Updated this week
• algebraic-dev / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆104Updated last year
• HoTT / EPIT-2020
  EPIT 2020 - Spring School on Homotopy Type Theory
  ☆104Updated 3 years ago
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆315Updated this week
• UniMath / Schools
  ☆83Updated 6 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
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆34Updated 2 years ago
• rafaelcgs10 / W-in-Coq
  This is a Coq formalization of Damas-Milner type system and its algorithm W.
  ☆29Updated 4 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
• tomdjong / MGS-domain-theory
  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS)…
  ☆44Updated last year
• VictorTaelin / UrnaCripto
  Referendos criptograficamente incorruptíveis.
  ☆59Updated 8 years ago
• Universidade-Livre / rinha-de-algoritmos
  Na Rinha de Algoritmos você deve utilizar suas habilidades para a criação de algoritmos eficientes para resolver problemas!
  ☆165Updated last year
• KindaSloth / Haskell4Noobs
  Único roadmap de Haskell possível, do noob ao Thanos
  ☆243Updated last year
• ufabc-bcc / MateriaisDidaticos
  Materiais didáticos utilizados nos cursos do Bacharelado em Ciência da Computação da UFABC
  ☆49Updated 4 years ago
• harp-project / AML-Formalization
  ☆10Updated this week
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆113Updated last week
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆62Updated 3 years ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆183Updated last week