Skip to content
View cwhy's full-sized avatar

Block or report cwhy

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

logic programming in Rust

Rust 393 16 Updated Oct 6, 2024
Rust 6 2 Updated Sep 30, 2024

🍉 Reactive & asynchronous database for powerful React and React Native apps ⚡️

JavaScript 10,516 589 Updated Aug 22, 2024

📝 Web-based, reactive Datalog notebooks for data analysis and visualization

Rust 601 25 Updated Feb 16, 2023

A tiny (<100 LOC), toy implementation of Datalog in Typescript.

TypeScript 6 Updated Aug 22, 2020

a datalog interpreter in typescript

TypeScript 200 8 Updated Oct 7, 2024

Solve puzzles. Learn CUDA.

Jupyter Notebook 9,404 847 Updated Sep 1, 2024

LeanRL is a fork of CleanRL, where selected PyTorch scripts optimized for performance using compile and cudagraphs.

Python 390 12 Updated Sep 27, 2024

基于 ChatGPT API 的划词翻译浏览器插件和跨平台桌面端应用 - Browser extension and cross-platform desktop application for translation based on ChatGPT API.

TypeScript 23,714 1,723 Updated Sep 30, 2024

A minimal Pytorch Implementation of Stochastically Quantized Variational AutoEncoder (SQ-VAE) by Sony

Python 29 4 Updated Oct 16, 2023

A set of free MIT-licensed high-quality SVG icons for UI development.

JavaScript 21,452 1,279 Updated Jul 22, 2024

Tiny status page generated by a Python script

Python 1,050 56 Updated Oct 2, 2024

Some handy AI scripts

JavaScript 447 37 Updated Oct 3, 2024
Go 1,082 38 Updated Sep 10, 2024

A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!

Rust 3,365 100 Updated Aug 12, 2024

simplified query engine based on logic programming paradigm

Erlang 138 11 Updated Feb 21, 2019

A 2D Gaussian Splatting paper for no obvious reasons. Enjoy!

Jupyter Notebook 377 18 Updated Sep 12, 2024

Mimicking minikanren logic programming in Python using logpy/kanren library.

Python 8 Updated Apr 11, 2020

TinyDB is a lightweight document oriented database optimized for your happiness :)

Python 6,759 535 Updated Oct 5, 2024

My own custom 12ft.io replacement

Python 2,697 143 Updated Aug 21, 2024

💎 Robust job processing in Elixir, backed by modern PostgreSQL and SQLite3

Elixir 3,283 308 Updated Sep 30, 2024

Explorations with Geoffrey Hinton's Forward Forward algoithm

Python 32 7 Updated Jan 16, 2024
Python 2 1 Updated Dec 12, 2020

an editor for spoken-word audio with automatic transcription

TypeScript 1,651 38 Updated Oct 11, 2023

FastKAN: Very Fast Implementation of Kolmogorov-Arnold Networks (KAN)

Jupyter Notebook 347 45 Updated Jun 20, 2024

Simple web app that displays a Twitch chatter's messages on stream

Python 211 35 Updated Mar 28, 2024

App that lets you have a verbal conversation with OpenAi's GPT 4

Python 363 102 Updated Sep 3, 2024

ChatGPT in your Livebook

Elixir 34 1 Updated Oct 3, 2023

Interactive HTTP Client for Livebook w/ power-ups

Vue 210 2 Updated Jul 6, 2024

Implementation of VQ-VAE with a GPT-style sampler in the JAX and Haiku ecosystem.

Python 9 2 Updated Nov 23, 2023
Next