- Amsterdam, Netherlands
- http://davazp.net
- @davazp
Lists (13)
Sort Name ascending (A-Z)
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Dhall
- Dockerfile
- Emacs Lisp
- Forth
- Fortran
- Go
- HTML
- Haskell
- Haxe
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Kotlin
- Lean
- LiveScript
- Lua
- Makefile
- Markdown
- Nix
- OCaml
- Objective-C
- PLpgSQL
- Perl
- PostScript
- Prolog
- Python
- Racket
- Ruby
- Rust
- Scheme
- Shell
- Smalltalk
- Standard ML
- Starlark
- Svelte
- TeX
- TypeScript
- V
- WebAssembly
Starred repositories
Pre-Multiplied blend mode is a 3 in 1 blend mode that has a lot of uses. It has been around for a long time but it seems to be re-discovered every few years. This project includes descriptions/exam…
🤖 Powerful asynchronous state management, server-state utilities and data fetching for the web. TS/JS, React Query, Solid Query, Svelte Query and Vue Query.
A project to digitalise results from physics into Lean.
Lean 4 programming language and theorem prover
Real time volumetric rendering of a dicom image with web gpu
Embeddable Postgres with real-time, reactive bindings.
SQL Database Explorer [SQLite, libSQL, PostgreSQL, MySQL/MariaDB, ClickHouse, DuckDB, Microsoft SQL Server]
Apply boolean polygon clipping operations (union, intersection, difference, xor) to your Polygons & MultiPolygons.
Boolean operations on polygons (union, intersection, difference, xor)
Martinez-Rueda polygon clipping algorithm, does boolean operation on polygons (multipolygons, polygons with holes etc): intersection, union, difference, xor
DEVELOPMENT STOPPED I'm now working on Nomad Sculpt instead
There can be more than Notion and Miro. AFFiNE(pronounced [ə‘fain]) is a next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable an…
A flexible distributed key-value database that is optimized for caching and other realtime workloads.
✨ Magical headers that make your C++ library accessible from JavaScript 🚀
AsahiLinux / linux
Forked from torvalds/linuxLinux kernel source tree