Popular repositories Loading

1. tree-sitter-xats tree-sitter-xats Public

   Tree-sitter grammar for ATS3.

   JavaScript 1

2. brainfuck.ats brainfuck.ats Public

   A simple Brainf**k interpreter written in ATS2.

   Brainfuck

3. CS491-S24 CS491-S24 Public

   Forked from nmmull/CS491-S24

   Material for the course CAS CS 491: Type Theory and Mechanized Reasoning (Spring 2024)

   Agda

4. rast rast Public

   An implementation of two fragments of Resource-Aware Session Types (Rast): subsingleton logic and pure linear logic. Both support index objects from arithmetic and temporal ergometric types to expr…

   Standard ML

5. x11.dart x11.dart Public

   Forked from robert-ancell/x11.dart

   Dart

6. OI-wiki OI-wiki Public

   Forked from OI-wiki/OI-wiki

   🌟 Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

   TypeScript