Solutions to the Real Analysis books by Professor Elon Lages Lima.
☆69Mar 13, 2026Updated 4 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 🔥☆23Aug 3, 2026Updated last week
- k theorem prover☆11Aug 16, 2022Updated 3 years ago
- ☆24Jul 11, 2026Updated 3 weeks ago
- A soothing theme with a pastel color palette☆11Oct 31, 2015Updated 10 years ago
- A package for creating a matrix product state (MPS) from a free fermion (Gaussian) state.☆10Dec 6, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆17Mar 7, 2023Updated 3 years ago
- 🐝🧇 Prototype template #lang for Pollen☆11Nov 24, 2025Updated 8 months ago
- Tight-binding calculations in Mathematica☆16Dec 18, 2025Updated 7 months ago
- Nomes próprios em Portugal☆22Feb 6, 2020Updated 6 years ago
- Quantum Machine Learning algorithms☆16Apr 3, 2024Updated 2 years ago
- Closure web engine☆17Jul 22, 2022Updated 4 years ago
- A command-line parser for Standard ML☆22Dec 29, 2025Updated 7 months ago
- Official JavaScript client for SlicingDice, Data Warehouse and Analytics Database as a Service.☆11Dec 15, 2018Updated 7 years ago
- Moved to https://github.com/RealityETH/monorepo/tree/main/packages/contracts☆15Dec 8, 2022Updated 3 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.
- A Python script that uses the Oxford Dictionary API to look up definitions using Rofi.☆15Aug 10, 2021Updated 5 years ago
- ☆10Mar 15, 2020Updated 6 years ago
- NumCosmo main code☆50Updated this week
- Experiements on how conditional mutual information affects the performance of neural quantum states.☆13Oct 31, 2024Updated last year
- Cours d'introduction au langage Python, inspiré du tutoriel Python traduit en français.☆10Jan 14, 2022Updated 4 years ago
- Complete implementation of MusicNet in Pytorch☆12Apr 15, 2020Updated 6 years ago
- General-purpose keymap management à-la Emacs☆15Jan 27, 2025Updated last year
- PhD-level course at [EMAp](https://emap.fgv.br/en)☆30Jul 8, 2026Updated last month
- Generative cellular automaton-like learning environments for RL.☆20Jan 30, 2025Updated last year
- 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.
- Repository to track global organizing☆49May 19, 2026Updated 2 months ago
- An OCaml modular and generalised parser combinator library.☆22Aug 15, 2021Updated 4 years ago
- My personal base configuration for nyxt browser with opinionated theme(s) and organization.☆16Jul 1, 2021Updated 5 years ago
- Court Decisions (Judgments) of UK courts including those of the High Courts, Courts of Appeal and the Supreme Court☆13Jul 7, 2018Updated 8 years ago
- Basic Prolog functionality for Common Lisp☆22Feb 12, 2018Updated 8 years ago
- Materials for short course on Bayesian inference at the Data Science Summer School☆13Jun 28, 2019Updated 7 years ago
- Tmux plugin to show current playing song with spotify-tui☆19Dec 17, 2022Updated 3 years ago
- Additions for working with F# Interactive, especially modified or added printers.☆22Jan 11, 2022Updated 4 years ago
- A porting of the Beamer "Metropolis" theme (https://github.com/matze/mtheme) to Libreoffice Impress.☆15Jan 11, 2018Updated 8 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.
- Benchmark of expression templates libraries☆44Apr 30, 2020Updated 6 years ago
- code from Piantadosi (2018)☆11Oct 6, 2021Updated 4 years ago
- A Patient-Oriented Prescription Programing Language☆20Jan 23, 2018Updated 8 years ago
- A binding to WebEngine Qt for Common Lisp☆18Jul 22, 2022Updated 4 years ago
- OCaml/MPI interface☆28Mar 8, 2026Updated 5 months ago
- data about OAB Exams☆11Oct 1, 2018Updated 7 years ago
- Bootstrapping setup for participants☆10Dec 29, 2021Updated 4 years ago