fpoli/abstat

Abstract-interpretation-based Static Analyzer for the While language

Language: Haskell - Size: 42 KB - Last synced at: 3 months ago - Pushed at: over 9 years ago - Stars: 5 - Forks: 0

seanpm2001/SNU_2D_ProgrammingTools_IDE_While

⌨️ The While Programming language IDE submodule for SNU Programming Tools (2D Mode)

Language: HTML - Size: 803 KB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

seanpm2001/Learn-While

📚️ A repository for showcasing my knowledge of the While programming language, and continuing to learn the language.

Language: HTML - Size: 792 KB - Last synced at: 6 days ago - Pushed at: over 2 years ago - Stars: 2 - Forks: 1

horazont/while-to-sed

A transpiler from the academic turing-complete WHILE language to sed

Language: Python - Size: 21.5 KB - Last synced at: 3 months ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0

MarkosHB/Theory-of-Programming-Languages-Subject

Implementation in Haskell of the WHILE language semantics

Language: Haskell - Size: 4.14 MB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

davidpomerenke/while-syntax-vscode Fork of tobydennison/WHILE-Syntax-Highlighter

VS Code syntax highlighting for the WHILE language.

Size: 1.09 MB - Last synced at: about 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

pihart/LOOPWHILE

A transpiler and beautifier for LOOP and WHILE

Language: Python - Size: 34.2 KB - Last synced at: 13 days ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 0

e-shere/WACC

Compiler for the WACC language written in Scala

Language: Scala - Size: 3.32 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

meitinger/FrameworkAnalyzer

Monotone Framework analyzer for WHILE language programs.

Language: TypeScript - Size: 47.9 MB - Last synced at: about 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

gabboraron/fordprog-egyben

2019 - 2020 | ősz | fordító programok | lex | bison | assembly

Language: C++ - Size: 10.3 MB - Last synced at: 2 months ago - Pushed at: over 5 years ago - Stars: 1 - Forks: 0

willprice/camle-compiler

A compiler for a language called CAMLE similar to that of `While` from the Appel compiler book

Language: Haskell - Size: 271 KB - Last synced at: 3 days ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 0

Alkesst/UniversalWhileProgram

Universality implementation

Language: Haskell - Size: 6.84 KB - Last synced at: 24 days ago - Pushed at: over 7 years ago - Stars: 1 - Forks: 0

Edivad99/WAI

Language: F# - Size: 64.5 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

Edivad99/WhileAbstractInterpreter

Language: F# - Size: 229 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

Wiering/While-Interpreter

Interpreter for the language WHILE written in WHILE itself

Language: Pascal - Size: 58.6 KB - Last synced at: 5 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

sidmishraw/bool-lang-1

BOOL, BOOL++ and WHILE language implementations using Scala on different branches

Language: Scala - Size: 1.75 MB - Last synced at: 6 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0