Generates truth tables for formulas of sentential logic
☆62Aug 30, 2024Updated last year
Alternatives and similar repositories for TruthTableGenerator
Users that are interested in TruthTableGenerator are comparing it to the libraries listed below
Sorting:
- Blurhash in Erlang☆11Mar 5, 2023Updated 3 years ago
- AI Intent Driven Development (IDD) guidelines and instructions for AI Coding Agents, AI Coding Assistants, and LLMs.☆29Jan 27, 2026Updated last month
- ☆13Dec 2, 2021Updated 4 years ago
- Leprechaun Game wrote in Elixir☆12Nov 3, 2023Updated 2 years ago
- Tina's personal website:)☆10Nov 3, 2020Updated 5 years ago
- Probabilistic Circuits in Julia☆10Dec 27, 2023Updated 2 years ago
- practical projects to put in practice elixir and erlang/otp concepts☆11Dec 4, 2024Updated last year
- Graphic recordings of BEAM conferences. 🎨☆16May 31, 2024Updated last year
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- Formalisms Every Computer Scientist Should Know (course at ISTA)☆15Feb 8, 2024Updated 2 years ago
- A library to parse BLIF (Berkeley Logic Interchange Format) files.☆10Mar 11, 2015Updated 11 years ago
- Lossless compression using Probabilistic Circuits☆16Mar 10, 2022Updated 4 years ago
- Teste via assinatura da funcão☆11Mar 20, 2020Updated 6 years ago
- Semantic Lattes☆44Jun 16, 2022Updated 3 years ago
- Um tutorial de ClojureScript para seres humanos.☆10Aug 19, 2017Updated 8 years ago
- Sequencer built with Phoenix LiveView.☆22Oct 16, 2024Updated last year
- Source Code for 'C++20 Quick Syntax Reference' by Mikael Olsson☆14Apr 16, 2021Updated 4 years ago
- SWF Screensaver for Mac is a Flash screensaver maker. You can easily create your mac screensavers with your own SWF files. [Due to the la…☆30Dec 12, 2009Updated 16 years ago
- SEE NOTE. Portable Apache + MySQL + PHP for Windows is for web developers who prefer manually editing configuration files and want "manu…☆17Feb 9, 2014Updated 12 years ago
- Front-end (web) homework project.☆11Apr 9, 2023Updated 2 years ago
- LRU-Cache-using-C☆13Mar 25, 2018Updated 7 years ago
- Theme boiler plate to show usage sample of Vafpress Framework (https://github.com/vafour/vafpress-framework) integrated into a theme.☆23Jun 23, 2014Updated 11 years ago
- A zero-install Web server package that runs on Windows made with Go☆12Dec 7, 2019Updated 6 years ago
- 🌯 The prettiest TypeScript implementation of Maybe monad.☆19Jul 7, 2025Updated 8 months ago
- A thing to convert pocket articles to kindle books☆15Apr 12, 2025Updated 11 months ago
- The Nerves Community Fleet for Code BEAM Berlin 2024☆22Dec 9, 2024Updated last year
- ☆15May 18, 2011Updated 14 years ago
- Source Code for 'String Algorithms in C' by Thomas Mailund☆18Sep 1, 2020Updated 5 years ago
- LaTeX One page maintainable (US) resume☆15Jan 15, 2020Updated 6 years ago
- ☆11Jun 29, 2018Updated 7 years ago
- Using johnny-five.js with node-webkit.☆16Aug 10, 2014Updated 11 years ago
- Retorna o código IBGE de 7 dígitos para um dado município☆20Feb 21, 2022Updated 4 years ago
- provides neosnippet autocomplete for asyncomplete.vim☆10Apr 16, 2022Updated 3 years ago
- All source code for the QuAC tool proposed in the OOPSLA 2024 paper "QuAC: Quick Attribute-Centric Type Inference for Python." NOTE: This…☆13Oct 3, 2024Updated last year
- A small ui program to convert videos into image folders and vice versa☆12Jan 14, 2022Updated 4 years ago
- binary search through svn revisions☆18Sep 12, 2017Updated 8 years ago
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- HarryPotter kata for practice TDD implemented in Java by Jorge Sánchez (Xurxodev)☆13Apr 14, 2018Updated 7 years ago
- ☆15Mar 19, 2019Updated 7 years ago