Skip to content
View ulidtko's full-sized avatar
💬
Organically produced code, hand-written no AI, minimal carbon footprint.
💬
Organically produced code, hand-written no AI, minimal carbon footprint.

Organizations

@Guake @tempai-dev @Nekoboard @zoomin-software

Block or report ulidtko

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

Pinned Loading

  1. idris-lang/Idris-dev idris-lang/Idris-dev Public

    A Dependently Typed Functional Programming Language

    Haskell 3.4k 644

  2. Mercury-Language/mercury Mercury-Language/mercury Public

    The Mercury logic programming system.

    Mercury 918 55

  3. SublimeText/ElasticTabstops SublimeText/ElasticTabstops Public

    Tab characters automatically adjust to keep adjacent lines aligned.

    Python 67 6

  4. versioned-configs versioned-configs Public

    Naming dotfiles as "versioned-configs" before it was cool

    Vim Script 5

  5. wave-simulation wave-simulation Public

    A C++11/CMake/Boost/Qt/OpenGL excersize.

    C++ 23 4

  6. efm8boot efm8boot Public

    Silicon Labs EFM8 Factory Bootloader client

    Python 4 3