Skip to content
View lexvanderstoep's full-sized avatar
  • Amsterdam

Highlights

  • Pro

Block or report lexvanderstoep

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Collect, aggregate, and visualize a data ecosystem's metadata

Java 1,774 318 Updated Nov 10, 2024

CLI to manage your datacontract.yaml files

Python 469 89 Updated Nov 8, 2024

The Data Contract Specification Repository

HTML 265 39 Updated Oct 30, 2024

Data Contract Manager (Community Edition)

Bicep 7 2 Updated Sep 8, 2024

Open, Multi-modal Catalog for Data & AI

Java 2,404 383 Updated Nov 9, 2024
Python 1 Updated Aug 18, 2024

The Plutus language implementation and tools

Haskell 1,571 476 Updated Nov 11, 2024

⚡ Data quality testing for the modern data stack (SQL, Spark, and Pandas) https://www.soda.io

Python 1,906 208 Updated Nov 4, 2024

Always know what to expect from your data.

Python 9,977 1,541 Updated Nov 9, 2024

Deequ is a library built on top of Apache Spark for defining "unit tests for data", which measure data quality in large datasets.

Scala 3,307 538 Updated Oct 9, 2024

The OS for your personal finances

Ruby 33,725 2,429 Updated Nov 11, 2024

Investment Research for Everyone, Everywhere.

Python 33,870 3,094 Updated Nov 11, 2024
Python 1 Updated Mar 2, 2023

An open-source, cloud-native, unified time series database for metrics, logs and events with SQL/PromQL supported. Available on GreptimeCloud.

Rust 4,329 313 Updated Nov 11, 2024
Python 3 Updated Mar 9, 2022
Rust 3 Updated Mar 12, 2022

🤗 Transformers: State-of-the-art Machine Learning for Pytorch, TensorFlow, and JAX.

Python 134,758 26,949 Updated Nov 10, 2024
Python 1 Updated Feb 13, 2021

A web-based graphical proof assistant for LK and Hoare logic.

JavaScript 32 2 Updated Nov 15, 2022

a fast, scalable, multi-language and extensible build system

Java 23,212 4,064 Updated Nov 11, 2024

Compiling Agda code to readable Haskell

Agda 176 37 Updated Oct 10, 2024

Home Automation Project

Python 2 Updated Nov 28, 2021

Annotation processor to create immutable objects and builders. Feels like Guava's immutable collections but for regular value objects. JSON, Jackson, Gson, JAX-RS integrations included

Java 3,435 274 Updated Oct 20, 2024

Property-based testing, JUnit-style

Java 959 122 Updated Oct 28, 2024

A new, open source mission control system in Haskell

C 55 9 Updated Aug 13, 2024

Verified C programming in Agda

Agda 16 1 Updated Mar 19, 2021

Liquid Types For Haskell

Haskell 1,196 139 Updated Nov 10, 2024

Implementation of the Java Listener Design Pattern

Java 1 Updated May 8, 2020

Bolt is a language with in-built data-race freedom!

OCaml 570 52 Updated Nov 24, 2023

Bayesian Ranking for Finding Null Pointers in Java

Java 4 Updated Nov 15, 2022
Next