lserafin/omarchy
Beautiful, Modern & Opinionated Linux
Building Checkname.ch • Legaltech, Agents, Data Engineering
Repositories
lserafin/lita-matching
lserafin/fmm-17-32
670 exactly verified integer schemes for rectangular fast matrix multiplication, dimensions 17-32: 13 improved upper bounds, machine-checkable certificates
lserafin/open-webui
User-friendly AI Interface (Supports Ollama, OpenAI API, ...)
lserafin/private-ml-sdk
Run LLMs and agents on TEEs leveraging NVIDIA GPU TEE and Intel TDX technologies.
lserafin/caselaw-repo-1
lserafin/LiveTerm
💻 Build terminal styled websites in minutes!
lserafin/agent-skills
Production-grade engineering skills for AI coding agents.
lserafin/lserafin
lserafin/duckdb
DuckDB is an analytical in-process SQL database management system
lserafin/airflow
Apache Airflow - A platform to programmatically author, schedule, and monitor workflows
lserafin/prefect
Prefect is a workflow orchestration framework for building resilient data pipelines in Python.
lserafin/claude-howto
A visual, example-driven guide to Claude Code — from basic concepts to advanced agents, with copy-paste templates that bring immediate value.
lserafin/timesfm
TimesFM (Time Series Foundation Model) is a pretrained time-series foundation model developed by Google Research for time-series forecasting.
lserafin/oh-my-codex
OmX - Oh My codeX: Your codex is not alone. Add hooks, agent teams, HUDs, and so much more.
lserafin/MiroFish
A Simple and Universal Swarm Intelligence Engine, Predicting Anything. 简洁通用的群体智能引擎，预测万物
lserafin/browser-solidity
Browser-Only Solidity IDE and Runtime Environment
lserafin/image-search-example
lserafin/generative-ai-for-beginners
18 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
lserafin/Fusion.Samples
Fusion Samples
lserafin/vite-excalibur-starter-minimal
lserafin/vite-excalibur-starter
Created with StackBlitz ⚡️
lserafin/react-vite-shadcn-ui-starter
lserafin/snake-game-in-typescript
Pixel Art Snake
lserafin/Colaboratory
Colaboratory notebooks
lserafin/askmybook
lserafin/CryptoConverter
WebApp to convert between any two cryptocurrencies
lserafin/postflop-solver
An open-source postflop solver library written in Rust
lserafin/wasm-postflop
A free and open-source GTO solver for Texas hold'em poker that works on web browsers