METU Computer science introductory compiler course: Language Processors
☆50Feb 7, 2023Updated 3 years ago
Alternatives and similar repositories for ceng444
Users that are interested in ceng444 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- labs for binary exploitation☆13Jul 16, 2019Updated 7 years ago
- All the homeworks, studies and projects I've done at Metu-CENG☆78Jan 2, 2022Updated 4 years ago
- This is a collection of software and hardware modules for the Panologic thin client.☆13Aug 13, 2023Updated 3 years ago
- Tree style (files) explorer for p9p acme.☆10Feb 6, 2023Updated 3 years ago
- HaxBall clone for my Reinforcement Learning research☆10Oct 6, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- CLI tool for indexing local markdown files which can then be searched for using natural language queries; a duck duck go for your local f…☆12Apr 18, 2022Updated 4 years ago
- An evolving collection of Oleg Kiselyov's Haskell modules (released with his permission). See the original articles at http://okmij.org/…☆13Jan 5, 2014Updated 12 years ago
- Mark Volkmann's blog using 11ty☆13Sep 20, 2026Updated last month
- The contents of what was formerly https://svn.declarativity.net☆11Dec 8, 2015Updated 10 years ago
- Stack-safe recursion schemes on dissectible data structures.☆14May 6, 2022Updated 4 years ago
- A small compiler for the Prospero Challenge in Constructive Solid Geometry☆11Nov 28, 2025Updated 11 months ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated 3 weeks ago
- A Hindley-Milner type inference implementation in Prolog☆15Feb 9, 2015Updated 11 years ago
- NimSkrull is an adaption from the original Skrull malware anti-copy DRM. Only for the anti-copy feature. (https://github.com/aaaddress1/S…☆13May 20, 2023Updated 3 years ago
- 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.
- An SSH agent written in Rust with more security features and sandboxing☆21Aug 31, 2025Updated last year
- A portable C++ GUI toolkit supporting windows, canvases, images and events☆11Jun 3, 2021Updated 5 years ago
- XDP Deployments in Userspace eBPF☆28Jul 23, 2025Updated last year
- 🎛 Dat.gui like controller for React.js with Ease curve editor, Draggable placement and Stylable component's.☆14Jan 19, 2019Updated 7 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆13Aug 2, 2024Updated 2 years ago
- Experiment with synthetic domain theory in cubical agda☆16Nov 8, 2022Updated 3 years ago
- Notes and slides from my Encodings talk at RubyConf Brasil 2010☆13Nov 1, 2010Updated 16 years ago
- A tool for dependencies validation for ninja build system using strace to detect the real dependencies☆16Nov 12, 2018Updated 7 years ago
- an CoreAnimation layer engine on windows platform, some like core animation in cocoa frameworks. lightweight and c++.☆11Sep 21, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆10Dec 22, 2017Updated 8 years ago
- ☆14Dec 9, 2022Updated 3 years ago
- Expand homebrew-core/homebrew-cask☆11Updated this week
- ☆12Dec 4, 2021Updated 4 years ago
- A Mirror of http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai//☆13Nov 15, 2021Updated 4 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Dec 11, 2020Updated 5 years ago
- Unofficial nextpnr WebAssembly packages☆17Mar 11, 2026Updated 7 months ago
- Tiny Lang is a toy programming language that runs everywhere even in browsers using WASM.☆12Jul 25, 2026Updated 3 months ago
- List of distributions that can be bootstrapped from source☆17Oct 23, 2026Updated last week
- 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.
- A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope w…☆19Sep 26, 2026Updated last month
- A simple Assignment Framework using SDL2 and related libraries☆14Apr 6, 2023Updated 3 years ago
- Minimalistic livestreaming site☆13Oct 5, 2025Updated last year
- A Datalog extension to reason about time with CTL operators☆15Nov 29, 2019Updated 6 years ago
- Win32 API canvas library☆13Nov 27, 2015Updated 10 years ago
- TaPL implementation bits in Idris2☆17Feb 27, 2022Updated 4 years ago
- The 64 bit OpenPOWER Microwatt core, MPW1 tape out☆16Oct 29, 2021Updated 5 years ago