Funckionális nyelvek (IPM-18sztKVFPNYEG, IP-18KVFPNYEG, IPM-18EsztKVFPNYEG), kurzus anyagok, EA + GY
☆40Oct 22, 2026Updated last week
Alternatives and similar repositories for ELTE-func-lang
Users that are interested in ELTE-func-lang are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ELTE IK tananyagok☆146Jan 7, 2024Updated 2 years ago
- Ebben a repo-ban az ELTE IK-n oktatott analízissel kapcsolatos jegyzetek forrásfájljai találhatók meg.☆16Oct 27, 2017Updated 9 years ago
- ELTE IK - Programtervező Informatikus BSc Záróvizsga tételek kidolgozása☆125Jul 10, 2026Updated 3 months ago
- convert 64bit steamid to text STEAM_xz format and vice versa☆14Jul 15, 2015Updated 11 years ago
- ☆13Dec 15, 2025Updated 10 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 📚 A collection of resources about normalization-by-evaluation☆30Jul 29, 2025Updated last year
- SVD-Loader-Ghidra with customization for RP2040☆12Feb 25, 2023Updated 3 years ago
- 0-Tick CPU in Minecraft☆11Mar 5, 2026Updated 7 months ago
- Rust programming, in Hungarian.☆94Sep 13, 2021Updated 5 years ago
- ☆11Aug 16, 2023Updated 3 years ago
- My personal HTML/CSS presentation slides editor.☆15Sep 22, 2026Updated last month
- Burp Suite extension to perform Kerberos authentication☆14Jan 19, 2026Updated 9 months ago
- A Raspberry Pi-based Ethernet implant that bypasses 802.1X and allows the same IP address to be used in parallel. presented on x33fcon 20…☆18Aug 6, 2026Updated 2 months ago
- Unofficial documentation for versions 2 and up of the e-Kreta API.☆49Nov 2, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆17Apr 15, 2024Updated 2 years ago
- Lightweight animation library☆12Jan 2, 2025Updated last year
- cheatsheets, dotfiles, scripts...☆18Oct 17, 2026Updated last week
- Nix flake for the Helium browser☆46Updated this week
- Some writeups for some CTFs☆18Apr 14, 2024Updated 2 years ago
- A clean and minimalist Pelican theme, turned dark.☆16Apr 11, 2024Updated 2 years ago
- Formalization of the Rupert Problem for convex polyhedra.☆21Oct 13, 2026Updated 2 weeks ago
- A Terrible Spigot 1.8 Plugin☆14Aug 21, 2022Updated 4 years ago
- Official source code and writeups for niteCTF 2023!☆12Dec 21, 2023Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Python's library written in Rust to quickly factor `n = pq` when around >50% bits of `p` and `q` are known which are distributed at rando…☆19Jul 16, 2021Updated 5 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- Python implementation of Wagner's Algorithm for the Generalized Birthday Problem.☆18Aug 15, 2023Updated 3 years ago
- Elliptic Curve Multiset Hash☆22Oct 27, 2018Updated 8 years ago
- Exceptions to the ABC conjecture in Lean☆19Jan 26, 2026Updated 9 months ago
- 🔐🚀 Professional Burp Suite extension for 5G Core security testing 📡 | Automated NF discovery 🔍 | IMSI enumeration 📱 | Credential ext…☆22Dec 1, 2025Updated 10 months ago
- GHC version of haskell-src-exts exactPrint☆73Oct 6, 2026Updated 3 weeks ago
- x3CTF Challenges 2025☆17Jan 26, 2025Updated last year
- Challenges I've made for public CTFs.☆22Oct 13, 2026Updated 2 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Cephalopod Coordination Protocol (CCP) is a Rust-based client-server protocol for fast, reliable coordination between agentic systems.☆25Updated this week
- Collatz conjecture in Lean☆30Jul 26, 2026Updated 3 months ago
- A fast, safe and headless automatic exploit thrower for Attack/Defense Capture the Flag (CTF) competitions.☆21Aug 13, 2025Updated last year
- Zero-trust SSH CA☆29Sep 2, 2025Updated last year
- Final Project in Cryptography - NT219.O11.ATTN☆20Feb 23, 2024Updated 2 years ago
- Is SIKE broken yet?☆22Feb 15, 2023Updated 3 years ago
- Android Native CTF. Six challenges focused on reversing .so libraries: buffer overflow, heap exploitation, anti-debug bypass, custom VM, …☆23Feb 9, 2026Updated 8 months ago