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 }}
TiarkRompf
/
minidot
Public
Notifications
You must be signed in to change notification settings
Fork
14
Star
90
Code
Issues
0
Pull requests
0
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Files
Expand file tree
tr-wip
Breadcrumbs
minidot
/
dev
/
Copy path
Directory actions
More options
More options
Directory actions
More options
More options
Latest commit
History
History
History
tr-wip
Breadcrumbs
minidot
/
dev
/
Copy path
Top
Folders and files
Name
Name
Last commit message
Last commit date
parent directory
..
build.sbt
build.sbt
dot.elf
dot.elf
dot1.elf
dot1.elf
dot2.elf
dot2.elf
dot3.elf
dot3.elf
dot4.elf
dot4.elf
dot5.elf
dot5.elf
dot6.elf
dot6.elf
dot7.elf
dot7.elf
dot8.elf
dot8.elf
dot9.elf
dot9.elf
ex1.elf
ex1.elf
ex2.elf
ex2.elf
ex3.elf
ex3.elf
ex4.elf
ex4.elf
ex5.elf
ex5.elf
ex6.elf
ex6.elf
ex7.elf
ex7.elf
ex8.elf
ex8.elf
minilf1.scala
minilf1.scala
minilf2.scala
minilf2.scala
rules10.txt
rules10.txt
rules7.txt
rules7.txt
rules8.txt
rules8.txt
rules9.txt
rules9.txt
rulesInf.txt
rulesInf.txt
s.txt
s.txt
sources.cfg
sources.cfg
test1.elf
test1.elf
test10.elf
test10.elf
test11.elf
test11.elf
test11.elfx
test11.elfx
test12.elf
test12.elf
test12.elfx
test12.elfx
test12z.elf
test12z.elf
test13.elf
test13.elf
test14.elf
test14.elf
test15.elf
test15.elf
test15p.elf
test15p.elf
test15q.elf
test15q.elf
test15r.elf
test15r.elf
test15s.elf
test15s.elf
test15z.elf
test15z.elf
test16.elf
test16.elf
test17.elf
test17.elf
test17b.elf
test17b.elf
test17c.elf
test17c.elf
test2.elf
test2.elf
test3.elf
test3.elf
test3a.elf
test3a.elf
test3y.elf
test3y.elf
test3z.elf
test3z.elf
test3zz.elf
test3zz.elf
test4.elf
test4.elf
test5.elf
test5.elf
test6.elf
test6.elf
test7.elf
test7.elf
test8.elf
test8.elf
test9.elf
test9.elf
View all files
You can’t perform that action at this time.