hongseok-yang / logic24View external linksLinks
☆12May 30, 2024Updated last year
Alternatives and similar repositories for logic24
Users that are interested in logic24 are comparing it to the libraries listed below
Sorting:
- ☆19Nov 5, 2023Updated 2 years ago
- ☆17May 29, 2023Updated 2 years ago
- ☆16Nov 10, 2025Updated 3 months ago
- 컴퓨터 신기술 특강☆10Jun 23, 2023Updated 2 years ago
- ☆63Updated this week
- Signature-based Static Analysis for Detecting Recurring Vulnerabilities☆50Sep 25, 2024Updated last year
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation☆22Dec 3, 2023Updated 2 years ago
- ☆28Aug 14, 2023Updated 2 years ago
- Accompanying materials for "A Core Calculus for Documents"☆36Oct 5, 2023Updated 2 years ago
- ☆35Jun 21, 2020Updated 5 years ago
- Recover deleted Kakaotalk messages in Windows. Used Javascript and Frida.☆10Nov 20, 2021Updated 4 years ago
- Learn one, get them all for free☆12Jan 28, 2024Updated 2 years ago
- A simply utility to scramble/unscramble cryptocurrency wallet seed phrases☆11Dec 19, 2021Updated 4 years ago
- This is the tool released in ICSE 2022 paper "Static Inference Meets Deep Learning: A Hybrid Type Inference Approach for Python"☆46Oct 19, 2023Updated 2 years ago
- ☯ A frontend tool for easily writing UI components. Cell encourages the use of event handlers and signals (Demo: https://kt3k.github.io/c…☆18Dec 2, 2025Updated 2 months ago
- Provides support for after/colors/ scripts (Mirrors Peter Hodge's AfterColors.vim on vim.org)☆11May 7, 2017Updated 8 years ago
- Collection of interesting patterns, inspired by nature, powered by p5js☆10Jun 2, 2018Updated 7 years ago
- Bibata Cursor, with support for hyprcursor and Xcursor☆19Jan 28, 2025Updated last year
- ☆12Feb 4, 2024Updated 2 years ago
- With one whole audio and corresponding text, the audio can be split line by line and saved with exact sentence using comparison with the …☆10Feb 28, 2019Updated 6 years ago
- Deno Korea Community Website☆10Aug 25, 2022Updated 3 years ago
- A Neovim client for VsCoq 2 vscoqtop.☆11Nov 8, 2025Updated 3 months ago
- ☆48Nov 25, 2025Updated 2 months ago
- Wrapper scripts to make documentation easier☆13Updated this week
- Probably my competitive programming notebook☆14Mar 30, 2023Updated 2 years ago
- Personal blog of ENvironmentSet based on oversomething.☆14Oct 29, 2024Updated last year
- An experimental repository for exploring DSL ideas and improvements as a community.☆14May 19, 2022Updated 3 years ago
- Bi-directional record in type-safe way☆17Sep 26, 2024Updated last year
- Basic demo of OCaml's PPX feature.☆10Mar 22, 2015Updated 10 years ago
- WebAssembly engine in Scala☆51Nov 25, 2020Updated 5 years ago
- GADT-based field accessors and utilities☆17Jan 15, 2026Updated last month
- Swift lambda calculus functions supporting intensional equality☆12Jun 19, 2016Updated 9 years ago
- ☆12Mar 24, 2022Updated 3 years ago
- latex class for manuals☆11Sep 10, 2024Updated last year
- Machine-checked Agda formalization for the ILC project☆15Apr 6, 2018Updated 7 years ago
- 🧮 Polynomial Calculator☆12Jan 3, 2023Updated 3 years ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- A not too easy journey of my competitive programming career☆12Jun 19, 2022Updated 3 years ago
- Easily identify the current runtime environment (Node.js, browser, Deno, etc.) and its version with this minimal library.☆12Nov 29, 2025Updated 2 months ago