A modern smart contract platform for Cardano

A semantic Extension of TeX/LaTeX

A Gradio web UI for Large Language Models.

Python scraper based on AI

Ongoing Lean formalisation of the proof of Fermat's Last Theorem

A small program to detect gibberish using a Markov Chain

The official Meta Llama 3 GitHub site

LLM inference in C/C++

LLM training in simple, raw C/CUDA

18 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/

Implementing a ChatGPT-like LLM in PyTorch from scratch, step by step

Grok open release

Main repository of SageMath. Now open for Issues and Pull Requests.

This repository contains a script to scrape Facebook Marketplace data using Playwright, BeautifulSoup and Streamlit.

Config files for my GitHub profile.

Code used for the creation of OBELICS, an open, massive and curated collection of interleaved image-text web documents, containing 141M documents, 115B text tokens and 353M images.

Headless chrome/chromium automation library (unofficial port of puppeteer)

🤗 PEFT: State-of-the-art Parameter-Efficient Fine-Tuning.

Source code of AAAI21-Heterogeneous Graph Structure Learning for Graph Neural Networks

Python version of the Playwright testing and automation library.

Nostril: Nonsense String Evaluator

Cracow's roads graph analysis and exploration. Data exploration course on AGH UST Data Science Ms

Distributed training framework for TensorFlow, Keras, PyTorch, and Apache MXNet.

Different job examples running on Bridges-2

Student details, source code, and more for our HTMX + Django: Modern Django Web Apps, Hold the JavaScript course.

Collection of important articles to be treated as a textbook

Optimized primitives for collective multi-GPU communication