Solutions to the Real Analysis books by Professor Elon Lages Lima.
☆68Mar 13, 2026Updated 2 months ago
Alternatives and similar repositories for elon-analise-real
Users that are interested in elon-analise-real are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 🛠️ My NixOS configuration & dotfiles dumpster fire 🔥☆22May 14, 2026Updated 2 weeks ago
- A soothing theme with a pastel color palette☆11Oct 31, 2015Updated 10 years ago
- This software takes in an error function or point cloud as input and selectively refines erroneous finite element regions. It is based on…☆15Dec 17, 2020Updated 5 years ago
- JAX-accelerated time-series forecasting library. Fast, scalable, and NumPy-compatible.☆56Updated this week
- Tools I've written in Python which are useful/necessary for my research☆10Jul 3, 2018Updated 7 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.
- ☆28Aug 22, 2025Updated 9 months ago
- Demonstrating technical elements in support of open source securitisation frameworks☆14Sep 5, 2024Updated last year
- Quantum Machine Learning algorithms☆16Apr 3, 2024Updated 2 years ago
- Org babel functions for prolog evaluation.☆13Nov 4, 2019Updated 6 years ago
- Official JavaScript client for SlicingDice, Data Warehouse and Analytics Database as a Service.☆11Dec 15, 2018Updated 7 years ago
- Given an input RGB image, we generate novel viewpoints that simulate a 3D interactive experience.☆23Apr 26, 2023Updated 3 years ago
- Moved to https://github.com/RealityETH/monorepo/tree/main/packages/contracts☆15Dec 8, 2022Updated 3 years ago
- A Python script that uses the Oxford Dictionary API to look up definitions using Rofi.☆15Aug 10, 2021Updated 4 years ago
- correlationMatrix is a Python powered library for the statistical analysis and visualization of correlations☆14Dec 17, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Fast and memory-efficient exact attention☆10Aug 6, 2023Updated 2 years ago
- Scalable Computation of Hessian Diagonals☆14Jun 2, 2024Updated last year
- NumCosmo main code☆50May 21, 2026Updated last week
- Generative cellular automaton-like learning environments for RL.☆20Jan 30, 2025Updated last year
- Linear lens☆21Feb 14, 2024Updated 2 years ago
- Parallax mapping demonstration, comparison with normal mapping. C++/OpenGL,GLSL☆22Nov 28, 2016Updated 9 years ago
- Court Decisions (Judgments) of UK courts including those of the High Courts, Courts of Appeal and the Supreme Court☆13Jul 7, 2018Updated 7 years ago
- code from Piantadosi (2018)☆11Oct 6, 2021Updated 4 years ago
- OpenGL ES: Render A 2D texture in Android App☆17May 17, 2022Updated 4 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.
- ☆13Feb 24, 2023Updated 3 years ago
- This project is an "Hexstreamification" of Robert Strandh's public domain HTML version of the CLOS MOP. It is by far the best version of …☆14May 11, 2025Updated last year
- Convolutional neural net to classify states of the classical Ising gauge theory (TensorFlow)☆10May 10, 2016Updated 10 years ago
- ☆12May 14, 2026Updated 2 weeks ago
- Page for the SML book☆54Mar 4, 2026Updated 2 months ago
- A bit of boiler plate / demo code to perform some static analysis on your re-frame subscriptions and events using Cli-Kondo!☆25Nov 22, 2021Updated 4 years ago
- data about OAB Exams☆12Oct 1, 2018Updated 7 years ago
- [WIP] Pure OCaml bindings to the X11 protocol☆26Sep 10, 2025Updated 8 months ago
- Leiningen plugin to run clj-kondo☆16Updated this week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Repository for material accompanying the ptvmc systematic study paper☆16Nov 17, 2025Updated 6 months ago
- ☆20Updated this week
- Analyzing different ML model comparison metrics☆17Jan 20, 2024Updated 2 years ago
- Use a good old Makefile in lieu of Pipenv, Poetry etc.☆11Jul 13, 2023Updated 2 years ago
- OpenGL ES-powered .ply reader for Android!☆21Dec 24, 2015Updated 10 years ago
- Fork of synergy android to make it compatible with barrier☆20Jun 3, 2021Updated 4 years ago
- The Mesche Compiler☆18Nov 27, 2022Updated 3 years ago