Lists (1)
Stars
Lean 4 programming language and theorem prover
OK影视、tvbox配置文件，如果喜欢，请Fork自用。使用前请仔细阅读仓库说明，一旦使用将被视为你已了解。
A nanoGPT pipeline packed in a spreadsheet
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
3D City Database - The Open Source CityGML Database
A VSCode Extension that uses the Clingo Answer Set Solver (bundled), developed by Potassco (University of Potsdam).
An updated (2025) guide to Deep Learning for tabular data, comparing a fine-tuned Keras 3 (PyTorch backend) DNN and an Optuna-optimized XGBoost model on the Kaggle Amazon Employee Access Challenge
A ShiftIt like Hammerspoon window management configuration
SPARQL queries for the WikiData endpoint for use with the InfoRapid KnowledgeBase Builder
LaTeX support for the IntelliJ platform by JetBrains.
Scripting to perform a benchmark of virtual SPARQL endpoints based on R2RML mappings
https://openjdk.org/projects/jdk/15 released 2020-09-15
A Jupyter kernel to launch queries against SPARQL endpoints
Apache Flink example CEP program to monitor data center temperatures
Must-read papers on graph neural networks (GNN)
A Vega transform for SPARQL endpoints
Apache Flink 源码分析系列，基于 git tag 1.1.2
Mirror of the files at https://github.com/ontop/ontop-website/tree/master/.vuepress/public/tutorial . Do NOT push commits here as they would be lost after redeploying the website.
Get a stream of issues and pull requests for your chosen GitHub repository
Kafka Connect connector to stream data in real time from Twitter.
Lite Rx API Hands-On with Reactor Core 3