☆60May 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:
- "If in other sciences we should arrive at certainty without doubt and truth without error, it behooves us to place the foundations of kno…☆10Dec 28, 2019Updated 6 years ago
- Example NeoVim Lua Plugin☆11Aug 29, 2020Updated 5 years ago
- an working os in c☆22Jan 19, 2026Updated 4 months ago
- ☆15Apr 12, 2023Updated 3 years ago
- Code and dataset for tracing semantic changes in Russian adjectives☆13Nov 26, 2019Updated 6 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 list of security courses at colleges and universities☆11Aug 9, 2017Updated 8 years ago
- Python Bindings to the Lean Theorem Prover http://leanprover.github.io/☆13Sep 12, 2017Updated 8 years ago
- Odin grammar for tree-sitter☆19May 16, 2023Updated 3 years ago
- This repository contains code, manuals and notes I wrote pertaining to system programming on Linux☆12Jun 8, 2023Updated 3 years ago
- ☆15Nov 30, 2020Updated 5 years ago
- ☆10Nov 17, 2025Updated 6 months ago
- Generates mantras in Sanskrit, allowing you to discover secret mantras☆15Feb 12, 2018Updated 8 years ago
- My solutions for "Operating Systems: three easy pieces" projects☆10Sep 14, 2023Updated 2 years ago
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆22Dec 20, 2021Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Embedded Linux☆11Jul 11, 2024Updated last year
- ☆57Apr 22, 2026Updated last month
- Systems Programming UIUC FA 2016☆13Feb 24, 2017Updated 9 years ago
- Pytorch implementation of BEAR in "Stabilizing Off-Policy Q-Learning via Bootstrapping Error Reduction"☆11Oct 29, 2019Updated 6 years ago
- A Lean4 script for robustly verifying submitted proofs of theorems and implementations of functions☆46Apr 22, 2026Updated last month
- Operating Systems general concepts and detailed explanation of xv6 kernel.☆12Apr 28, 2021Updated 5 years ago
- Author implementation of Monte Carlo Augmented Actor Critic in PyTorch☆18Oct 24, 2022Updated 3 years ago
- Codebase of paper "DeFIX: Detecting and Fixing Failure Scenarios with Reinforcement Learning in Imitation Learning Based Autonomous Drivi…☆14Nov 2, 2022Updated 3 years ago
- Lectures on Computer Architecture☆13Apr 11, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Proof recording for Lean 3☆27Sep 30, 2021Updated 4 years ago
- This is an example in C++ that uses Creo Toolkit C API to create an L-shaped extrusion with a hole feature. A menu lets you change the pa…☆15Nov 5, 2024Updated last year
- "Mathematics expresses values that reflect the cosmos, including orderliness, balance, harmony, logic, and abstract beauty." ― Deepak Ch…☆103May 13, 2020Updated 6 years ago
- ☆31Sep 3, 2021Updated 4 years ago
- RuSimpleSentEval (RSSE) shared task repo☆21Apr 26, 2021Updated 5 years ago
- #SON-05 - An AI image generator site made using Imagen, Vertex AI and Google Cloud.☆13Jun 3, 2026Updated last week
- Adds the recycle bin to the tray☆11Mar 28, 2020Updated 6 years ago
- ACL 2020: ScriptWriter: Narrative-Guided Script Generation☆34May 24, 2022Updated 4 years ago
- Numerical Methods with Python, Numpy and Matplotlib☆10Jul 17, 2022Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 🐧 A curated list of Linux developer resources 🐧☆24Apr 20, 2017Updated 9 years ago
- This project captures the screen of the NoxPlayer that is using DirectX/OpenGL for representation of its screen.☆11Mar 13, 2020Updated 6 years ago
- 2D framing / pixel structural optimization (beyondAEC 2018 hackathon project)☆15Jul 28, 2018Updated 7 years ago
- Code for Model-Free Opponent Shaping (ICML 2022)☆24Nov 18, 2022Updated 3 years ago
- A .NET library, that allows to download videos from YouTube and/or extract their audio track (currently only for flash videos).☆15May 21, 2017Updated 9 years ago
- ☆18Jan 25, 2021Updated 5 years ago
- Demo nextjs repo with rust WebAssembly☆25Nov 29, 2024Updated last year