ivanmurashko / courseragaloisView external linksLinks
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
Sorting:
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- ☆39Apr 19, 2025Updated 9 months ago
- This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improv…☆12Nov 13, 2025Updated 3 months ago
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Jan 1, 2024Updated 2 years ago
- ☆13Jul 22, 2022Updated 3 years ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆24Jan 11, 2026Updated last month
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- Computer Systems Lab☆11Oct 16, 2025Updated 3 months ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆10Jan 18, 2024Updated 2 years ago
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- ☆13Sep 5, 2024Updated last year
- The AndroidIDE Documentation☆12Jan 12, 2024Updated 2 years ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- Tone Analyzer Demo for Fresh Machine Learning #3☆11Jul 16, 2016Updated 9 years ago
- My solutions to problems in Programming Pearls (Jon Bentley)☆12Apr 16, 2020Updated 5 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- IITM Paradigms of Programming -- Monsoon 2025☆18Nov 17, 2025Updated 2 months ago
- Hardware Description Language on FPGA☆10Sep 18, 2023Updated 2 years ago
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 4 months ago
- 非雇员OD管理复盘与面试改进思考☆16Jul 2, 2025Updated 7 months ago
- Using Git to Code, Collaborate and Share☆14Oct 9, 2024Updated last year
- CS 496: Special Topics in Data Systems Seminar (Fall 2022)☆11Nov 15, 2022Updated 3 years ago
- Promise free Async/await☆10Dec 30, 2022Updated 3 years ago
- 2023 中国开源年度报告;2023 China Open Source Report☆16May 10, 2024Updated last year
- Assignments of CSCE-642: Deep Reinforcement Learning offered at Texas A&M University.☆10Aug 31, 2025Updated 5 months ago
- Get a free freebsd shell☆13Nov 8, 2025Updated 3 months ago
- Repository containing examples of usage of pcb-rs☆10Apr 8, 2022Updated 3 years ago
- My personal dotifles☆12Sep 20, 2025Updated 4 months ago
- Portable Coroutine Library (unofficial fork -- original by Davide Libenzi http://www.xmailserver.org/libpcl.html )☆10Feb 28, 2011Updated 14 years ago
- PolyLib official git.☆11Jan 27, 2026Updated 2 weeks ago
- ☆12Aug 8, 2022Updated 3 years ago
- ☆11Jul 8, 2018Updated 7 years ago
- Typed python equivalent for R pipes.☆13Oct 16, 2022Updated 3 years ago
- ☆11May 14, 2023Updated 2 years ago