Skip to content
View nsnave's full-sized avatar
3 followers · 1 following

Achievements

Achievement: Pull Sharkx2
BetaSend feedback

Achievements

Achievement: Pull Sharkx2
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report nsnave

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

Pinned

  1. seunomonije/mcbeth seunomonije/mcbeth Public

    PL based off of the measurement calculus

    OCaml 6

  2. anaximata anaximata Public

    A graphical tool for the creation of transition diagrams and graphs to ease visualization of automata and Turing machines.

    JavaScript 1

  3. discord-codebot discord-codebot Public

    A Discord bot that allows users to run code for various languages in the chat interface.

    Python 1

  4. feynman-path-diagram feynman-path-diagram Public

    JavaScript 1

  5. LNN LNN Public

    Forked from IBM/LNN

    A `Neural = Symbolic` framework for sound and complete weighted real-value logic.

    Python 2

  6. java-media-keys java-media-keys Public

    Java and C source file and dll file for pressing the "Volume Down", "Volume Up", "Volume Mute", "Previous Track", "Next Track", and "Play/Pause Track" keys on the keyboard using the Java Native Int…

    C 15 3