Materials for the AI in Mathematical Research course
☆93Mar 6, 2026Updated this week
Alternatives and similar repositories for ai-in-math-course
Users that are interested in ai-in-math-course are comparing it to the libraries listed below
Sorting:
- A simple Javascript website to fix common EPUB problem for Amazon's Send to Kindle.☆10Jun 7, 2023Updated 2 years ago
- Career Assistant: Search for IT Companies Careers without going to their careers page☆14Updated this week
- Repository for score-based transport modeling.☆11Jul 22, 2023Updated 2 years ago
- THIS PROJECT IS DEPRECATED IN FAVOUR OF https://github.com/moonlibs/tarantoolapp☆10Jun 23, 2018Updated 7 years ago
- ☆11Apr 6, 2023Updated 2 years ago
- f("A1") = 𓀀; also A1.png☆12Jul 19, 2025Updated 7 months ago
- Word2Vec implementation☆11Jun 20, 2022Updated 3 years ago
- ☆12May 22, 2020Updated 5 years ago
- RuCLIP-SB (Russian Contrastive Language–Image Pretraining SWIN-BERT) is a multimodal model for obtaining images and text similarities and…☆14Jan 25, 2022Updated 4 years ago
- The project to find correlation between tweets and future stock prices☆12Feb 28, 2023Updated 3 years ago
- RPG игра. Технопарк Mail.Ru 1 семестр☆10Apr 17, 2021Updated 4 years ago
- Plugin for dokku that automatically persist docker volumes declared in the Dockerfile☆16Mar 16, 2016Updated 9 years ago
- Interpret a string literal at the beginning of a function as its documentation.☆16Aug 15, 2016Updated 9 years ago
- ☆16Sep 24, 2015Updated 10 years ago
- go vshard-router implementation for tarantool☆16Sep 19, 2025Updated 5 months ago
- A simple javascript library to turn MySQL Explain JSON into vector UML sequence diagrams☆12Jul 13, 2025Updated 7 months ago
- MMLU eval for RU/EN☆15Jul 31, 2023Updated 2 years ago
- Open and close your dokku app's ports.☆20Jul 2, 2023Updated 2 years ago
- Deevs' dotfiles☆19Updated this week
- ☆18Oct 23, 2024Updated last year
- Simple expiring cache☆15Mar 14, 2017Updated 8 years ago
- Spark Streaming ETL jobs for Mozilla Telemetry☆18Dec 5, 2019Updated 6 years ago
- Autodocumented Directives fo akka-http.☆17Jul 29, 2024Updated last year
- ☆17Oct 22, 2024Updated last year
- Repo for Crypto Option Calibration project in CMF☆14Dec 10, 2022Updated 3 years ago
- Spellcheck, phonetics, text processing and more☆19Aug 3, 2022Updated 3 years ago
- Plugin for dokku that provides a MariaDB server in a single container☆10Aug 27, 2015Updated 10 years ago
- A compilation of golang tutorials, articles, talks, etc☆15Jan 8, 2020Updated 6 years ago
- Scala ZIO-powered Apache Arrow library☆22Jun 15, 2025Updated 8 months ago
- Module for unloading previously loaded modules☆15Aug 21, 2024Updated last year
- Tarantool Queue bindings for python/asyncio☆18Oct 25, 2017Updated 8 years ago
- Deployment and Cluster orchestration tools made by developers for developers.☆34Mar 7, 2016Updated 10 years ago
- A QUIC transport for mangos (scalability protocols) written in pure Go☆24Sep 5, 2018Updated 7 years ago
- Github repository for NLA2020 course☆87Jan 7, 2021Updated 5 years ago
- ☆44Mar 2, 2026Updated last week
- A tiny http server written in Bash which supports CGI like scripting in Bash☆31Sep 26, 2018Updated 7 years ago
- Jupiter is an orchestrator for Dispersed (Networked) Computing that uses Docker containers and Kubernetes.☆23Jan 24, 2023Updated 3 years ago
- The solution and code for NTO AI Olympics 2022.☆19Sep 20, 2022Updated 3 years ago
- A minimal Neovim plugin to run the Cursor Agent CLI inside a centered floating terminal.☆54Aug 8, 2025Updated 7 months ago