São linguagens que se aproximam mais da forma com que o computador representa dados e instruções. Normalmente cada ordem dada nestas linguagens representa uma instrução executada pelo microcomputador. A vantagem deste tipo de linguagem é a grande velocidade de execução dos programas e o tamanho dos mesmos que são mais compactos. O exemplo mais conhecido é a linguagem Assembly.