#
jieyouxu
Follow
Lists (32)
Algorithms
2 repositories
🎨 Art
2 repositories
💉 C#
2 repositories
🌵 C/C++
17 repositories
💻 Compilers and Interpreters
8 repositories
⛏️ Deep Rock Galactic
5 repositories
🍄 DRG Modding
5 repositories
🔲 Embedded
7 repositories
🎮 Games
2 repositories
🐄 GCC
☕ JavaScript / TypeScript
2 repositories
📑 Languages
8 repositories
📖 Learning Resources
12 repositories
📚 Libraries
46 repositories
🐉 LLVM
3 repositories
📈 Machine Learning
3 repositories
🔢 Math
2 repositories
🎶 Multimedia
1 repository
💻 Operating Systems
2 repositories
📉 Optimizations and Profiling
2 repositories
🧻 Parsers and Lexers
1 repository
🦀 Rust
Repositories related to the Rust programming langauge, its ecosystem, infrastructure, documentation, etc.75 repositories
Security
1 repository
🐍 Python
4 repositories
🔎 Static and Dynamic Analyzers
7 repositories
Testing
3 repositories
✏️ Theorem Proving
5 repositories
🧰 Tools and Utilities
44 repositories
🎹 Type Systems
10 repositories
👍 Verification and Validation
7 repositories
💾 Version Control
1 repository
🦓 Zig
1 repository
Starred repositories
3
results
for source starred repositories
written in ATS
Clear filter
ATS2: Unleashing the Potentials of Types and Templates
This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primarily meant as recipes for people interested in learning ATS as…
