☆49May 11, 2018Updated 8 years ago
Alternatives and similar repositories for Books-49
Users that are interested in Books-49 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- A toy programming language you use to build other toys☆13May 15, 2025Updated last year
- ☆18Dec 26, 2021Updated 4 years ago
- Optimal Layout Synthesizer for Quantum Computing (to appear in ICCAD'20)☆21Sep 5, 2023Updated 3 years ago
- Lean models of Rust libraries☆35Sep 4, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- ☆11Mar 12, 2021Updated 5 years ago
- Checker for "morally correct" induction proofs about haskell programs☆11Mar 16, 2022Updated 4 years ago
- ☆26May 17, 2024Updated 2 years ago
- Getting started with machine learning.☆15Dec 25, 2019Updated 6 years ago
- A modular framework for building complete AI solutions. It's mostly a Rust framework with a subset of it ported to Deno.☆19Jul 8, 2026Updated last month
- Backend (Flask) and Frontend (HTML, CSS, and JavaScript) for an AI-based Medical project.☆20Jul 11, 2022Updated 4 years ago
- Topics related to Deep Learning☆12Jul 6, 2023Updated 3 years ago
- My solution to the FreeCodeCamp Data Analysis with Python Certification projects☆14Oct 22, 2020Updated 5 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.
- KV-DB - High performance Key-value store written in `RUST` 🦀☆15Jul 27, 2026Updated last month
- Final Project in Cryptography - NT219.O11.ATTN☆19Feb 23, 2024Updated 2 years ago
- ☆10Jan 7, 2020Updated 6 years ago
- Triquetrum project☆13Oct 6, 2021Updated 4 years ago
- find all answer for TCS java questions☆11Jan 25, 2023Updated 3 years ago
- ☆14Jun 10, 2024Updated 2 years ago
- My Experience and Preparation for the OCP 21 Exam☆16Sep 18, 2024Updated last year
- Advanced futures library☆16Apr 24, 2026Updated 4 months ago
- WannaDB: Ad-hoc SQL Queries over Text Collections☆10Aug 31, 2026Updated last week
- 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.
- OpenFlow 1.0 protocol and controller in Rust.☆27Aug 6, 2023Updated 3 years ago
- This repository will contain my notes and python codes of the book "Deep Learning" of Ian Goodfellow☆25May 3, 2024Updated 2 years ago
- base32 encoding/decoding for ziglang☆18Dec 24, 2025Updated 8 months ago
- Actor-based Runtime Verification Tool☆18Apr 13, 2023Updated 3 years ago
- Agent skill to use Context Hub (chub)☆42Apr 23, 2026Updated 4 months ago
- ☆17Jun 3, 2025Updated last year
- Capability Distribution Language tools for seL4☆44Aug 3, 2026Updated last month
- Visualized CRDT executions in a web page to explain their semantics☆17Nov 2, 2018Updated 7 years ago
- A high-performance, production-ready PostgreSQL index maintenance tool written in Rust. This tool provides safe, efficient, and controlle…☆17Jul 17, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Auto formalization of the CLRS text book☆40Jul 8, 2026Updated last month
- Redefining Video Management with power of SQL☆11Oct 15, 2023Updated 2 years ago
- [VLDB 2024] Source code for FusionQuery: On-demand Fusion Queries over Multi-source Heterogeneous Data☆11Mar 11, 2025Updated last year
- code for our paper localized adversarial domain generalization☆15Jun 18, 2022Updated 4 years ago
- Spatialyze: A Geospatial Video Analytic System with Spatial-Aware Optimizations☆13Mar 3, 2025Updated last year
- SFS: A Smart OS Scheduler for Serverless Function Workloads (SC'22)☆13Dec 15, 2022Updated 3 years ago
- ☆10Jul 23, 2024Updated 2 years ago