rodrigogribeiro / apostila-discreta

Related projects: ⓘ

• arielsilveira / ModalLibrary
  Modal Logic Library in Coq
  ☆14Updated 2 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆36Updated last week
• rodrigogribeiro / pcc116-2021-2
  ☆10Updated 2 years ago
• VictorTaelin / taemoba
  ☆13Updated 7 months ago
• tsouanas / fmcbook
  Matemática Fundacional para Computação: book by Thanos Tsouanas (in portuguese)
  ☆94Updated 2 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.
  ☆24Updated 3 years ago
• folivetti / Category4Programmers
  annotations and solutions for the book Category Theory for Programmers by Bartosz Milewski
  ☆17Updated 4 years ago
• dhilst / lis.py
  Small lisp interpreter in Python
  ☆9Updated 2 years ago
• algebraic-sofia / Idris2Noobs
  📘 | Idris2 for Portuguese speakers. (Its called idris2noobs as a reference to the version 2 of the language).
  ☆46Updated 2 years ago
• KindaSloth / Haskell4Noobs
  Único roadmap de Haskell possível, do noob ao Thanos
  ☆243Updated 11 months ago
• UniMath / Schools
  ☆77Updated last week
• reamat / CalculoNumerico
  Escrita colaborativa de recursos educacionais abertos sobre cálculo numérico.
  ☆136Updated last month
• EduardoRFS / youtube-channel
  ☆48Updated last year
• lambda-study-group / awesome-functional-studies
  A curated list of functional programming resources to study the fp paradigm
  ☆173Updated last month
• gambiconf / gambiconf.github.io
  🐒 The Blow Your Mind Conference
  ☆13Updated last week
• reamat / PreCalculo
  Escrita colaborativa de recursos educacionais abertos sobre pré-cálculo.
  ☆33Updated last month
• proof-tree-builder / proof-tree-builder.github.io
  A web-based graphical proof assistant for LK and Hoare logic.
  ☆32Updated last year
• the-sofi-uwu / vulpi
  🦊 | A language that compiles to LLVM and has algebraic effects
  ☆104Updated 9 months ago
• takanuva / coc
  Calculus of Constructions
  ☆16Updated 5 years ago
• reamat / AlgebraLinear
  Escrita colaborativa de recursos educacionais abertos sobre álgebra linear.
  ☆62Updated 10 months ago
• andreluispy / makinglanguages4noobs
  O manual sobre criação de linguagens
  ☆37Updated 3 years ago
• samueldurantes / haildo
  Toy programming language
  ☆18Updated 4 months ago
• taylorrf / learnhaskell
  Projeto de tradução do livro "Learn You a Haskell for Great Good!"
  ☆125Updated 4 years ago
• VictorTaelin / UrnaCripto
  Referendos criptograficamente incorruptíveis.
  ☆56Updated 7 years ago
• plclub / metalib
  The Penn Locally Nameless Metatheory Library
  ☆71Updated 2 months ago
• EduardoRFS / f-omega
  ☆12Updated last year
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆19Updated 7 months ago
• potigol / potigol.github.io
  Site da Linguagem Potigol
  ☆66Updated 2 years ago
• HigherOrderCO / Class
  ☆23Updated this week
• celsobonutti / milho
  The Haskell implementation of the Milho programming language.
  ☆29Updated last year