Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Cuda
- D
- Dart
- Dhall
- Dockerfile
- Elixir
- Elm
- Emacs Lisp
- Erlang
- F#
- Gleam
- Go
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- Lean
- Lua
- MATLAB
- MDX
- Markdown
- Nix
- Nunjucks
- OCaml
- Objective-C
- OpenSCAD
- PHP
- PLSQL
- Perl
- PureScript
- Python
- R
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- ShaderLab
- Shell
- Spline Font Database
- Standard ML
- Svelte
- Swift
- Tcl
- TeX
- TypeScript
- Vala
- Verilog
- Vim Script
- Vue
- Zig
🍉 Reactive & asynchronous database for powerful React and React Native apps ⚡️
📝 Web-based, reactive Datalog notebooks for data analysis and visualization
A tiny (<100 LOC), toy implementation of Datalog in Typescript.
LeanRL is a fork of CleanRL, where selected PyTorch scripts optimized for performance using compile and cudagraphs.
基于 ChatGPT API 的划词翻译浏览器插件和跨平台桌面端应用 - Browser extension and cross-platform desktop application for translation based on ChatGPT API.
A minimal Pytorch Implementation of Stochastically Quantized Variational AutoEncoder (SQ-VAE) by Sony
A set of free MIT-licensed high-quality SVG icons for UI development.
Tiny status page generated by a Python script
A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!
simplified query engine based on logic programming paradigm
A 2D Gaussian Splatting paper for no obvious reasons. Enjoy!
Mimicking minikanren logic programming in Python using logpy/kanren library.
TinyDB is a lightweight document oriented database optimized for your happiness :)
💎 Robust job processing in Elixir, backed by modern PostgreSQL and SQLite3
Explorations with Geoffrey Hinton's Forward Forward algoithm
an editor for spoken-word audio with automatic transcription
FastKAN: Very Fast Implementation of Kolmogorov-Arnold Networks (KAN)
Simple web app that displays a Twitch chatter's messages on stream
App that lets you have a verbal conversation with OpenAi's GPT 4
Implementation of VQ-VAE with a GPT-style sampler in the JAX and Haiku ecosystem.