8000 DavidPratten (David Pratten) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
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 160 27 Updated Apr 28, 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 Feb 12, 2025

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

Racket 661 76 Updated May 16, 2025

An Imperishable Wonderland of Infinite Fun

Makefile 10 Updated Apr 17, 2024

The Brown Benchmark for Table Types (B2T2)

TypeScript 64 12 Updated Jun 14, 2024

A reactive notebook for Python — run reproducible experiments, query with SQL, execute as a script, deploy as an app, and version with git. All in a modern, AI-native editor.

Python 13,803 556 Updated Jun 15, 2025

An encoding of Zermelo-Fraenkel Set Theory in Coq

Coq 23 3 Updated Dec 17, 2022

Next Generation Visual Programming System

TypeScript 4,117 117 Updated Jun 15, 2025

A Json based Rules Engine with extensive Dynamic expression support

C# 3,952 591 Updated Jun 4, 2025

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

C++ 137 13 Updated Apr 10, 2025

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

Rust 10,309 234 Updated Jun 11, 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 2,041 180 Updated Jun 14, 2025

Another Python SQLite wrapper

C 783 100 Updated Jun 13, 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 51,755 3,448 Updated Jun 16, 2025

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

Go 5,045 208 Updated May 26, 2024

Infrastructure for Directed Acyclic Graphs in Julia

Julia 8 2 Updated Jun 7, 2024

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

Python 9 6 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,244 292 Updated Oct 27, 2022

A javascript library to run SQLite on the web.

JavaScript 13,202 1,093 Updated Apr 14, 2025

Standard ML interpreter, with relational extensions, implemented in Java

Java 331 15 Updated Jun 8, 2025

JavaScript SharePoint REST Web Services Library

JavaScript 123 51 Updated May 6, 2019

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

Python 10,288 425 Updated May 27, 2025
0