Skip to content
View Xenate's full-sized avatar
๐Ÿ 
Working from home
๐Ÿ 
Working from home
  • My house
  • Venus
Block or Report

Block or report Xenate

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
Xenate/README.md

- ๐Ÿ”ญ Iโ€™m currently working on a logic based programming language and a higher order SMT solver.

- ๐ŸŒฑ Iโ€™m currently learning C++

- ๐Ÿ˜„ Pronouns: Does not matter

I am a 15 year interested in programming language design and social engineering but my real passion is new software technologies and performance programming. Scala is my main language but I am looking to change that because scala is terrible (objects, objects, objects, blah, blah, blah). Oh you say it is both OOP and functional. Have fun with your foldable type classes and auxiliary constructors, idiot. I am designing an extremely fast logic based programming language with extremely terse syntax called Anlog.

Pinned

  1. Xenate Xenate Public

  2. EV3-assembly-examples EV3-assembly-examples Public

    Examples of writing programs in the assembly language for the mindstorms EV3 computer.

    C

  3. Anlog-Language Anlog-Language Public

    A logic based programming language for general purpose programming and systems programming

  4. ErisBlastar/cplusequality ErisBlastar/cplusequality Public

    Feminist Software Foundation C+=, a new language for us feminists

    C++ 970 56

  5. teyjus/teyjus teyjus/teyjus Public

    An efficient implementation of the higher-order logic programming language Lambda Prolog

    C 141 22