Giter VIP home page Giter VIP logo

Hey hello, I'm Martin Dvorak,

I do programming both for a living (Python/7y, Go/1y, Java/23y) and for my own personal pleasure (C++/10y, C/8y). I like all flavors of coding — I prefer strongly typed languages, however, I did my master's thesis in logic (Prolog/3y) and functional (ML/2y, Haskell/3y, Lisp/4y) languages and fell in love with them. I value freedom — I'm an open-source believer and the right to fix supporter.

I use my open-source projects on a daily basis:

  • Mind Forger (C++)
    • A thinking notebook to maintain what I learned and understood over the last 30 years — 16k+ notes in 800+ notebooks.
  • HSTR (C)
    • Fastest zsh and bash history search for the terminal.
  • Slake Moth (Java)
    • Auto coach helping me to systematically plan, solve problems, learn from mistakes, and brainstorm using SWOT, SMARTER goals, and Eisenhower matrix in the wheel of life.
  • MyTraL (Python)
    • A training and personal log, where I synchronize, aggregate, digitize, normalize, analyze, and predict the sports activities I have done since 1996 and will do today.

I like to read math books (I'm really bad at it) and the source code of interesting projects before going to sleep - especially VMs, compilers, and machine learning models.

My heroes are Linus Torvalds, Bjarne Stroustrup, Don Knuth, James Gosling, Richard Stallman, John Carmack, Andrew Ng and Andy Wier.

If you're ever in Prague and have similar interests or use my projects, get in touch and we'll have a beer! Blessing!

Martin Dvorak's Projects

alienfx icon alienfx

AlienFX is a CLI and GUI utility to control the lighting effects of your Alienware computer.

android-app-permission-audit icon android-app-permission-audit

An Android application for the identification of applications having sensitive permissions allowing such application e.g. to get $ in the background by sending paid SMS, calls, ...

checkers-game icon checkers-game

A port of my old Checkers (MS DOS/Borland C 3.2/BGI) to Linux.

cmark icon cmark

GitHub's fork of cmark, a CommonMark parsing and rendering library and program in C

cppcoreguidelines icon cppcoreguidelines

The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++

discount icon discount

My C implementation of John Gruber's Markdown markup language

eclipse-rbe icon eclipse-rbe

Eclipse plugin for editing Java resource bundles. Lets you manage all localized .properties files in one screen. Some features: sorted keys, warning icons on missing keys/values, conversion to/from Unicode, hierarchical view of keys, and more.

eos-interview icon eos-interview

A TELCO company interview (my first one) exercise - CRC, bit operations and more.

genann icon genann

simple neural network library in ANSI C

hilex icon hilex

Source code syntax highlighting: C/C++/Prolog/... -- HLX --> HTML. (college course exercise)

hstr icon hstr

bash and zsh shell history suggest box - easily view, navigate, search and manage your command history.

konias icon konias

Book library loan management (Czech).

mastermind-game icon mastermind-game

A port of my old Mastermind (MS DOS/Borland Pascal 7.0/BGI) to Linux.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.