Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.

Open source Logic Analyzer based on LiteX SoC

Simple logic probe for electronic circuits

Most of the standard question you can find in this repo.

🎓 Ciência da Computação - Universidade Federal do Ceará.

Haskell bindings for PicoSAT solver

This project is your very first project as a student at 42. You will need to recode a few functions of the C standard library as well as some other utility functions that you will use during your whole cursus.

In this project, you will learn the basics of threading a process. You will see how to create threads and you will discover mutexes.

Sharp karambit web DNS subdomain crucifixion and assessor.

This project is pretty straightforward, you have to recode printf. You will learn what is and how to implement variadic functions. Once you validate it, you will reuse this function in your future projects.

GNU Aris (fork)

Espresso Logic Minimizer - Modernized Edition

create logic circuits with nodes and wires

Configuration utility for LSI host board adapters

Resources for Supinfo cursus and more. This repo is shared with any Supinfo Student and free of use.

a tile based logic toy

Hi I created this repo for starters who just started programming, you can contribute new programs here. I contributed these codes during my class hours.

Evrostos: The rLTL Verifier

A Haskell embedded DSL that parses and implements the SAT algorithm to CTL formulas. Final project for ALP subject.

Aplicando lógica de programação na linguagem C