Skip to content
View Ktedon's full-sized avatar
0 followers · 1 following
  • Not your problem
  • Vermont

Block or report Ktedon

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Ktedon/README.md
  • 👋 Hi, I’m @Ktedon
  • 👀 I’m interested in logic-based programming, finding work, etc.
  • 🌱 I’m currently learning lambda-prolog and abella
  • 💞️ I’m looking to collaborate on getting me a job
  • 📫 How to reach me [email protected]

Pinned Loading

  1. fhtml-DSL fhtml-DSL Public

    A Scala-based DSL that warns you when you use HTML tags or attributes that are not supported by all major browsers to ensure cross-browser compatibility.

    Scala

  2. BloksV1 BloksV1 Public archive

    A social media site I built over summer vacation. It kind of sucks.

    Scala

  3. suicide suicide Public

    Suicide is a logic-based programming language with built in theorem proving capabilities.

    Scala

  4. Jetvista Jetvista Public

    A Scalajs UI Framework Based on Incremental Lambda Calculus

    Scala 2

  5. Fluidity Fluidity Public

    A programming language designed to be run on blockchains like javascript for the web.

    Zig

  6. zig zig Public

    Forked from ziglang/zig

    General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

    Zig