A comprehensive async Python library for TickTick with MCP support.

An implementation of Tiny Recursive Models (TRM)

An AI benchmark for creative, human-like problem solving using Sudoku variants

JuLS is a Julia Local Search solver that combines Constraint Based Local Search (CBLS) and Constraint Programming (CP)

Neural Combinatorial Optimization

Distribute and run LLMs with a single file.

filters arxiv daily results and emails

WebApps in pure Python. No JavaScript, HTML and CSS needed

An explainable inference software supporting annotated, real valued, graph based and temporal logic

MNIST semi-supervised learning experiments using differentiable fuzzy logic

PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.

This is the repo for the paper: CLR-DRNets: Curriculum learning with restarts to solve visual combinatorial games

Aim 💫 — An easy-to-use & supercharged open-source experiment tracker.

Apply Head Related Transfer Functions to audio by clicking and dragging the source location

The TextWorld KG Dataset from the paper Building Dynamic Knowledge Graphs from Text-based Games

✨✨Latest Papers and Benchmarks in Reasoning with Foundation Models

This repository holds the code for the NeurIPS 2022 paper, Semantic Probabilistic Layers

Official code for NeurIPS paper "Combinatorial Optimization for Panoptic Segmentation: A Fully Differentiable Approach".

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. Stored as pure Python. All in a modern, AI-native editor.

A PyTorch-based End-to-End Predict-then-Optimize Library for Linear and Integer Programming

[VISAPP 2024] Official implementation of "End-to-End Chess Recognition".

Get up and running with Kimi-K2.5, GLM-5, MiniMax, DeepSeek, gpt-oss, Qwen, Gemma and other models.

A minimal PyTorch re-implementation of the OpenAI GPT (Generative Pretrained Transformer) training

A markup-based typesetting system that is powerful and easy to learn.

A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.

A repository for log-time feedforward networks

Python API to search & get recipes from the 'marmiton.com' website (web crawler, unofficial)