SEhumantics
Popular repositories Loading
-
OCLsharp
OCLsharp PublicForked from SOM-Research/OCLsharp
Toolkit for OCL#, a reformulation of the Object Constraint Language (OCL).
Prolog
-
hedy
hedy PublicForked 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
-
-
AIAdventOfCode2024
AIAdventOfCode2024 PublicI am a real menace to society 😭😭😭❓❓❓ https://leetarxiv.substack.com/p/ai-advent-of-code-2024
-
typir
typir PublicForked from TypeFox/typir
Typir is a library for building type systems
TypeScript
-
BESSER_Annotated
BESSER_Annotated PublicForked from BESSER-PEARL/BESSER
A Python-based low-modeling low-code platform for smart software. Forked by @ichxorya to annotate code with comments and types.
Python
Repositories
- BESSER_Annotated Public Forked from BESSER-PEARL/BESSER
A Python-based low-modeling low-code platform for smart software. Forked by @ichxorya to annotate code with comments and types.
SEhumantics/BESSER_Annotated’s past year of commit activity - B-OCL-Interpreter_Annotated Public Forked from BESSER-PEARL/B-OCL-Interpreter
B-OCL is a tool designed to parse and evaluate the OCL constraints defined on BESSER models. It is a Python based implementation, that utilises parser and listener generated with the ANTLR4 grammar. Forked by @ichxorya to annotate code with comments and types.
SEhumantics/B-OCL-Interpreter_Annotated’s past year of commit activity - AIAdventOfCode2024 Public
I am a real menace to society 😭😭😭❓❓❓ https://leetarxiv.substack.com/p/ai-advent-of-code-2024
SEhumantics/AIAdventOfCode2024’s past year of commit activity - dafny4verifiedtoycompilers Public
SEhumantics/dafny4verifiedtoycompilers’s past year of commit activity - 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 Hedy level sequence, kids master a subset of syntactically valid Python.
SEhumantics/hedy’s past year of commit activity - OCLsharp Public Forked from SOM-Research/OCLsharp
Toolkit for OCL#, a reformulation of the Object Constraint Language (OCL).
SEhumantics/OCLsharp’s past year of commit activity
