Skip to content

@SEhumantics SEhumantics

Change the repository type filter

All

    Repositories list

    12 repositories

    • Slopify

      Public
      The ideomotor effect of software
      HTML
      •
      Other
      •126•0•0•0•Updated May 13, 2025May 13, 2025

    • kraken_pipeline

      Public
      Python
      •1•0•0•0•Updated May 11, 2025May 11, 2025

    • LEAN4DIJKSTRA

      Public
      Lean
      •0•0•0•0•Updated May 10, 2025May 10, 2025

    • BDSM

      Public
      Basic DSL for Mario (BDSM), a simple language designed to illustrate concepts of DSL development.
      MIT License
      •0•1•0•0•Updated Mar 24, 2025Mar 24, 2025

    • toy-math-prover

      Public
      A simple math theorem prover using policy-value network as main model and TreeLSTM as feature extractor.
      Python
      •1•0•0•0•Updated Mar 19, 2025Mar 19, 2025

    • 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
      •23•0•0•0•Updated Jan 20, 2025Jan 20, 2025

    • 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
      •7•0•0•0•Updated Dec 12, 2024Dec 12, 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
      •319•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

    • use-language-files

      Public
      VS Code Language Extension for use files (uni bremen)
      JavaScript
      •3•0•0•0•Updated May 18, 2020May 18, 2020