☆17Oct 30, 2017Updated 8 years ago
Alternatives and similar repositories for judson-abstract-algebra-solutions
Users that are interested in judson-abstract-algebra-solutions are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- A minimalistic MVC framework , for real PHP developers, by real PHP developers.☆11Nov 28, 2023Updated 2 years ago
- A LaTeX package to make theorem names link to coqdoc webpages. Works with ntheorem, amsthm and the LLNCS and LIPIcs classes.☆21May 22, 2019Updated 7 years ago
- Adds the humanize method to reports the approximate distance in time between two Time. humanize supports i18n translations too so it can …☆26Jun 29, 2026Updated 3 months ago
- 🌀🖥️ The Fibonacci Sequence Implemented in COBOL☆14Oct 26, 2018Updated 7 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.
- Source code accompanying a blog entry on UHC's Javascript backend☆15Oct 26, 2010Updated 15 years ago
- Lambda calculus parser in Haskell☆15Jul 18, 2026Updated 2 months ago
- A small Coq library for collecting side conditions and deferring their proof☆26Oct 14, 2019Updated 6 years ago
- ⛓ A Crystal library for building Markov Chains and running Markov Processes.☆20Mar 22, 2021Updated 5 years ago
- ☆21Jun 11, 2020Updated 6 years ago
- High Resolution Class Activation Mapping for Discriminative Feature Localization☆13Jan 7, 2021Updated 5 years ago
- Code for the paper "Semi-Conditional Normalizing Flows for Semi-Supervised Learning"☆11Mar 30, 2020Updated 6 years ago
- Easily cache Open Weather Map API calls, and string multiple free accounts together.☆15Dec 10, 2022Updated 3 years ago
- A lambda calculus interpreter in Python☆20Aug 17, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A compiler for a simple language using llvm☆38Jun 14, 2023Updated 3 years ago
- Efficiently send large arrays across machines☆15Jul 24, 2024Updated 2 years ago
- kernel threads in xv6☆14Apr 16, 2021Updated 5 years ago
- Code for Canonical 3D Deformable Mapping (C3DM) paper☆20Sep 19, 2021Updated 5 years ago
- ☆10Sep 21, 2024Updated 2 years ago
- Unified sensor driver for the Adafruit 9DOF Breakout☆20Aug 13, 2021Updated 5 years ago
- Inference code for "StylePeople: A Generative Model of Fullbody Human Avatars" paper. This code is for the part of the paper describing v…☆13Aug 18, 2023Updated 3 years ago
- A (crude) differentiable implementation of The Heat Method for Distance Computation (Geodesics in Heat), by Crane Et Al.☆11Jul 13, 2021Updated 5 years ago
- The axiom profiler for exploring and visualizing SMT solver quantifier instantiations (made via E-matching).☆32Feb 13, 2025Updated last year
- 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.
- ☆11Feb 19, 2021Updated 5 years ago
- A Chapel library for Machine Learning that supports distributed inference, automatic differentiation, and CUDA/HIP utilization.☆33Jun 6, 2025Updated last year
- A native shadertoy-compatible GLSL fragment shader previewer☆33Dec 10, 2017Updated 8 years ago
- Interpreter for simply typed lambda calculus implemented in JavaScript λ☆35Aug 7, 2017Updated 9 years ago
- The repository for the Deep Learning practicals of the ASCI Computer Vision by Learning course 2022☆14May 11, 2022Updated 4 years ago
- Apify actor extracting data from Zalando☆15May 18, 2024Updated 2 years ago
- ☆10Updated this week
- ☆12Dec 9, 2020Updated 5 years ago
- Joint Image and textual feature Fashion Style search☆12Apr 7, 2020Updated 6 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.
- Ability to execute crystal code in a fashion similar to pry edit.☆34Oct 30, 2021Updated 4 years ago
- Local-first cli todo list manager written in Rust☆18Jun 18, 2025Updated last year
- ☆20Mar 21, 2017Updated 9 years ago
- ☆15Mar 31, 2022Updated 4 years ago
- ☆15Dec 28, 2020Updated 5 years ago
- Official implementation of Deep Factorized Metric Learning.☆20Jun 6, 2023Updated 3 years ago
- Official PyTorch implementation of "Energy-Based Contrastive Learning of Visual Representations", NeurIPS 2022 Oral Paper☆13Oct 2, 2022Updated 4 years ago