Computer science fundamentals.
☆22Aug 18, 2025Updated last year
Alternatives and similar repositories for Intro-Coding-and-Computers
Users that are interested in Intro-Coding-and-Computers are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Presentation software using io2d☆12Jul 4, 2020Updated 6 years ago
- Correct by Construction : a presentation given at C++ on Sea 2020☆22Aug 11, 2020Updated 6 years ago
- Regular Void: The Library☆10May 10, 2022Updated 4 years ago
- AWS Lambda Function to Count Number of Running EC2 Instances and Publish to Cloudwatch☆15Apr 11, 2017Updated 9 years ago
- Dockerfile to build a Compiler Explorer Docker image☆16May 6, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A wayland compositor with vim-like key bindings☆15Aug 11, 2024Updated 2 years ago
- Binary JSON encoder/decoder, library and tool, mostly for log files☆25Aug 19, 2026Updated last month
- Command-line tool to interact with Compiler Explorer☆34Dec 23, 2022Updated 3 years ago
- Slides on how Wolf and maybe one day other ID games worked☆18Jan 5, 2023Updated 3 years ago
- An interactive interpreter for asynchronous algebraic effects☆16Jun 19, 2024Updated 2 years ago
- Default FAI config space☆24Aug 31, 2026Updated 3 weeks ago
- A modern ST fork with the intention to be usable by anyone while being extremely versale.☆16Jan 17, 2024Updated 2 years ago
- Nova iOS app☆32Mar 21, 2015Updated 11 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 8 years ago
- 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.
- The Lobbyradar browser plugin shows you connections of persons and organisations connected to lobbying activities.☆16Jul 2, 2015Updated 11 years ago
- ImPop: Useful utils for Dear ImGui. Includes compile-time palette generation, ConfigMenu, DatePicker, OutlineText, PerfFooter☆18Sep 9, 2024Updated 2 years ago
- Tool that performs sentiment analysis on tweets regarding cryptos and perform market operations through Binance API☆20Jun 7, 2021Updated 5 years ago
- A register-based virtual machine for a basic Lisp☆13Mar 22, 2012Updated 14 years ago
- A minimalistic bundle of a few SCSS/Sass tools for building modern, flexible websites: a better normalize, shorthand stuff for flexbox an…☆10Jul 1, 2026Updated 2 months ago
- HAMT implementation whose sub-trees can be shared over threads☆10Updated this week
- HMAC-SHA-256 C++11 library designed for embedded systems☆12Oct 19, 2023Updated 2 years ago
- Majora's Mask scripts, with some Ocarina of Time on the side.☆35Jan 20, 2021Updated 5 years ago
- [Compiler Explorer](https://gcc.godbolt.org) integration for Vim☆31Oct 5, 2017Updated 8 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.
- Bytecode based Fuzzer for the PHP language☆12Jul 22, 2020Updated 6 years ago
- An event-driven circuit simulator, written in C++ and designed to print to terminal output.☆11Sep 7, 2012Updated 14 years ago
- A C++ skeleton for creating OpenGL applications with SDL2, GLAD, GLM, ASSIMP, STB and Imgui.☆14Jan 12, 2016Updated 10 years ago
- Python tool to capture images via Sony WiFi camera interface☆11Feb 11, 2015Updated 11 years ago
- Kanban Board for Microsoft Outlook Tasks☆22Jan 12, 2024Updated 2 years ago
- A Fractional NFT Lending platform that supports 1-to-many relation between borrower and lenders with collateral protection for borrower o…☆11Feb 28, 2023Updated 3 years ago
- An Open Source C++ Opengl engine utilizing the capabilities of Box2D.☆16Sep 4, 2015Updated 11 years ago
- a modern terminal client☆37Jul 19, 2017Updated 9 years ago
- Turns virtual usbredir connections into physical ones☆14Jun 17, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- cython hooks for hatch☆38Mar 5, 2026Updated 6 months ago
- CLI version of codeforces problemsets which not only brings you all the problems present in Codeforces to your terminal effortlessly, but…☆10Dec 11, 2022Updated 3 years ago
- Programming Language Logos☆20May 25, 2022Updated 4 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- strace2seccomp - generates libseccomp policies from strace logs☆10Feb 19, 2020Updated 6 years ago
- Python library for the Awair API☆15Nov 20, 2025Updated 10 months ago
- A host monitoring proof of concept that uses python and ebpf to watch for bad behavior and optionally take action on it.☆12Jul 14, 2019Updated 7 years ago