
- Basel, Switzerland
- https://github.com/jkeck-artidis
Lists (5)
Sort Name ascending (A-Z)
- All languages
- Agda
- Blade
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Cuda
- Dhall
- Dockerfile
- Emacs Lisp
- Erlang
- F#
- F*
- Fennel
- Frege
- Go
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lua
- MATLAB
- Makefile
- Mercury
- Mustache
- Nix
- OCaml
- PLpgSQL
- Perl
- Puppet
- PureScript
- Python
- Racket
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Smarty
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- Zig
Starred repositories
This is the homepage of a new book entitled "Mathematical Foundations of Reinforcement Learning."
Business intelligence as code: build fast, interactive data visualizations in SQL and markdown
Unmodified Postgres with some useful plugins
DuckDB-powered Postgres for high performance apps & analytics.
Incredibly fast JavaScript runtime, bundler, test runner, and package manager – all in one
Use your locally running AI models to assist you in your web browsing
Logseq plugin to integerate with ollama
The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery 🧑🔬
A high-throughput and memory-efficient inference and serving engine for LLMs
Open source platform for AI Engineering: OpenTelemetry-native LLM Observability, GPU Monitoring, Guardrails, Evaluations, Prompt Management, Vault, Playground. 🚀💻 Integrates with 50+ LLM Providers,…
New file format for storage of large columnar datasets.
Go library to parse and normalize SQL queries using the PostgreSQL query parser
A NATS decentralised auth-callout service to swap thirdparty IdP JWTs for RBAC'd NATS User JWTs
Open source tools for computational pathology - Nature BME
JSONSchema (draft 2020-12, draft 2019-09, draft-7, draft-6, draft-4) Validation using Go
A Python package for interactive mapping and geospatial analysis with minimal coding in a Jupyter environment
A Python library for fast, interactive geospatial vector data visualization in Jupyter.
This is a repo with links to everything you'd ever want to learn about data engineering
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
A syntax-highlighting pager for git, diff, grep, and blame output
Notify ArgoCD Application status via Pull Request comment or GitHub Deployment API
A comparison tool for displaying the differences between ArgoCD Applications in different Git branches