linkding

Lean FRO

#programacion #matematicas #proof-assistant | Asistente de pruebas matemáticas y lógicas, así como un lenguaje funcional de programación.

8 months ago | View Shared by perro

Prolog and Natural-Language Analysis (1987)

#programacion #acceso-abierto #libro #linguistica | Introducción a lingüística computacional desde un enfoque de lógica informática.

1 year ago | View Shared by perro

Übersicht

#programacion #herramienta #apple | La más cercano a Conky para MacOS.

1 year ago | View Shared by perro

Tree-sitter｜Introduction

#dev #programacion #python #grammar #rust #parser #herramienta #lua | Herramienta para usar parser con interfaz para Lua, Python, Rust y más.

1 year ago ∞ | View Shared by perro

#dev #programacion #html #mastodon | Mastodon para comentarios en blogs.

1 year ago ∞ | View Shared by perro

#programacion #parser | Diseño de lenguaje que no comienza con el lexer y el parser.

1 year ago ∞ | View Shared by perro

|

hash - Hashing a file in Python - Stack Overflow

#dev #programacion #python | Obtener hash de archivos con Python.

2 years ago ∞ | View Shared by perro

LINKDING