Popular repositories Loading

1. OCLsharp OCLsharp Public

   Forked from SOM-Research/OCLsharp

   Toolkit for OCL#, a reformulation of the Object Constraint Language (OCL).

   Prolog

2. hedy hedy Public

   Forked from hedyorg/hedy

   Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the…

   CSS

3. dafny4verifiedtoycompilers dafny4verifiedtoycompilers Public

   Python

4. use-language-files use-language-files Public

   Forked from Saniamos/use-language-files

   VS Code Language Extension for use files (uni bremen)

   JavaScript

5. LEAN4DIJKSTRA LEAN4DIJKSTRA Public

   Lean

6. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean