- London
-
14:03
(UTC) - @salomartin
- in/salomartin
Lists (17)
Sort Name ascending (A-Z)
- All languages
- Assembly
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- Cuda
- Cython
- Dart
- Dockerfile
- Elixir
- Go
- HCL
- HTML
- Haskell
- Inform 7
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- Lean
- Lex
- Liquid
- Lua
- MATLAB
- MDX
- Makefile
- Mojo
- Objective-C
- PHP
- PLpgSQL
- Perl
- PostScript
- PowerShell
- Python
- R
- Rich Text Format
- Roff
- Ruby
- Rust
- SAS
- SQL
- Scala
- Shell
- Svelte
- Swift
- TeX
- TypeScript
- Vue
- XSLT
- Zig
Starred repositories
A lightweight task engine for building stateful AI agents that prioritizes simplicity and flexibility.
Scan for React performance issues and eliminate slow renders in your app
Agent Framework / shim to use Pydantic with LLMs
🚀🎉📚 SaaS Boilerplate built with Next.js + Tailwind CSS + Shadcn UI + TypeScript. ⚡️ Full-stack React application with Auth, Multi-tenancy, Roles & Permissions, i18n, Landing Page, DB, Logging, Testing
Model Context Protocol Servers
The official implementation of MARS: Unleashing the Power of Variance Reduction for Training Large Models
Efficient, Flexible and Portable Structured Generation
Official repository for the Boltz-1 biomolecular interaction model
Generate types and converters from JSON, Schema, and GraphQL
Converts JSON objects or file to simple Zod schemas
TypeScript-first schema validation with static type inference
This is the offical codebase to reproduce and use EVOLVEpro, a model for in silico directed evolution of protein activities using few-shot active learning.
LLM-powered multiagent persona simulation for imagination enhancement and business insights.
leloykun / modded-nanogpt
Forked from KellerJordan/modded-nanogptNanoGPT (124M) quality in 2.67B tokens
Iceberg/Delta Columnstore Table in Postgres
Hydra: Column-oriented Postgres. Add scalable analytics to your project in minutes.
Official repository of "SAMURAI: Adapting Segment Anything Model for Zero-Shot Visual Tracking with Motion-Aware Memory"
This repository includes the official implementation of OpenScholar: Synthesizing Scientific Literature with Retrieval-augmented LMs.
Interaction-first method for generating demonstrations for web-agents on any website
Desktop app for prototyping and debugging LangGraph applications locally.
An introduction to theorem proving in Lean for the impatient.
Lean 4 programming language and theorem prover
Deezer source separation library including pretrained models.