A propositional logic library.
☆17Apr 26, 2024Updated 2 years ago
Alternatives and similar repositories for frege
Users that are interested in frege are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A beginner-friendly repository designed to teach the fundamentals of Bitcoin. The project includes theoretical and practical implementati…☆11Dec 12, 2024Updated last year
- Obfuscator class for laravel☆11May 3, 2019Updated 7 years ago
- A simpler way to program UI and in general.☆22Apr 17, 2026Updated 3 months ago
- Gerador de QR Code para chave pix☆19Nov 10, 2024Updated last year
- A DBMS entirely written in bash script☆11Jan 25, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ❤️ | Fancy diagnostics for Miette☆14Oct 3, 2024Updated last year
- Colin's configurations for bash, Helix, git, tmux, Hyprland, etc.☆15Jul 17, 2026Updated last week
- Conteúdo do treinamento/brainstorming Introdução a engenharia reversa no Windows feito com muito carinho por mim.☆16Oct 13, 2022Updated 3 years ago
- The Mobile App Pentest cheat sheet was created to provide concise collection of high value information on specific mobile application pen…☆15Sep 29, 2019Updated 6 years ago
- Broken Promises - Everything you should NOT do while using JavaScript Promises 🔥🤯☆17Oct 18, 2022Updated 3 years ago
- Resumão da massa sobre Capture the Flag.☆19Jan 12, 2021Updated 5 years ago
- ☆16May 22, 2022Updated 4 years ago
- Quickly create routes to test with your frontend☆13Aug 25, 2024Updated last year
- ☆15Oct 27, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- thinkcspy translation to PTBR☆15Aug 28, 2020Updated 5 years ago
- Convert videos into text animation!☆40Sep 14, 2023Updated 2 years ago
- Social Media Tray Icons☆16Apr 10, 2023Updated 3 years ago
- a minimal rust-powered tool that brings the power of Bitwarden to your Wayland desktop using rbw and fuzzel☆18Jun 25, 2026Updated 3 weeks ago
- personal writings of my daily triumphs and challenges as a junior software engineer☆13Mar 31, 2023Updated 3 years ago
- The power of TCP over tee☆16Nov 7, 2024Updated last year
- This repo contains code that can be used to generate Font Awesome unicodes for your c# projects like WPF, Xamarin and ASP☆20Jun 12, 2019Updated 7 years ago
- JavaScript Argument Validator.☆22Sep 8, 2023Updated 2 years ago
- Limos is a Telegram Bot designed for my university restaurant. The bot provides users with the daily menu and the restaurant's operating …☆14Aug 22, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆13Jan 7, 2021Updated 5 years ago
- Solution for Freecodecamp's Scientific Computing with Python Challenge 1: Arithmetic Formatter☆15Apr 2, 2021Updated 5 years ago
- Porque Bash nunca desaponta☆55Feb 8, 2024Updated 2 years ago
- 👨🏻🎨 Gruvbox Material for Tridactyl☆23Mar 13, 2026Updated 4 months ago
- Biblioteca para consumir api do tabnews☆14Oct 3, 2023Updated 2 years ago
- A minimalist yet multi-threaded HTTP server coded in pure Assembly x86☆43Mar 26, 2024Updated 2 years ago
- Open-source Supabase security auditor: detects RLS-disabled tables, public buckets, exposed SECURITY DEFINER functions. Active anonymous …☆21Jun 21, 2026Updated last month
- unofficial fork of inetsim - official source at http://www.inetsim.org/ - changes in branch "pimped"☆30Apr 29, 2016Updated 10 years ago
- ☆23Nov 17, 2025Updated 8 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Repository trying to recreate Javascript (node) methods.☆13Sep 30, 2023Updated 2 years ago
- 🧮 Propositional logic calculator☆23Sep 13, 2024Updated last year
- Opinionated rewrite of Emacs iedit mode for neovim☆28Jan 14, 2026Updated 6 months ago
- A starter template for ReactNative with Expo & Tailwind in TypeScript☆24Jan 22, 2023Updated 3 years ago
- ☆18May 11, 2026Updated 2 months ago
- Open-source keyboard firmware for Atmel AVR and Arm USB families☆20Sep 20, 2023Updated 2 years ago
- Um clone de Pong Game feito no Esp32 com Rust e um Display SSD1306☆18Apr 26, 2024Updated 2 years ago