☆17Jan 29, 2023Updated 3 years ago
Alternatives and similar repositories for how-to-ace-swe-interviews
Users that are interested in how-to-ace-swe-interviews are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Zig uuidv4 implementation without allocations☆11Dec 4, 2024Updated last year
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- theme inspired by transfem emo aesthetics - special for cat girls 💜😺☆11Sep 29, 2026Updated last month
- A LLVM-based compiled language.☆12Oct 13, 2020Updated 6 years ago
- Sqlite3 bindings for lean4☆12Jul 12, 2026Updated 3 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A general syntax highlighter that can render syntax highlighting tokens.☆16Jul 6, 2026Updated 4 months ago
- Additional 3rd party software used in Playbit. See playbit/public for most 3rd party software☆13Jul 14, 2025Updated last year
- reverse engineering for v8's internal binary format☆11Apr 20, 2023Updated 3 years ago
- Den - One word less than Deno!☆17Sep 25, 2026Updated last month
- McLulang: The message is the language☆12Aug 23, 2024Updated 2 years ago
- ☆11Apr 7, 2021Updated 5 years ago
- my personal lang☆18Dec 31, 2023Updated 2 years ago
- Functional configuration management with Typescript☆20Apr 7, 2025Updated last year
- Effect monads with specifications (DIjkstra Monads) in Lean 4☆12Feb 18, 2024Updated 2 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.
- CHIP-8 emulator in Zig☆13May 21, 2024Updated 2 years ago
- A toy C Compiler implemented by Rust.☆19Feb 4, 2023Updated 3 years ago
- Language server for the Bend programming language☆16Oct 18, 2024Updated 2 years ago
- My Agda experiments☆12Sep 26, 2019Updated 7 years ago
- A Rust library to interact with the MPesa API, simplifying B2C payment integrations and more.☆12Aug 17, 2023Updated 3 years ago
- The unified plugin used to highlight code block in html with Prism☆13Oct 29, 2024Updated 2 years ago
- ☆13Feb 1, 2025Updated last year
- A simple currency converter based on https://fixer.io.☆11May 25, 2018Updated 8 years ago
- GPU-based interaction nets evaluator☆18Nov 30, 2011Updated 14 years 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.
- Observable LC3 Virtual Machine☆13Mar 7, 2026Updated 8 months ago
- An interaction combinator runtime☆17Sep 23, 2024Updated 2 years ago
- Atiny is a simple compiler for a ML like language☆11Aug 16, 2023Updated 3 years ago
- 𝐧𝐝 A small programming language with an interpreter, and a WebAssembly compiler.☆15Jun 8, 2024Updated 2 years ago
- a tiny distro-independent package manager written in Rust.☆16Jun 22, 2024Updated 2 years ago
- A very shitty lambda calculus.☆16Jan 17, 2025Updated last year
- Simple, fun, memory safe language.☆16Sep 9, 2023Updated 3 years ago
- c minus language implement by rust☆23Oct 26, 2024Updated 2 years ago
- [Prototype] Talk to your Anki flashcard deck☆11Oct 21, 2023Updated 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.
- Virtual OXide Emulation Lab☆23Updated this week
- SWC AST Viewer☆25Updated this week
- The official Reloadly SDK for NodeJS☆18Mar 6, 2023Updated 3 years ago
- A runtime-agnostic, composable library for writing predictable operations in TypeScript.☆24Updated this week
- 🧪 | LLVM backend for HVM☆24May 23, 2023Updated 3 years ago
- Reference type checker for the Lean theorem prover☆18Feb 14, 2018Updated 8 years ago
- Open source temp mail service, anonymous and free ( MOVED )☆16Jul 17, 2025Updated last year