Skip to content

@SEhumantics SEhumantics

Change the repository type filter

All

    Repositories list

    7 repositories

    • BESSER_Annotated

      Public
      A Python-based low-modeling low-code platform for smart software. Forked by @ichxorya to annotate code with comments and types.
      Python
      •
      MIT License
      •14•0•0•0•Updated Dec 22, 2024Dec 22, 2024

    • B-OCL-Interpreter_Annotated

      Public
      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.
      Python
      •
      MIT License
      •1•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • typir

      Public
      Typir is a library for building type systems
      TypeScript
      •
      MIT License
      •4•0•0•0•Updated Dec 12, 2024Dec 12, 2024

    • AIAdventOfCode2024

      Public
      I am a real menace to society 😭😭😭❓❓❓ https://leetarxiv.substack.com/p/ai-advent-of-code-2024
      0•0•0•0•Updated Dec 10, 2024Dec 10, 2024

    • dafny4verifiedtoycompilers

      Public
      Python
      •
      MIT License
      •0•0•0•0•Updated Dec 3, 2024Dec 3, 2024

    • hedy

      Public
      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.
      CSS
      •
      European Union Public License 1.2
      •293•0•0•0•Updated Nov 21, 2024Nov 21, 2024

    • OCLsharp

      Public
      Toolkit for OCL#, a reformulation of the Object Constraint Language (OCL).
      Prolog
      •
      GNU General Public License v3.0
      •1•0•0•0•Updated Sep 11, 2024Sep 11, 2024