Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Type
/
to search
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
awesomo4000
/
kb
Public
Notifications
You must be signed in to change notification settings
Fork
0
Star
0
Code
Issues
0
Pull requests
0
Actions
Projects
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights
Commits
Branch selector
main
User selector
All users
All time
Commit history
Commits on Mar 16, 2026
Merge pull request #36 from awesomo4000/specs
Show description for 91d107a
awesomo4000
authored
91d107a
View commit details
Copy full SHA for 91d107a
Browse repository at this point
Merge branch 'main' into specs
awesomo4000
authored
96e78f6
View commit details
Copy full SHA for 96e78f6
Browse repository at this point
Remove step 14 from active (moved to done)
awesomo4000
committed
426c96e
View commit details
Copy full SHA for 426c96e
Browse repository at this point
Move step 14 spec to done
awesomo4000
committed
7d66251
View commit details
Copy full SHA for 7d66251
Browse repository at this point
Remove step 13 from active (moved to done)
awesomo4000
committed
8af95a9
View commit details
Copy full SHA for 8af95a9
Browse repository at this point
Move step 13 spec to done
awesomo4000
committed
a3071f9
View commit details
Copy full SHA for a3071f9
Browse repository at this point
Step 14: Bare number literals (#35)
Show description for 9b754cb
awesomo4000
authored
9b754cb
View commit details
Copy full SHA for 9b754cb
Browse repository at this point
Merge pull request #34 from awesomo4000/specs
Show description for d4fcce8
awesomo4000
authored
d4fcce8
View commit details
Copy full SHA for d4fcce8
Browse repository at this point
Merge branch 'main' into specs
awesomo4000
authored
12e9ad6
View commit details
Copy full SHA for 12e9ad6
Browse repository at this point
Add step 14 spec: bare number literals
awesomo4000
committed
137e349
View commit details
Copy full SHA for 137e349
Browse repository at this point
Update README and add sports demo fixture (#33)
Show description for 4dd8fdf
awesomo4000
authored
4dd8fdf
View commit details
Copy full SHA for 4dd8fdf
Browse repository at this point
Step 13: Comparison operators (#32)
Show description for f4d8ae2
awesomo4000
authored
f4d8ae2
View commit details
Copy full SHA for f4d8ae2
Browse repository at this point
Merge pull request #31 from awesomo4000/specs
Show description for 5f061af
awesomo4000
authored
5f061af
View commit details
Copy full SHA for 5f061af
Browse repository at this point
Merge branch 'main' into specs
awesomo4000
authored
49617c6
View commit details
Copy full SHA for 49617c6
Browse repository at this point
Add step 13 spec: comparison operators
awesomo4000
committed
5a43d52
View commit details
Copy full SHA for 5a43d52
Browse repository at this point
Remove step 12a spec from active (moved to done)
awesomo4000
committed
c07ceac
View commit details
Copy full SHA for c07ceac
Browse repository at this point
Move step 12a spec to done
awesomo4000
committed
ea11ba7
View commit details
Copy full SHA for ea11ba7
Browse repository at this point
Step 12a: Extract AST types from datalog.zig (#30)
Show description for d0c26e7
awesomo4000
authored
d0c26e7
View commit details
Copy full SHA for d0c26e7
Browse repository at this point
Merge pull request #29 from awesomo4000/specs
Show description for c01b7e8
awesomo4000
authored
c01b7e8
View commit details
Copy full SHA for c01b7e8
Browse repository at this point
Add step 12a spec: extract AST types from datalog.zig
awesomo4000
committed
e760d73
View commit details
Copy full SHA for e760d73
Browse repository at this point
Merge pull request #28 from awesomo4000/specs
Show description for 40df1f4
awesomo4000
authored
40df1f4
View commit details
Copy full SHA for 40df1f4
Browse repository at this point
Merge branch 'main' into specs
awesomo4000
authored
fe0a22b
View commit details
Copy full SHA for fe0a22b
Browse repository at this point
Remove step 12 spec from active (moved to done)
awesomo4000
committed
135c9af
View commit details
Copy full SHA for 135c9af
Browse repository at this point
Move step 12 spec to done
awesomo4000
committed
9345181
View commit details
Copy full SHA for 9345181
Browse repository at this point
Step 12: Wildcard terms (#27)
Show description for 20ed105
awesomo4000
authored
20ed105
View commit details
Copy full SHA for 20ed105
Browse repository at this point
Merge pull request #26 from awesomo4000/specs
Show description for 9ca9f29
awesomo4000
authored
9ca9f29
View commit details
Copy full SHA for 9ca9f29
Browse repository at this point
Fix scope: clarify wildcard behavior in fact heads
Show description for 10d6184
awesomo4000
committed
10d6184
View commit details
Copy full SHA for 10d6184
Browse repository at this point
Commits on Feb 18, 2026
Add step 12 spec: wildcard terms
awesomo4000
committed
53a1d9a
View commit details
Copy full SHA for 53a1d9a
Browse repository at this point
Merge pull request #25 from awesomo4000/specs
Show description for 83d9108
awesomo4000
authored
83d9108
View commit details
Copy full SHA for 83d9108
Browse repository at this point
Remove step 11 spec from active (moved to done)
awesomo4000
committed
96208bc
View commit details
Copy full SHA for 96208bc
Browse repository at this point
Move step 11 spec to done
awesomo4000
committed
4918ae7
View commit details
Copy full SHA for 4918ae7
Browse repository at this point
Step 11: Entity key abstraction + typed value encoding (#24)
Show description for 4767a3a
awesomo4000
authored
4767a3a
View commit details
Copy full SHA for 4767a3a
Browse repository at this point
Commits on Feb 17, 2026
Restore full spec content for 04-bitmap-ingest (#23)
awesomo4000
authored
d6d7e31
View commit details
Copy full SHA for d6d7e31
Browse repository at this point
spec: stratified negation → done (#19)
Show description for 0b9298d
awesomo4000
authored
0b9298d
View commit details
Copy full SHA for 0b9298d
Browse repository at this point
Step 10: Negation evaluation + error handling (#22)
Show description for 1ce28fa
awesomo4000
authored
1ce28fa
View commit details
Copy full SHA for 1ce28fa
Browse repository at this point
Previous
Next
You can’t perform that action at this time.