Kingst Virtual Instruments - Logic Analyzer Yet another part-of-speech and morphological analyzer.Ī library that encapsulates the logic for complex text layout (32-bit)Īn educational tool for designing and simulating digital logic circuits (Italian fork) Usa datos abiertos de la Agencia Estatal de Meteorología (AEMET) del Gobierno de España.Ī digital logic designer and circuit simulator.Ī graph (network) package for constructing graphs, BFS and DFS traversals, topological sort, shortest paths, etc. Release mirror: TUM.Īplicación de terminal que permite obtener las previsiones del tiempo meteorológico en España. It allows mathematical formulas to be expressed in a formal language and provides tools for proving those formulas in a logical calculus. Interactively visualize vector, raster and volume data.Įxo 2 is a complete redrawing of Exo, a contemporary geometric sans serif typeface that tries to convey a technological/futuristic feeling while keeping an elegant design.Ī seismological software for data acquisition, processing, distribution and interactive analysis.Īn educational tool for designing and simulating digital logic circuitsĪ generic proof assistant. Manipulate reconstructions of geological and paleogeographic features through geological time. Hydraulic and hidrologic modelation engine for wastewater drainage systems. (git version)Ī mind-bending psychological exploration game where nothing can be taken for grantedĪ point-and-click logic adventure game by the creators of Samorost (requires copy of the full game) Grounding tools for (disjunctive) logic programsĪ Qt based logic analyzer GUI for sigrok.

Linux version of Amlogic USB Burning Tool. Firmware files for Linux - qlogic / Firmware for QLogic devices

Simple minesweeper game in prolog