Dark Mode

Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly
Sign up
Appearance settings
anedel
Follow

Alexandru Nedel anedel

Generalist programmer, system architect, trainer. Embedded systems, networking. Interested in formal methods.

Sponsoring

Block or report anedel

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

Popular repositories Loading

  1. ix-play ix-play Public

    Linux / Unix / POSIX API testing, for education and experiments

    C 2

  2. Kaleidoscope Kaleidoscope Public

    Forked from keyboardio/Kaleidoscope

    Firmware for the Keyboardio Model 01 and other keyboards with AVR or ARM MCUs.

    C

  3. Model01-Firmware Model01-Firmware Public

    Forked from keyboardio/Model01-Firmware

    The "standard" Keyboardio Model 01 Firmware sketch.

    C++

  4. go-small go-small Public

    Small Go code and experiments (golang)

  5. org.alloytools.alloy org.alloytools.alloy Public

    Forked from AlloyTools/org.alloytools.alloy

    Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch...

    Java