Skip to content
@SEhumantics

SEhumantics

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. AIAdventOfCode2024 AIAdventOfCode2024 Public

    I am a real menace to society 😭😭😭❓❓❓ https://leetarxiv.substack.com/p/ai-advent-of-code-2024

  5. typir typir Public

    Forked from TypeFox/typir

    Typir is a library for building type systems

    TypeScript

  6. BESSER_Annotated 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.

    Python

Repositories

Showing 9 of 9 repositories
  • toy-math-prover Public Forked from revoluzionario/toy-math-prover

    A simple math theorem prover using policy-value network as main model and TreeLSTM as feature extractor.

    Python 0 1 0 0 Updated Mar 19, 2025
  • 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.

    Python 0 MIT 17 0 0 Updated Jan 20, 2025
  • Slopify Public Forked from DishpitDev/Slopify

    The ideomotor effect of software

    HTML 0 133 0 0 Updated Jan 1, 2025
  • 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.

    Python 0 MIT 1 0 0 Updated Dec 16, 2024
  • typir Public Forked from TypeFox/typir

    Typir is a library for building type systems

    TypeScript 0 MIT 5 0 0 Updated Dec 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, 2024
  • dafny4verifiedtoycompilers Public
    Python 0 MIT 0 0 0 Updated Dec 3, 2024
  • 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.

    CSS 0 EUPL-1.2 309 0 0 Updated Nov 21, 2024
  • OCLsharp Public Forked from SOM-Research/OCLsharp

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

    Prolog 0 GPL-3.0 1 0 0 Updated Sep 11, 2024