Official Repo for "TheoremExplainAgent: Towards Multimodal Explanations for LLM Theorem Understanding"

A curated list of awesome things related to shadcn/ui.

A high performance and flexible authorization/permission engine built for developers and inspired by Google Zanzibar

chDB is an in-process OLAP SQL Engine 🚀 powered by ClickHouse

A lightweight data processing framework built on DuckDB and 3FS.

A list of Free Software network services and web applications which can be hosted on your own servers

Babylon.js is a powerful, beautiful, simple, and open game and rendering engine packed into a friendly JavaScript framework.

Markdown editor with pandoc integration and paginated preview.

Data science Python notebooks: Deep learning (TensorFlow, Theano, Caffe, Keras), scikit-learn, Kaggle, big data (Spark, Hadoop MapReduce, HDFS), matplotlib, pandas, NumPy, SciPy, Python essentials,…

Seamless navigation between tmux panes and vim splits

A collaboratively written review paper on deep learning, genomics, and precision medicine

Enabling journalists, citizen scientists, humanitarian workers and others to detect “patterns of interest” in satellite imagery.

SQL Server DBI for R, based on the jTDS driver

Visual Studio Code SQL Server extension.

Reproducing images with geometric primitives.

The solution of team 'grt123' in DSB2017

◾Resonance | 5kb React animation library

SSH2 client and server modules written in pure JavaScript for node.js

A versioned, comprehensive kit of the Carbon Design System visual assets (components, icons, pictograms, text styles, color styles, grid templates).

A design system built by IBM

A Python Object-Document-Mapper for working with MongoDB

A curated list of useful resources for JavaScript Promises

A Workshopper module that teaches you to use promises in javascript

a cross-platform, terminal-based music player, audio engine, metadata indexer, and server in c++

Open Source ML Model Versioning, Metadata, and Experiment Management

Modular visual interface for GDB in Python

Browse Hacker News like a haxor: A Hacker News command line interface (CLI).

Fuzzy Logic SciKit (Toolkit for SciPy)

Assignments for CS294-112.