Pinned Repositories
Best-README-Template
An awesome README template to jumpstart your projects!
binder_trial
dagre-d3
A D3-based renderer for Dagre
jetisu
Jetisu is a toolset for modelling with sigma complete relations.
PMQu
PMQu is an open-source project information quality checker for MS Project
sql-fp
Embrace the power of SQL FP
swig
Take a swig of the best template engine for JavaScript.
todotxttdi
Todo.txt Text Driven Interface for Dropbox
sqlglot
Python SQL Parser and Transpiler
DavidPratten's Repositories
DavidPratten/todotxttdi
Todo.txt Text Driven Interface for Dropbox
DavidPratten/jetisu
Jetisu is a toolset for modelling with sigma complete relations.
DavidPratten/sql-fp
Embrace the power of SQL FP
DavidPratten/binder_trial
DavidPratten/dagre-d3
A D3-based renderer for Dagre
DavidPratten/idr-examples
Examples of Intensionally Defined Relations
DavidPratten/PMQu
PMQu is an open-source project information quality checker for MS Project
DavidPratten/swig
Take a swig of the best template engine for JavaScript.
DavidPratten/Best-README-Template
An awesome README template to jumpstart your projects!
DavidPratten/brer-rabbit
Repo for exploring github.
DavidPratten/catala
Programming language for literate programming law specification
DavidPratten/comparewithwiki
DavidPratten/django
The Web framework for perfectionists with deadlines.
DavidPratten/grain-lang.org
The Grain language website.
DavidPratten/nbmake-examples
Example repo showing how to test Jupyter Notebooks with nbmake and Semaphore CI
DavidPratten/plfa.github.io
An introduction to programming language theory in Agda
DavidPratten/rfcs
RFCs for major changes to EdgeDB
DavidPratten/rosellamodel
The Rosella Model (RM) aims to improve the experience of Project Managers and Product Owners as we adapt to projects with iterative, incremental and adaptive lifecycles.
DavidPratten/sql.js
A javascript library to run SQLite on the web.
DavidPratten/todo.txt-cli
A simple and extensible shell script for managing your todo.txt file.
DavidPratten/TodoTxtJs
A Javascript web app implementation of TodoTxt