Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)
☆15Jul 15, 2023Updated 2 years ago
Alternatives and similar repositories for courseragalois
Users that are interested in courseragalois 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 own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- OpenBLAS binding for go☆14Mar 24, 2023Updated 3 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 6 years ago
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆16Sep 1, 2022Updated 3 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- 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.
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Fast time library☆20Jul 1, 2025Updated 9 months ago
- ☆11Jul 8, 2018Updated 7 years ago
- The Grand Scheme Glossary☆32May 29, 2025Updated 10 months ago
- LLIR cross-language post-link optimiser for OCaml and C☆19Mar 27, 2022Updated 4 years ago
- ☆19Feb 22, 2017Updated 9 years ago
- ☆38Apr 19, 2025Updated 11 months ago
- ☆10Feb 20, 2020Updated 6 years ago
- The repository includes several sample projects which show how to create apps for YotaPhone☆12Apr 16, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Differentiable MPC in Chainer, developed as part of PFN summer internship 2019.☆15Aug 23, 2022Updated 3 years ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 5 years ago
- SPSC: A Small Positive Supercompiler☆40Feb 12, 2026Updated last month
- http://a-terada.github.com/lamp/☆14Jul 14, 2023Updated 2 years ago
- Typing practice for developers. https://beznosd.github.io/codetype/☆18Jun 6, 2017Updated 8 years ago
- Data Structure Optimization for Functional Programs☆34Feb 26, 2019Updated 7 years ago
- Demo notebook of Ibis for "Spark + Python + Dita science Festival"☆12Jul 28, 2016Updated 9 years ago
- Build Neo4j graphs from Datashare projects☆15Jan 15, 2026Updated 2 months ago
- BibTEX support for GOST standard bibliographies☆27Dec 30, 2020Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This is a pip package implementing Reinforcement Learning algorithms in non-stationary environments supported by the OpenAI Gym toolkit.☆32Jun 5, 2019Updated 6 years ago
- Golang binding for Menoh DNN inference library☆15Nov 1, 2018Updated 7 years ago
- The AndroidIDE Documentation☆13Jan 12, 2024Updated 2 years ago
- Unofficial IntelliJ plugin for Mozilla's UniFFI Definition Language (UDL)☆14Feb 9, 2026Updated 2 months ago
- Rust binding for Menoh☆14Jan 29, 2019Updated 7 years ago
- Tone Analyzer Demo for Fresh Machine Learning #3☆11Jul 16, 2016Updated 9 years ago
- The GRAphical Scheme Programming Environment☆50Updated this week
- C# binding for Menoh DNN inference library☆15Oct 25, 2018Updated 7 years ago
- 3rd place solution for ALASKA2 Image Steganalysis on Kaggle☆12Mar 3, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Spark + Python for Maketing Analytics☆10Apr 19, 2017Updated 8 years ago
- RingCentral Embeddable with Electron. Support Linux/Unix (Community)☆42Updated this week
- This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improv…☆12Mar 12, 2026Updated 3 weeks ago
- A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.☆19Dec 21, 2018Updated 7 years ago
- A simple Servlet to validate RDF files☆36Feb 20, 2024Updated 2 years ago
- the translator from C headers to another language (currently, Ada only)☆19Apr 27, 2024Updated last year
- Write formal proofs in natural language and LaTeX.☆48Dec 18, 2025Updated 3 months ago