☆62May 8, 2021Updated 5 years ago
Alternatives and similar repositories for Mathematics_Books
Users that are interested in Mathematics_Books are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Guides for CSE 11, 12, and 8B☆10Apr 2, 2026Updated 3 months ago
- Code and dataset for tracing semantic changes in Russian adjectives☆13Nov 26, 2019Updated 6 years ago
- Fully working chess game implemented in the x86 Intel Assembly language☆12Oct 3, 2022Updated 3 years ago
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Sep 12, 2017Updated 8 years ago
- Snap of Audacity: Audio software for multi-track recording and editing☆22Jun 18, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This repository contains code, manuals and notes I wrote pertaining to system programming on Linux☆12Jun 8, 2023Updated 3 years ago
- ☆10Nov 17, 2025Updated 8 months ago
- Sort tailwind className strings by a given order-config☆11Jul 4, 2026Updated 3 weeks ago
- Systems Programming UIUC FA 2016☆13Feb 24, 2017Updated 9 years ago
- Books for hacker in reverse engineering☆35Jul 4, 2023Updated 3 years ago
- Generates mantras in Sanskrit, allowing you to discover secret mantras☆17Feb 12, 2018Updated 8 years ago
- A Parallel Russian-Simple Russian Dataset☆18Mar 30, 2023Updated 3 years ago
- Embedded Linux☆11Jul 11, 2024Updated 2 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆22Dec 20, 2021Updated 4 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.
- The complete course reviews for SCSE Computer Engineering students and student-to-bes☆10Aug 13, 2021Updated 4 years ago
- If you want to get better at something, repeating practice alone is not enough. You must practice with increased difficulty and challenge…☆21May 7, 2026Updated 2 months ago
- [NeurIPS 2023] Learning Energy-Based Prior Model with Diffusion-Amortized MCMC☆14Mar 1, 2026Updated 4 months ago
- Pytorch implementation of BEAR in "Stabilizing Off-Policy Q-Learning via Bootstrapping Error Reduction"☆11Oct 29, 2019Updated 6 years ago
- AI Journey 2019: Combined Solution☆15Dec 8, 2022Updated 3 years ago
- Code for building and experimenting on saliency maps for RL agents.☆12Feb 13, 2020Updated 6 years ago
- This is the repository for the CMU course 67-300: Search Engines☆11Nov 8, 2023Updated 2 years ago
- Learning to program with Haiku and Programming with Haiku books☆23Aug 19, 2025Updated 11 months ago
- Real-time ray tracer renderer that allows to move freely in the scene with the keyboard and mouse, while streaming live the results from …☆13Nov 6, 2022Updated 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.
- An incremental game inspired by "Candy Box" and "A Dark Room".☆22Dec 8, 2021Updated 4 years ago
- Selected POJ solutions and analyses for CS 97SI☆16Nov 4, 2018Updated 7 years ago
- ☆15Mar 6, 2026Updated 4 months ago
- Deriving steepest descent convergence bounds and hyperparameter scaling laws in machine learning optimization from first principles, form…☆16Apr 11, 2026Updated 3 months ago
- Blippoo for Wingie is an alternative firmware for the Wingie2, inspired by Rob Hordijk's Blippoo Box.☆20Feb 27, 2023Updated 3 years ago
- Adds the recycle bin to the tray☆11Mar 28, 2020Updated 6 years ago
- An RL environment similar to Cognition's SWE-Grep☆16Mar 10, 2026Updated 4 months ago
- CMU Systems Programming course resources incl. course website, labs, schedule, & extra material. Books: "Computer Systems: A Programmer's…☆20Jul 18, 2023Updated 3 years ago
- LSTM-Seq2Seq on the bases of Keras with the simple ScikitLearn interface☆20Apr 9, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Code and materials for the paper S. Phelps and Y. I. Russell, Investigating Emergent Goal-Like Behaviour in Large Language Models Using E…☆12Dec 11, 2024Updated last year
- Task-based fast multipole method, parallelized using OpenMP and StarPU. With StarPU it supports multiple GPUs (CUDA).☆18Jun 16, 2025Updated last year
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- A guide to the intrepid adventurer.☆22Nov 23, 2021Updated 4 years ago
- Custom Printed Submarine☆22Aug 4, 2022Updated 3 years ago
- Environments by the Prime Intellect Research Team☆89Updated this week
- From-scratch kernel built to serve web pages☆30Sep 27, 2025Updated 9 months ago