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
- Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feat…☆17Sep 1, 2022Updated 4 years ago
- SLAYER ported to Racket☆21Jun 15, 2019Updated 7 years ago
- vim plugin that makes vim syntax highlighting engine available in pandoc☆17Nov 18, 2024Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A tool for generating Chinese characters stamp image☆12Oct 21, 2013Updated 13 years ago
- Haskell on vim☆14Apr 23, 2015Updated 11 years ago
- Verifying Integer Programming Results☆10Jan 7, 2025Updated last year
- MiniSat 2.0 for Empscripten☆10Aug 19, 2014Updated 12 years ago
- LLIR cross-language post-link optimiser for OCaml and C☆20Mar 27, 2022Updated 4 years ago
- Snapshot of code used for the ISMM 2012 paper "GPUs as an Opportunity for Offloading Garbage Collection"☆10Nov 9, 2012Updated 13 years ago
- Typing practice for developers. https://beznosd.github.io/codetype/☆18Jun 6, 2017Updated 9 years ago
- The Grand Scheme Glossary☆32May 29, 2025Updated last year
- The repository includes several sample projects which show how to create apps for YotaPhone☆12Apr 16, 2017Updated 9 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.
- Prediction of Treewidth using Graph Neural Network, developed as part of PFN summer internship 2019.☆11Oct 10, 2019Updated 7 years ago
- An experiment around automated theorem proving in Haskell☆13Aug 2, 2026Updated 2 months ago
- NN Optimization IR☆10Oct 13, 2026Updated 2 weeks ago
- ☆11Jul 8, 2018Updated 8 years ago
- ☆11Feb 20, 2020Updated 6 years ago
- Alternate CSS styles for Hackage source listing (or any hscolour project)☆16Dec 2, 2014Updated 11 years ago
- Data Structure Optimization for Functional Programs☆34Feb 26, 2019Updated 7 years ago
- SPSC: A Small Positive Supercompiler☆41Feb 12, 2026Updated 8 months ago
- Wraps a simple web API around a Wemo Switch☆13Sep 25, 2013Updated 13 years ago
- 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.
- pure Haskell implementation of reduced ordered binary decision diagrams☆11Mar 15, 2024Updated 2 years ago
- yet another toy OCaml interpreter in Haskell☆12Jul 5, 2020Updated 6 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
- Demo notebook of Ibis for "Spark + Python + Dita science Festival"☆12Jul 28, 2016Updated 10 years ago
- ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming☆16Nov 12, 2018Updated 7 years ago
- Differentiable MPC in Chainer, developed as part of PFN summer internship 2019.☆16Aug 23, 2022Updated 4 years ago
- BibTEX support for GOST standard bibliographies☆27Dec 30, 2020Updated 5 years ago
- Golang binding for Menoh DNN inference library☆15Nov 1, 2018Updated 8 years ago
- CMS data quality monitoring☆11Aug 9, 2018Updated 8 years ago
- 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.
- [research] A modular SMT solver in OCaml, based on mcSAT☆37Jan 1, 2024Updated 2 years ago
- Build Neo4j graphs from Datashare projects☆16Jul 23, 2026Updated 3 months ago
- Tone Analyzer Demo for Fresh Machine Learning #3☆11Jul 16, 2016Updated 10 years ago
- The GRAphical Scheme Programming Environment☆50Updated this week
- Rust binding for Menoh☆14Jan 29, 2019Updated 7 years ago
- A serialization library for Haskell that provides support for Apache Thrift.☆24Jun 29, 2026Updated 4 months ago
- Spark + Python for Maketing Analytics☆10Apr 19, 2017Updated 9 years ago