Solutions to the Real Analysis books by Professor Elon Lages Lima.
☆63Mar 13, 2026Updated last week
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 🔥☆21Updated this week
- Uma introdução rápida e prática a aos conceitos básicos do Git☆13Mar 25, 2024Updated 2 years ago
- SNARK - SRI's New Automated Reasoning Kit☆19Feb 24, 2025Updated last year
- A soothing theme with a pastel color palette☆11Oct 31, 2015Updated 10 years ago
- Resoluções de problemas básicos com Python☆21Oct 16, 2020Updated 5 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.
- Implementations of the renormalization group-based diffusion model (RGDM).☆16Mar 10, 2025Updated last year
- Fast Image Inpainting Based on Coherence Transport☆17Feb 10, 2020Updated 6 years ago
- Neural Error Mitigation of Near-Term Quantum Simulations (arXiv:2105.08086)☆10Jul 6, 2022Updated 3 years ago
- Fork of test page of ... (update later)☆12Aug 6, 2020Updated 5 years ago
- This repo contains a sample configuration that allows an fsharp project w/ sql provider to 1. build on CI and 2. build a docker image☆10Dec 1, 2021Updated 4 years ago
- DrRacket plugins for better autocompletion☆66Jul 14, 2024Updated last year
- Tools I've written in Python which are useful/necessary for my research☆10Jul 3, 2018Updated 7 years ago
- ☆28Aug 22, 2025Updated 7 months ago
- An interpreter for the Sal programming language written in Zig☆14Mar 24, 2025Updated last year
- 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.
- Quantum Machine Learning algorithms☆16Apr 3, 2024Updated last year
- ☆10Mar 15, 2020Updated 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 2 years ago
- Moved to https://github.com/RealityETH/monorepo/tree/main/packages/contracts☆15Dec 8, 2022Updated 3 years ago
- Substratic Engine - A game engine for Gambit Scheme☆11Jul 10, 2020Updated 5 years ago
- A Python script that uses the Oxford Dictionary API to look up definitions using Rofi.☆15Aug 10, 2021Updated 4 years ago
- Fast and memory-efficient exact attention☆10Aug 6, 2023Updated 2 years ago
- Non-linear Motion Estimation for Video Frame Interpolation using Space-time Convolutions☆20Jun 23, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Provides tools for downloading, reading and analyzing the PNS, a household survey from Brazilian Institute of Geography and Statistics - …☆16Feb 2, 2024Updated 2 years ago
- General-purpose keymap management à-la Emacs☆15Jan 27, 2025Updated last year
- Python scripts to read a Portuguese Wikipedia XML dump file, parse it and generate plain text files.☆14Mar 12, 2014Updated 12 years ago
- An OCaml modular and generalised parser combinator library.☆22Aug 15, 2021Updated 4 years ago
- Generative cellular automaton-like learning environments for RL.☆20Jan 30, 2025Updated last year
- My personal base configuration for nyxt browser with opinionated theme(s) and organization.☆16Jul 1, 2021Updated 4 years ago
- Repository to track global organizing☆49May 29, 2024Updated last year
- Basic Prolog functionality for Common Lisp☆21Feb 12, 2018Updated 8 years ago
- ☆11Feb 3, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- code from Piantadosi (2018)☆11Oct 6, 2021Updated 4 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
- ☆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 10 months ago
- Convolutional neural net to classify states of the classical Ising gauge theory (TensorFlow)☆10May 10, 2016Updated 9 years ago
- Image Inpainting PEN-Net CVPR-2019 Keras☆19Mar 24, 2023Updated 3 years ago
- Common Lisp Erlang Interface☆35Dec 31, 2022Updated 3 years ago