Skip to content
View DavidPratten's full-sized avatar

Highlights

  • Pro

Block or report DavidPratten

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

Access to all MiniZinc functionality directly from Python

Python 151 24 Updated Jan 29, 2025

Kanren with databases

Racket 43 5 Updated Jul 30, 2024

A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.

47 2 Updated Aug 31, 2024

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Racket 652 75 Updated Jun 17, 2024

An Imperishable Wonderland of Infinite Fun

Makefile 10 Updated Apr 17, 2024

The Brown Benchmark for Table Types (B2T2)

TypeScript 62 12 Updated Jun 14, 2024

A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.

Python 9,837 352 Updated Jan 30, 2025

An encoding of Zermelo-Fraenkel Set Theory in Coq

Coq 23 3 Updated Dec 17, 2022

Next Generation Visual Programming System

TypeScript 3,697 86 Updated Jan 29, 2025

A Json based Rules Engine with extensive Dynamic expression support

C# 3,786 564 Updated Jan 30, 2025

xlOil provides framework for interacting with Excel in different programming languages (python & C++ currently)

C++ 133 12 Updated Jan 27, 2025

PRQL is a modern language for transforming data — a simple, powerful, pipelined SQL replacement

Rust 10,062 225 Updated Jan 28, 2025

Jetisu is a toolset for modelling with sigma complete relations.

Jupyter Notebook 10 1 Updated Nov 5, 2023

Some notes on things I find interesting and important.

JavaScript 1,977 178 Updated Jan 13, 2025

Another Python SQLite wrapper

C 758 98 Updated Jan 25, 2025

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…

TypeScript 45,081 2,952 Updated Jan 30, 2025

OctoSQL is a query tool that allows you to join, analyse and transform data from multiple databases and file formats using SQL.

Go 4,971 206 Updated May 26, 2024

Infrastructure for Directed Acyclic Graphs in Julia

Julia 7 2 Updated Jun 7, 2024

A small python client for https://miro.com/app/

Python 9 7 Updated Nov 22, 2019

The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.

TypeScript 5,252 297 Updated Oct 27, 2022

A javascript library to run SQLite on the web.

JavaScript 12,964 1,067 Updated Oct 29, 2024

Standard ML interpreter, with relational extensions, implemented in Java

Java 302 15 Updated Dec 13, 2024

JavaScript SharePoint REST Web Services Library

JavaScript 122 51 Updated May 6, 2019

q - Run SQL directly on delimited files and multi-file sqlite databases

Python 10,233 424 Updated Jul 23, 2024