Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)
☆16Jul 15, 2023Updated 3 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 7 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
- vim plugin that makes vim syntax highlighting engine available in pandoc☆17Nov 18, 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.
- ☆11Jul 8, 2018Updated 8 years ago
- LLIR cross-language post-link optimiser for OCaml and C☆20Mar 27, 2022Updated 4 years ago
- The Grand Scheme Glossary☆32May 29, 2025Updated last year
- Typing practice for developers. https://beznosd.github.io/codetype/☆18Jun 6, 2017Updated 9 years ago
- The repository includes several sample projects which show how to create apps for YotaPhone☆12Apr 16, 2017Updated 9 years ago
- Alternate CSS styles for Hackage source listing (or any hscolour project)☆16Dec 2, 2014Updated 11 years ago
- ☆11Feb 20, 2020Updated 6 years ago
- SPSC: A Small Positive Supercompiler☆41Feb 12, 2026Updated 5 months ago
- Differentiable MPC in Chainer, developed as part of PFN summer internship 2019.☆16Aug 23, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 6 years ago
- Data Structure Optimization for Functional Programs☆34Feb 26, 2019Updated 7 years ago
- This is a pip package implementing Reinforcement Learning algorithms in non-stationary environments supported by the OpenAI Gym toolkit.☆32Jun 5, 2019Updated 7 years ago
- http://a-terada.github.com/lamp/☆14Jul 14, 2023Updated 3 years ago
- Build Neo4j graphs from Datashare projects☆15Jul 23, 2026Updated 2 weeks ago
- Demo notebook of Ibis for "Spark + Python + Dita science Festival"☆12Jul 28, 2016Updated 10 years ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆37Jan 1, 2024Updated 2 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Golang binding for Menoh DNN inference library☆15Nov 1, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- BibTEX support for GOST standard bibliographies☆27Dec 30, 2020Updated 5 years ago
- Unofficial IntelliJ plugin for Mozilla's UniFFI Definition Language (UDL)☆14Feb 9, 2026Updated 6 months ago
- Rust binding for Menoh☆14Jan 29, 2019Updated 7 years ago
- dim / 3D Application based on SVG for graphic designers☆20Updated this week
- Tone Analyzer Demo for Fresh Machine Learning #3☆11Jul 16, 2016Updated 10 years ago
- The GRAphical Scheme Programming Environment☆49Jul 28, 2026Updated last week
- Spark + Python for Maketing Analytics☆10Apr 19, 2017Updated 9 years ago
- C# binding for Menoh DNN inference library☆15Oct 25, 2018Updated 7 years ago
- Vulnerable Web App☆13Nov 11, 2015Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 3rd place solution for ALASKA2 Image Steganalysis on Kaggle☆12Mar 3, 2021Updated 5 years ago
- Synthetic identity documents dataset☆48Mar 4, 2025Updated last year
- A pagination plugin for List.js☆24Feb 4, 2017Updated 9 years ago
- the translator from C headers to another language (currently, Ada only)☆20Apr 27, 2024Updated 2 years ago
- A simple Servlet to validate RDF files☆40Feb 20, 2024Updated 2 years ago
- RingCentral Embeddable with Electron. Support Linux/Unix (Community)☆43Updated this week
- Source code and data for "Vladimir Putin is dragging the world back to a bloodier time"☆15Nov 4, 2022Updated 3 years ago