Felix Dilke fdilke

0 Followers · 0 Following

• Joined on 2025-09-02

Repositories

1

Projects Packages Public Activity Starred Repositories

fdilke pushed to main at fdilke/pyrites 2026-01-22 17:33:53 +00:00

2f93c494be initial handling of rules

fdilke pushed to main at fdilke/pyrites 2026-01-22 14:25:12 +00:00

5caf061fce tests for ingesting facts

fdilke pushed to main at fdilke/pyrites 2026-01-22 10:57:14 +00:00

36622caf8b adjusting types, developing addFact

fdilke pushed to main at fdilke/pyrites 2026-01-21 18:01:11 +00:00

52fad6e4a1 filling out the DB

fdilke pushed to main at fdilke/pyrites 2026-01-21 17:11:16 +00:00

73aec57151 initial 'naive DB' API implementation

fdilke pushed to main at fdilke/pyrites 2026-01-21 11:24:34 +00:00

2900e781a1 initial setup for NaiveDatabase

fdilke pushed to main at fdilke/pyrites 2026-01-21 11:00:01 +00:00

d31a01ab9c sorted out module organisation

fdilke pushed to main at fdilke/pyrites 2026-01-20 17:52:57 +00:00

b41c3926df parsing facts/rules/queries

fdilke pushed to main at fdilke/pyrites 2026-01-20 16:49:55 +00:00

8744d97716 initial vibecoding experiment with Grok: generated a Datalog parser

fdilke pushed to main at fdilke/pyrites 2026-01-16 16:21:47 +00:00

e066e68818 tidying up, more tests

fdilke pushed to main at fdilke/pyrites 2026-01-16 16:07:27 +00:00

41275dfc71 another arithmetic parser with variations on the theme

fdilke pushed to main at fdilke/pyrites 2026-01-15 10:15:11 +00:00

cc3ed6a35d commit with infinitely recursing tests

fdilke pushed to main at fdilke/pyrites 2026-01-14 16:51:04 +00:00

763cae02b7 parsing simple expressions

fdilke pushed to main at fdilke/pyrites 2026-01-14 15:28:28 +00:00

81feb1aee3 revamped expressions

fdilke pushed to main at fdilke/pyrites 2026-01-14 12:39:19 +00:00

6dda64b0cf complex expressions

fdilke pushed to main at fdilke/pyrites 2026-01-14 12:36:26 +00:00

f71984b647 basic arithmetic DSL

fdilke pushed to main at fdilke/pyrites 2026-01-14 11:39:57 +00:00

c9e8feacc9 added haskell scratch directory

fdilke pushed to main at fdilke/pyrites 2026-01-12 18:01:41 +00:00

f5b0c2b7c3 implementing 𝟙-induction

fdilke pushed to main at fdilke/pyrites 2026-01-12 15:22:39 +00:00

f809bde68d additional files

fdilke pushed to main at fdilke/pyrites 2026-01-12 15:21:54 +00:00

2232600ed1 initial agda code with Owen's pseudocode from the Geolog lectures, and some universe library code from Escardo's book